FStar
An ML-like language aimed at program verification
Startup Ideas 2020
2020-01-17
New AMA hub connects doctors with early-stage healthcare startups, investors
2020-01-17
Ask HN: Good habits to learn more during work
2020-01-17
What Unix Cost Us [video]
2020-01-17
Fuck RSA
2020-01-17
Ask HN: What is best way to introduce CS and Programming to 13 year old
2020-01-17
A Look at a Vintage Sony CD Burner
2020-01-17
Ask HN: How do you find and evaluate open source modules for production use?
2020-01-17
I Started a $30K/Month Business Selling Custom Trade Show Booths
2020-01-17
Ask HN: Not resting fully because can't sleep long enough
2020-01-17
