FStar
An ML-like language aimed at program verification
Ask HN: Was the risk of the recent rocket reentry played up for other reasons?
2021-05-09
Mr. Beast, YouTube Star, Wants to Take over the Business World
2021-05-09
Ask HN: Can I reach out to VCs at a early stage just to get their take?
2021-05-09
Largest study confirms NSAIDs do not result in worse Covid-19 outcomes
2021-05-09
Show HN: Matrix] Homeservers Setup and Maintenance
2021-05-08
Ask HN: Contract programmers, how did you get started?
2021-05-08
Bitmain has placed 5nm chip orders with TSMC, production slated to start in Q3
2021-05-08
Tenth flight of a Falcon 9 booster scheduled for Sunday morning Starlink mission
2021-05-08
Startup employees should pay attention to Biden’s capital gains tax plans
2021-05-08
Ask HN: How do you care, not too much or too little, just enough?
2021-05-08
