FStar
An ML-like language aimed at program verification
James Doohan Had Ashes Taken to International Space Station
2020-12-31
Ask HN: Are we living in “Amerika”? And is globalism sustainable?
2020-12-31
Startups are racing to reproduce breast milk in the lab
2020-12-31
SimilarWeb eyes IPO at $2B valuation
2020-12-31
PEP 648 – Extensible customizations of the interpreter at startup
2020-12-31
Ask HN: Side Hustle Plans for 2021
2020-12-30
Create a reactive Twitter clone in pure Ruby
2020-12-30
An Israeli startup claims Covid-19 originated in a lab and willing to bet on it
2020-12-30
Citation Needed (why do programmers start counting at zero?)
2020-12-30
What will it take to get universal healthcare in America?
2020-12-30
