FStar
An ML-like language aimed at program verification
Learning to Program–Part 1: Student to Startup
2020-03-23
Ask HN: What's the point of this kind of API?
2020-03-23
Remote work challenges and solutions (on the Startup Chat)
2020-03-23
YouTube series on Kaggle's M5 time series forecasting competition
2020-03-23
Ask HN: Getting Started Again After 2 Decades
2020-03-23
Passenger airlines start shifting idled planes into freight business
2020-03-23
Gov. Cuomo announces trial of hydroxychloroquine and azithromycin to start in NY
2020-03-22
Star Trek Voayger Up-res using AI machine learning
2020-03-22
Let's Play StarCraft (a joke playthrough of the original campaign)
2020-03-22
A Starter Kit for Emergency Websites
2020-03-22
