FStar
An ML-like language aimed at program verification
Ask HN: Recommendations for Spaced Repetition (SRS) Beginners?
2022-08-11
Ask HN: Why do you consider the web a thing?
2022-08-11
Former SpaceX Engineers Launching Startup Where Robots Make Pizzas in 45 Seconds
2022-08-11
The Hacking of Starlink Terminals Has Begun
2022-08-11
Four charged with tricking Qualcomm into buying $150m startup
2022-08-11
Star Control 2 – The Ur-Quan Masters (original closed, released open source)
2022-08-11
Ask HN: How to restart tech career from scratch at 36?
2022-08-11
Starlink maritime coverage map [pdf]
2022-08-11
Nearby star’s midlife crisis illuminates the future of our own Sun
2022-08-11
The Rise of the Side Startup
2022-08-11
