F* : A general-purpose proof-oriented programming language
https://fstar-lang.org/
https://redd.it/1hmeqec
@programmingreddit
Post #11860
147
- Oct 14, 2026Zxc 0.15.0 - decompression 2x faster than Zstandard https://libzxc.org/ https://redd.it/1x…
- Oct 14, 2026Adopting Pyrefly as the Python type checker at Google https://opensource.googleblog.com/20…
- Oct 13, 2026The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems htt…
- Oct 12, 2026Python 3.15 vs Python 3.14 – performance testing https://en.lewoniewski.info/2026/python-3…
- Oct 11, 2026Software developers are not okay | Bjarnason https://www.youtube.com/watch?v=KsEpW03gxKg h…
- Oct 11, 2026How we slashed the size of our search cache by 74% https://medium.com/deezer-engineering/h…