FStar
An ML-like language aimed at program verification
A giant red star is acting weird and scientists think it may be about to explode
2019-12-27
Ask HN: Startups Offering Personal Loans for 5-8% APR?
2019-12-27
YC Startup School 2019 Grant Recipients
2019-12-27
Startup Miracles
2019-12-27
2020 Startup Themes
2019-12-27
Easy FlipBook: Getting Started. Your Content in 3D Flip Book
2019-12-27
Conclusions from analyzing Y Combinator’s investing history
2019-12-27
Boron powder: A safer, more effective way to stabilize Tokamaks
2019-12-26
Is Eating Meat a Net Harm? Slate Star Codex
2019-12-26
Grupa.io: Product Engineering Service Market Network
2019-12-26
