FStar
An ML-like language aimed at program verification
SpaceX conducted a pressure test on a Starship dome tank at Boca Chica today
2020-01-11
Show HN: Show Me Your Startup
2020-01-11
'Hillbilly Elegy' Author Starts VC Fund Backed by Peter Thiel
2020-01-11
Scientists keep watch in case Betelgeuse explodes as a supernova
2020-01-11
Using Ground Relays with Starlink
2020-01-11
World's largest radio telescope starts formal operation
2020-01-11
Goa: Working for Startup
2020-01-11
How I've Started Working Remotely Before It Was Mainstream (21 Years Ago)
2020-01-11
Early modern humans cooked starchy food in South Africa 170K years ago
2020-01-11
Ask HN: What do you use to protect your Linux box from malware?
2020-01-11
