FStar
An ML-like language aimed at program verification
SpaceX starship SN11 rocket fails to land safely after test launch in Texas
2021-03-30
Starship SN11 Launch Attempt Ends in Rapid Unscheduled Disassembly
2021-03-30
Ask HN: Why can't anyone tell me what story points equate to?
2021-03-30
Study: U.S. Media's Covid Coverage Slants Heavily Negative
2021-03-29
From Academia to Startups – Common Founder Foibles
2021-03-29
The Startup Enemies of Wall Street Are Booming
2021-03-29
Ask HN: Why is Apple's Messages' sync so messed up?
2021-03-29
Flight postponed because FAA inspector unable to reach Starbase
2021-03-29
'Try not to stop and start' while driving, Honda tells owners
2021-03-29
Ask HN: Anyone also seeing an increase in scams when raising funds?
2021-03-29
