FStar
An ML-like language aimed at program verification
What are the possibilities for life around the Universe’s most common stars?
2020-04-17
I made every mistake every startup book I read told me not to make
2020-04-17
Astronomers See Glimmers of a Second World Circling the Nearest Star to the Sun
2020-04-17
Einstein wins again: Star orbits black hole just like GR predicts
2020-04-17
How to be a good Product Manager in a sales focused startup?
2020-04-17
Coronavirus outbreak may have started in September, say British scientists
2020-04-17
Ask HN: Where are the 'good' conversations happening about Covid-19?
2020-04-16
Envoy Furloughs and Lays Off 30% of Employees, Cuts Salaries of Others
2020-04-16
Ask HN: How dangerous is source code access?
2020-04-16
Ask HN: Which startups or companies are misunderstood today?
2020-04-16
