FStar
An ML-like language aimed at program verification
Brian Chesky behind the scenes of Airbnb's “second founding”
2020-05-19
Launch HN: Satchel (YC S18) – Guides to the Best SaaS Tools
2020-05-19
OpenBSD 6.7
2020-05-19
Jupiter’s Biggest Moons Started as Tiny Grains of Hail
2020-05-19
Early stage startup, first customer wants equity?
2020-05-19
Ask HN: Previous wantentrepreneurs, what made you finally start a company?
2020-05-19
Good enough engineering to start an Internet company
2020-05-18
Silicon Valley helps spread same sterile aesthetic across the world (2016)
2020-05-18
Show HN: A Chrome plugin that previews stars for GitHub repo links on the page
2020-05-18
Anarchists, Mercenaries, Farmers, and Ranchers: Engineering Teams at Startups
2020-05-18
