FStar
An ML-like language aimed at program verification
Uber took away upfront pricing from Diamond drivers today
2021-05-19
DigitalOcean is removing most referral credits that you may have accumulated
2021-05-18
How Hootsuite's Founder Is Helping People Go from Idea to Startup
2021-05-18
70M Jobs Goes on 100's of 1000's of Tablets in Prison
2021-05-18
Project Starline: Feel like you're there, together
2021-05-18
Tech from NASA, DoE, NNSA, NIST and More – FedTech Startup Studio Apps Open
2021-05-18
Terraforming an Early Stage Startup
2021-05-18
How to Start a VR Company
2021-05-18
Ask HN: Is there any point in developing apps anymore?
2021-05-18
The hothouse academies offering kids a shot at K-pop stardom (2018)
2021-05-18
