FStar
An ML-like language aimed at program verification
Show HN: Thorium Nova – Starship Bridge Simulator Game
2020-07-21
Show HN: Projectium (find a team for your startup) – launched BETA
2020-07-21
Why some self-driving startups reject Google’s “moonshot” approach
2020-07-21
Spotify launches video podcasts worldwide, starting with select creators
2020-07-21
Launch HN: Charityvest (YC S20) – Employee charitable funds and gift matching
2020-07-21
Ask HN: Cold-calling companies to sponsor development of open source project?
2020-07-21
Ask HN: If you had to choose a place to start a startup today where would it be?
2020-07-21
Ask HN: here have Startup School Radio podcast episodes gone?
2020-07-21
Ask HN: Framework or App for building API documentation site?
2020-07-21
Why the US’ response to Covid-19 is terrible
2020-07-21
