FStar
An ML-like language aimed at program verification
Mildred, the AI Chip Architecture with Bad Memory
2019-04-02
Whole Foods will slash prices on hundreds of items starting Wednesday
2019-04-01
Star Wars: Jedi vs. Sith by Levels.fyi
2019-04-01
A Dutch town put traffic lights on the ground for people staring at their phone
2019-04-01
Intel Capital invests $117M in more than a dozen startups
2019-04-01
Startup Culture, Starting
2019-04-01
Building a startup is a machine learning problem
2019-04-01
Fyre Failure: What Billy McFarland Taught Us All About Startup Finance
2019-04-01
Show HN: A list of problems to solve for your next side project or startup
2019-04-01
Five decades ago, Boeing's new 727 jet also had a terrible start
2019-04-01
