FStar
An ML-like language aimed at program verification
Two Minutes Papers: DeepMind’s AlphaStar: A Grandmaster Level StarCraft 2 AI
2020-02-14
Gossiping Commons
2020-02-14
Examples of software forcing to ignore laws or rules
2020-02-14
Startups Behaving Badly
2020-02-14
Mark Volpi on the Art of Board Membership
2020-02-13
Quemuse – The Future of Q&A
2020-02-13
A look at what’s happening to thousands of startups going nowhere fast
2020-02-13
Ex Krux and Salesforce execs raise $15M for their marketing data startup Habu
2020-02-13
Startups in 12 months (multiple people)
2020-02-13
Ask HN: Co-founders living in different countries
2020-02-13
