FStar
An ML-like language aimed at program verification
Ask HN: In what ways is programming more difficult today than it was years ago?
2022-10-02
Security Letter to EPA Re. Proposed RMP Rule 9-28-22 [pdf]
2022-10-02
Ask HN: Guys/Girls in startups, how do you manage production incident?
2022-10-02
Tell HN: Dupe detection is broken for federialregister.gov
2022-10-02
Ask HN: Why doesn't anisotropic filtering integrate over trapezoid?
2022-10-02
Even cryptocurrency fans are starting to doubt cryptocurrencies
2022-10-02
To those of you who start MicrosoftTeams meetings 6 minutes early: Why?
2022-10-02
Old and Confused Dev
2022-10-02
It costs $0 to start a business
2022-10-02
Milky Way's graveyard of dead stars found
2022-10-02
