FStar
An ML-like language aimed at program verification
TPU-trained flower detection model for 104 flower types in 5 minutes
2020-02-11
Blockchain platform Tupelo is now Open Source- start building now
2020-02-11
U.S. entrepreneurship near 40-year low
2020-02-11
Why So Many Tech Startups Misbehave
2020-02-11
Silicon Valley Bank’s 2020 Startup Outlook Report
2020-02-11
JPMorgan in talks to merge blockchain unit Quorum with startup ConsenSys
2020-02-11
Warren Buffett Has Started the Biggest Energy Revolution
2020-02-11
Ask HN: What aviation services do drone companies need?
2020-02-11
Airbus’s Falcon-Like Model Plane Looks Like Something from Star Wars
2020-02-11
Startups should not worry about common business pitfalls
2020-02-11
