FStar
An ML-like language aimed at program verification
Launch HN: Mozart Data (YC S20) – One-stop shop for a modern data pipeline
2021-05-17
Starting in August, Google will require that they sign apps, not you
2021-05-16
Looking for (more of) a new kind of startup
2021-05-16
Getting Started with TypeScript Compiler (Tsc)
2021-05-16
Douglas Adams and Terry Jones, 1997-12-07
2021-05-16
Beaver-hunting wolves have perfected a sit-and-wait strategy
2021-05-16
Ask HN: What tools/techniques you need to know to start a podcast in 2021?
2021-05-16
Im about to Start a Revolution
2021-05-16
Confessions from a Failed Startup CEO
2021-05-16
NBA Stars Are Left-Handed. Except When They Play Basketball
2021-05-16
