FStar
An ML-like language aimed at program verification
Starship Robots Complete One Million Autonomous Deliveries
2021-01-29
What Did We Lose When We Lost the Stars?
2021-01-29
Sci-Founder Fellowship: $250-400k and mentoring for scientists starting startups
2021-01-29
What It Takes to Build a Dual-Use Startup
2021-01-29
AUVs to control outbreak of crown-of-thorns starfish in Great Barrier Reef
2021-01-29
Decks from the best startups that raised over $355M
2021-01-29
BlackBerry execs sold shares as Reddit-driven rally started
2021-01-29
Launch HN: InpharmD (YC W21) – curated drug information for doctors
2021-01-29
Congresswoman spread theory that PG&E started Camp Fire with space laser
2021-01-29
The Uncensored Guide to ‘Oumuamua, Aliens, and That Harvard Astronomer
2021-01-29
