FStar
An ML-like language aimed at program verification
Startups, Newsletters & Life Post-Airbnb with Lenny Rachitsky
2020-04-17
Influential Covid-19 model uses flawed methods and shouldn’t guide U.S. policies
2020-04-17
Coronavirus Ravages China’s Economy–and It’s Just Getting Started
2020-04-17
At the Sourdough Library, with Some Old Mothers
2020-04-17
Show HN: Uni Beta – a decision making platform for teams
2020-04-17
First implementation of the notorious Avalanche consensus protocol released
2020-04-17
Sourd.io – DIY fitness tracker for your sourdough starter
2020-04-17
Ask HN: I'm building budgeting app. What features would you look for?
2020-04-17
Wappalyzer discloses security breach after hacker starts emailing users
2020-04-17
Indian Startup Is Gamifying Fitness with Machine Learning
2020-04-17
