FStar
An ML-like language aimed at program verification
Show HN: Aidlab – track time you spent in your favorite places
2020-09-30
The Mike Wallace Interview with Ayn Rand (1959) [video]
2020-09-30
Ask HN: Interested in opening a startup office in Canada?
2020-09-30
Creating the 8080: The Processor That Started the PC Revolution (2014)
2020-09-30
Launch HN: Narrator (YC S19) – a data modeling platform built on a single table
2020-09-30
Startup founders must overcome information overload
2020-09-30
Full Stack Web Developer
2020-09-30
Singer-Io/Getting-Started
2020-09-30
Book Review: Age of Em (Slate Star Codex) (2016)
2020-09-30
Would StarLink prevent internet censorship in places like China?
2020-09-30
