FStar
An ML-like language aimed at program verification
Starbucks Is Adding Needle-Disposal Boxes to Its Bathrooms
2019-04-23
Livestream of Center for Humane Technology Has Just Started
2019-04-23
New Mental Health Startup
2019-04-23
Metabase, an open source business analytics startup, closes $8M Series A by NEA
2019-04-23
Metabase $8M Series-A led by NEA
2019-04-23
GV-backed Fleet and Freight startup, KeepTruckin, nabs $149M at $1.25B valuation
2019-04-23
At Last, Scientists Have Found the Galaxy's Missing Exoplanets: Cold Gas Giants
2019-04-23
Creating a Starcraft AI – Part 25: Partial Path, Complete Pain
2019-04-23
Russia may soon decommission the world’s most historic launch pad
2019-04-23
Luke Stark: Facial Recognition Is the Plutonium of AI [pdf]
2019-04-22
