FStar
An ML-like language aimed at program verification
Upgrade Cities for Climate Change
2020-09-26
An objective Bayesian analysis of life’s early start and our late arrival
2020-09-26
Electric Truck Startup Hyliion Goes Public, Founder Set to Be Billionaire
2020-09-26
Paste as File
2020-09-26
A Tale of Two Libcs
2020-09-26
Character Animation – Far Star
2020-09-26
Our Motion Through Space Isn't a Vortex, but Something Far More Interesting
2020-09-26
Greenlight, a fintech that pitches parents on kid-friendly banking, raises $215M
2020-09-26
Ask HN: 5G Dangers and Fiber Optic Internet Issues Innovation Engineering Ideas
2020-09-25
Ask HN: Can we have a YC Agtech arm, please?
2020-09-25
