FStar
An ML-like language aimed at program verification
Covid-19 Ended Flu Season Before It Started
2021-02-04
Launch HN: Tint (YC W21) – Embed insurance into any product
2021-02-04
Next.js, open-source commerce starter kit. One-click deploy to Vercel
2021-02-04
Star Wars Characters as Classical Japanese Art
2021-02-04
California's rainy season starting nearly a month later than it did 60 years ago
2021-02-04
Show HN: I built a collaborative list of resources for developers
2021-02-04
Ask HN: What should a founder know before starting a company in India?
2021-02-04
Ask HN: What to Focus on for Your Startup
2021-02-04
Show HN: A daily newsletter which send startup and funding news
2021-02-04
How Not to Launch a Product
2021-02-03
