FStar
An ML-like language aimed at program verification
Star Control Creators Paul Reiche and Fred Ford: Extended Interview
2020-07-07
Tech startups received PPP bailout loans but still laid off employees
2020-07-07
The brief life cycle of Quibi, from promising start to industry laughingstock
2020-07-07
Secretive data startup Palantir has confidentially filed for an IPO
2020-07-07
How I Learned to Stop Worrying and Love the Types and Tests
2020-07-07
I started the 'gender reveal party' trend. And I regret it
2020-07-07
Ask HN: How to get in touch with Airbnb as a host?
2020-07-07
Reventis – A Better Way to Redis GeoHash
2020-07-07
Koyeb is a serverless startup that processes and stores data with multiple CSPs
2020-07-07
Ask HN: Why shouldn't I leave software?
2020-07-07
