FStar
An ML-like language aimed at program verification
The Hacking of Starlink Terminals Has Begun
2022-08-10
Got Milk? BBy (YC W22) Makes Powdered Breast Milk for Vulnerable Babies
2022-08-10
The #1 way new CS grads get completely f'd by startups
2022-08-09
The math of why it’s so hard to build a spherical Death Star in space (2018)
2022-08-09
Glitch puts Star Fox 64 ships in unmodified Zelda cartridge (2020)
2022-08-09
Launch HN: Windmill (YC S22) – Turn scripts into internal apps and workflows
2022-08-09
Star marine ecologist committed misconduct, university says
2022-08-09
Show HN: Gsummarize – A CLI to summarize Google cloud storage buckets
2022-08-09
Ask HN: Has anyone not selling Design Sprints tried a design sprint?
2022-08-09
Ask HN: Is ease in getting started the key for Python's success?
2022-08-09
