FStar
An ML-like language aimed at program verification
Startups Are Like Marriage: If You Overthink It, It's Always a No
2021-02-10
Show HN: I started a podcast about COSS companies and interviewed Heather Meeker
2021-02-09
Climate Change Has Made Hayfever Season Start Almost a Month Earlier
2021-02-09
Ask HN: Launch accountability competitions similar to Startup School or Pioneer?
2021-02-09
Gaia Early Data Release 3 – The Gaia Catalogue of Nearby Stars
2021-02-09
Tesla starts V3 supercharger production at new Shanghai factory
2021-02-09
Ask HN: Advice for a Graduating College Student
2021-02-09
Fabric raises $43M to help retailers keep up with online shopping boom
2021-02-09
Don't start a business. Work on a side project instead
2021-02-09
Months after buying Uber self-driving project, Aurora signs Toyota deal
2021-02-09
