FStar
An ML-like language aimed at program verification
Venice Gets a Grip on a Star Architect’s Slippery Bridge
2022-01-02
Linearity and Uniqueness: An Entente Cordiale [pdf]
2022-01-02
Does AI have a dirty mind? (2019)
2022-01-02
47 New Sci-Fi and Fantasy Books to Start 2022 Off Right
2022-01-02
Ask HN: Which successful startups use 'no code'?
2022-01-02
A New Ban on Surprise Medical Bills Starts Today
2022-01-01
Ask HN: Any New Years' Resolutions?
2022-01-01
Starlink works great until the cats find out that it gives off heat
2022-01-01
The Interledger Protocol
2022-01-01
Italian Tech Startup Revives Einstein’s Father’s Power Plant
2022-01-01
