FStar
An ML-like language aimed at program verification
What 6 years of bootstrapping a startup has taught me
2020-02-13
Simple diagrams of convoluted neural networks (2018)
2020-02-13
He’s Stared Down Activists and Apple, and Is Still in Charge
2020-02-13
Andy Rubin’s Startup, Essential Products, Shuts Down
2020-02-13
Ask HN: How do you deal with impostor syndrome as a software contractor?
2020-02-12
Ask HN: How do you make designs for your own apps, outsource or make yourself?
2020-02-12
Get Started with .NET Generic Host
2020-02-12
You’re not thinking like a Silicon Valley startup
2020-02-12
Essential Is Shutting Down
2020-02-12
Ask HN: If you were to start Linux from scratch, what would you do differently?
2020-02-12
