FStar
An ML-like language aimed at program verification
Against Railway-Oriented Programming
2020-02-12
Botnet: Simulated social network of millions of bots that are obsessed with you
2020-02-12
2019 JavaScript Rising Stars
2020-02-12
Launch HN: Reset Button – helping consumers include student loans in bankruptcy
2020-02-12
Ask HN: Starting SaaS side projects whilst on a visa
2020-02-11
Botnet: A social network simulator where you're the only human
2020-02-11
How to start a biotech startup: 5 VC-backed founders share their stories [video]
2020-02-11
The engineers behind Google’s Bookbot have launched a delivery robot startup
2020-02-11
Ask HN: Source of truth for Devops, because GitHub is just not enough
2020-02-11
Understanding Modern Cloud Architecture on AWS: Docker and Containers
2020-02-11
