FStar
An ML-like language aimed at program verification
Validation Survey-Blue Apron for Pickup|Half the Price/Exponentially More Choice
2020-03-18
Onetool (YC W20) – 60 SaaS tools with one single subscription
2020-03-18
Ask HN: What streaming / donation solutions would you use for web performances?
2020-03-18
FightTheVirus: $50K and mentorship for startups tackling the coronavirus crisis
2020-03-18
Ask HN: Detect Coronavirus Fever via Webcam?
2020-03-18
Ask HN: What real-world applications must use MutEx?
2020-03-18
Coronavirus Funding for Your Startup
2020-03-18
QuickNews Odyssey: Lessons from Building a Startup
2020-03-18
Ask HN: Have you been laid off?
2020-03-18
Ask HN: What's the end game for Covid-19?
2020-03-18
