FStar
An ML-like language aimed at program verification
10 technical strategies to avoid when scaling your startup (and 5 to embrace)
2021-01-16
Amazon is opening up its Alexa AI technologies to third-party companies
2021-01-16
Starting first job out of college as a full stack developer. Any advice?
2021-01-16
The SOC2 Starting Seven
2021-01-16
Ask HN: PPP for New Startups
2021-01-16
How to Live Under Capitalism, According to ‘Stardew Valley’
2021-01-16
Ask HN: Part-time jobs to fund my startup?
2021-01-16
Building a startup alone is hard (thread)
2021-01-15
Recover Gracefully After Shutting Down Your Startup
2021-01-15
Show HN: Top Topics by Your Star History on GitHub
2021-01-15
