FStar
An ML-like language aimed at program verification
Starbase tour with Elon Musk (part 2) [video]
2021-08-07
The Big Five Are Buying Far Fewer Startups This Year
2021-08-07
Stanford researcher proposes tech to produce vaccines to stop the next pandemic
2021-08-07
Thank HN: Magnesium and Morning Anxiety
2021-08-07
Stardew Valley and real life labour (2017)
2021-08-07
Show HN: Drag and drop personal site builder designed for your phone
2021-08-07
Framework Patterns (2019)
2021-08-07
Robots are poised to start unloading lorries
2021-08-07
Neither Star nor Planet: A Strange Brown Dwarf Puzzles Astronomers
2021-08-07
Starbase Tour and Interview with Elon Musk
2021-08-07
