FStar
An ML-like language aimed at program verification
Show HN: Self-Service UI for Scheduling Azure VM Start/Stop
2023-09-08
FAA grounds Starship until SpaceX takes 63 'corrective actions'
2023-09-08
Musk cut internet to Ukraine’s military as it was attacking Russian fleet
2023-09-08
Show HN: Discover New Startups Everyday
2023-09-08
Bill Gates Booked Entire Michelin-Star Restaurant Just to Sip a Diet Coke
2023-09-08
Show HN: Generating ultra high-quality articles using Ground Truth knowledgebase
2023-09-08
Lost ‘Star Wars’ X-Wing Fighter Up for Auction Decades After Going Missing
2023-09-08
Elon Musk says he withheld Starlink over Crimea to avoid escalation
2023-09-08
Musk: Starlink service is now active in Ukraine. More terminals en route. (2022)
2023-09-08
Ask HN: What's a mnemonic or concept that's helped your engineering career?
2023-09-08
