FStar
An ML-like language aimed at program verification
The only thing that matters (2007)
2021-01-26
Making the analytics dashboard public for my SaaS after 6 months
2021-01-26
Show HN: DocuSutra – Customizable data capture for docs like invoices, bills etc
2021-01-26
Animated 3D visualization of Starlink orbits
2021-01-25
Real feedback from top VCs on a real startup
2021-01-25
Michelin-Starred Chef's Revolutionary Quest to Harvest Rice from the Sea
2021-01-25
Ask HN: Hosted email using your domain name registrar – a good idea?
2021-01-25
Ask HN: Can being a failed YC company hurt you?
2021-01-25
YC's Paul Buchheit: The Surprising Lesson from 200 Startups (2016)
2021-01-25
SpaceX sends laser-linked Starlinks to the polar orbit
2021-01-25
