F* – A Proof-Oriented Programming LanguageL: https://www.fstar-lang.org/C: https://news.ycombinator.com/item?id=40377685posted on 2024.05.16 at 08:47:07 (c=0, p=8)
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.