FStar
An ML-like language aimed at program verification
Consider a startup accountability email list
2020-03-08
Ask HN: What are your favorite tech podcasts?
2020-03-08
Ask HN: How different was the software industry when you first started out?
2020-03-08
NASA declares Starliner mishap a “high visibility close call”
2020-03-08
Quarantined kids in Wuhan get homework app taken down with one star reviews
2020-03-08
SaaS Pricing Strategy Learned from a Startup with $120 M funding
2020-03-08
The-simplest-explanation-of-global-warming-ever
2020-03-08
Show HN: Accurate image classification in 3 lines of code with AutoGluon
2020-03-08
Starting a company is a lot like starting a fire
2020-03-07
Ask HN: Are there any good, lag-free remote desktop solutions for companies?
2020-03-07
