FStar
An ML-like language aimed at program verification
Tell HN: Edward Snowden hasn't tweeted since Russian invasion of Ukraine started
2022-04-02
Sextuple star system fascinates with three eclipsing binaries
2022-04-02
Ask HN: Anyone into Music Production?
2022-04-02
Star in Colorado’s startup scene attracted big contracts/well-known funders
2022-04-02
Starlink Satellite Internet for Mobile RV and Boat Use
2022-04-02
Fully-remote startup communication across ~8 time zones
2022-04-02
What Are Startup Cities For?
2022-04-02
Ask HN: Who wants to collaborate? (April 2022)
2022-04-02
Show HN: NFTs for Starving Children
2022-04-02
The Face Stares Back
2022-04-02
