FStar
An ML-like language aimed at program verification
Project Leyden – addressing Java’s slow startup time
2020-05-02
Ask HN: How to get started on creating a streaming service?
2020-05-01
Covid-19 React Native Exposure Notification
2020-05-01
If you want to have great startup ideas then be a weirdo
2020-05-01
Startups Fail a.k.a. How to Drown
2020-05-01
Covid-19 Futures, Explained with Playable Simulations
2020-05-01
Can Tech Startups Fix Food Supply Chains?
2020-05-01
JSON Resume – Getting started [video]
2020-05-01
Ask HN: What angle of startups or AI isn't covered by YouTube creators?
2020-05-01
How would you program a model of a universe?
2020-05-01
