FStar
An ML-like language aimed at program verification
Heartbeat Star
2020-03-10
Show HN: IDE for Create React App
2020-03-10
Launch HN: Datree (YC W20) – Best practices and security policies on each commit
2020-03-10
Ask HN: DevOps, why do people still use Grafana/Prometheus etc.?
2020-03-10
Ask HN: Would one need domain expertise to build a startup in fintech?
2020-03-10
Temporary Covid-19 ventilators – define the problem, then find options
2020-03-10
NY Startup Managed by Q, Acquired and Sold by WeWork, Lays Off Most of Its Staff
2020-03-09
A SaaS Startup, YC W16, Building $0 to $10M ARR Through Content&Product MKT
2020-03-09
Successful startups outside of Silicon Valley have critical lessons to teach us
2020-03-09
Ask HN: I signed a 12-month contract. Can I quit?
2020-03-09
