FStar
An ML-like language aimed at program verification
The ‘It’ Read for Political Insiders, a rare success in the world of local news
2020-02-01
If Mark Zuckerberg had to start over, he wouldn’t start in Silicon Valley
2020-02-01
Show HN: Inspired by open startups, I built an API-driven personal dashboard
2020-02-01
Tobi Lutke of Shopify Talks about StarCraft
2020-02-01
Stanford's free course on higher mathematical thinking is about to start soon
2020-02-01
Show HN: CallStop – Superhuman for your phone number
2020-02-01
Ask HN: What are your experiences with working out?
2020-02-01
How to do the best job you can during the last days at work
2020-02-01
How to Run a Business in 2020
2020-02-01
Ask HN: Is a Heroku like SaaS that works on your VPS a product you will use
2020-02-01
