FStar
An ML-like language aimed at program verification
Ask HN: Working Prediction Model. How do I share the results?
2020-01-05
The Undermind Episode 36 – A Podcast about Starcraft AI Development
2020-01-04
Starfish cousin has no eyes, but can still see
2020-01-04
The Metagame: Notes on Paul Graham's “How to Get Startup Ideas”
2020-01-04
New name, new leadership at uBeam
2020-01-04
Thirty percent of Founder Institute startups today founded by women
2020-01-04
Why startups are perfect for graduates
2020-01-04
Ask HN: What are some security and privacy tips when creating a website?
2020-01-04
Superluminal motion of a relativistic jet in the neutron-star merger GW170817
2020-01-04
Ask HN: Are books worth it?
2020-01-04
