В чаті @applied_math_uk почали говорити про Lean 4 і я для тестування спробував його "натравити" на свій проєкт https://github.com/BitingSnakes/silkworm
Зробив формальну модель фреймворку і з її допомогою виловив кілька багів в коді
#lean #python #math
Зробив формальну модель фреймворку і з її допомогою виловив кілька багів в коді
#lean #python #math
👍2🤔1
https://pkg.go.dev/simd/archsimd in new Go version works
enhanced speed of https://github.com/GoingBytes/binned-greedy-repair
#go
enhanced speed of https://github.com/GoingBytes/binned-greedy-repair
#go
https://open.substack.com/pub/raydalio/p/the-big-thing-we-are-in-a-world-war?r=3g35ll&utm_medium=ios
Substack
The Big Thing: We Are In A World War That Isn’t Going To End Anytime Soon.
For today, that is most importantly that the US-Israel-Iran war is just part of a world war that we are in and that isn’t going to end anytime soon.
❤1
By the way, subscribe to my SubStack, I’ve added first article yesterday about rsloop:
https://open.substack.com/pub/egorsmkv/p/an-event-loop-for-asyncio-written
https://open.substack.com/pub/egorsmkv/p/an-event-loop-for-asyncio-written
Substack
An event loop for asyncio written in Rust
Most Python developers meet asyncio through coroutines:import asyncio async def main(): ... asyncio.run(main())
This media is not supported in your browser
VIEW IN TELEGRAM
Why Object Oriented Programming sucks, src
🤣8
Forwarded from Ihor Stepanov
Всім привіт, ми випустили guardrails моделі, зокрема мультимовні, які підтримують українську: https://huggingface.co/knowledgator/opir-multitask-multilang-v1.0
Forwarded from Hacker News
GitHub
GitHub - wolfSSL/wolfCOSE: A fast, portable, and lightweight COSE + CBOR implementation for embedded systems. Supports PQC, FIPS…
A fast, portable, and lightweight COSE + CBOR implementation for embedded systems. Supports PQC, FIPS 140-3, DO-178, and MISRA C. Powered by wolfSSL. - wolfSSL/wolfCOSE