FStar
An ML-like language aimed at program verification
Boeing says failed to test Starliner spacecraft adequately before maiden flight
2020-02-29
How to Design Great Software Products in Small Startups
2020-02-29
Being the first to start remote working
2020-02-29
Fermi estimation for startup business models
2020-02-29
A two-person startup already uses twenty-eight other tools
2020-02-29
Covid-19 Vaccine Shipped, and Drug Trials Start
2020-02-29
SpaceX Starship SN1 experiences an anomaly and explodes
2020-02-29
Ask HN: novel use cases for Real-Time OLAP SQL DB? NLP / Video Processing / RL?
2020-02-29
An (In-Progress) Covid-19 Prep Checklist for Startups
2020-02-28
Stop managing tasks, manage user stories instead
2020-02-28
