FStar
An ML-like language aimed at program verification
Stars orbiting the black hole at the heart of the Milky Way (2018)
2022-05-14
Stars orbiting black hole at the heart of the Milky Way, Sagittarius A* [video]
2022-05-14
Why to Start a Startup in a Bad Economy (2008)
2022-05-14
Show HN: A Full-Stack Web Framework for Go
2022-05-13
Utrecht starts catcalling men in campaign against sexual harassment
2022-05-13
Side Projects into Profitable Startups
2022-05-13
Starlink now available to ship immediately in 32 countries
2022-05-13
Ask HN: Venture Studio Model vs. Y Combinator
2022-05-13
Starlink Map
2022-05-13
Show HN: Launched NFT auction protocol, listings start 99% below floor price
2022-05-13
