FStar
An ML-like language aimed at program verification
Starship SN8 test flight at 4PM EST
2020-12-09
‘Give Away Your Legos’ and Other Commandments for Scaling Startups
2020-12-09
Elon Musk will focus on Starship and Cybertruck factory with his move to Texas
2020-12-09
Show HN: Native JavaScript Document API for Cassandra
2020-12-09
Space manufacturing startup Varda, incubated at Founders Fund, raises $9M
2020-12-09
France to start research into 'enhanced soldiers'
2020-12-09
Canada approves Pfizer coronavirus vaccine, will start administering within days
2020-12-09
Ask HN: How can I create an animated model of code?
2020-12-09
YouTube to remove content that alleges widespread election fraud
2020-12-09
We await the fate of SN8: Another Starship launch attempt Wednesday
2020-12-09
