FStar
An ML-like language aimed at program verification
Procrastination is flight, deadline is fight, freeze is staring at the screen
2021-03-07
Ask HN: Path from business desire to first customer in your country
2021-03-06
Former Banker offering financial projections for dirt-cheap
2021-03-06
Ask HN: Great resources for learning about the Travelling Salesman Problem?
2021-03-06
Self-driving startups are becoming an endangered species
2021-03-06
Ask HN: What are some of your favorite HN posts?
2021-03-06
Of startups that left Bay Area, 21% moved to NY, 12% to TX, 6% to CO, 4% to MA [pdf]
2021-03-06
FCC Filing Requests to Operate Starlink in Moving Vehicles, Vessels and Aircraft
2021-03-06
Why There’s No Such Thing as a ‘Startup Within a Big Company’
2021-03-06
Ask HN: How to start collecting fossils and meteorites?
2021-03-06
