FStar
An ML-like language aimed at program verification
Show HN: Google Places X Instagram- Michelin Starred Restaurants in the Bay Area
2019-05-14
New Scrum-Based Project Management Tool. Start for Free Forever
2019-05-14
A false rumor on WhatsApp started a run on a London bank
2019-05-14
EV startup Rimac scores $90M investment from Hyundai and Kia
2019-05-14
Mailchimp’s Ben Chestnut on bootstrapping a startup to $700M in revenue
2019-05-13
Tiny spacecraft tested as part of plan for interstellar travel
2019-05-13
Easy Steps to Improving Your Startup Office Space – By a WeWork Designer
2019-05-13
Show HN: Biopharma Startup and VC Database
2019-05-13
Uber launches PIN feature to cut wait times at US airports, starting in Portland
2019-05-13
Assumptions Kill Startups. How to ID and Quickly De-Risk Them
2019-05-13
