FStar
An ML-like language aimed at program verification
People.ai, the predictive sales startup, raises $60M at around $500M valuation
2019-05-21
Value Option for F# Proposal
2019-05-21
Amazon Prime Boss Named CEO of Google-Backed Quantum Computing Startup
2019-05-21
A Metadata Protocol Based on Substrate for the Next Generation of the Web
2019-05-21
Request for Startups: Government 2.0
2019-05-21
Show HN: Startup Logo Archive – Original logos of your fav startups
2019-05-21
U.S. Postal Service Starts Testing Self-Driving Trucks
2019-05-21
Startup Offers Hackers a Reward to Break Its Consumer Data Encryption
2019-05-21
Human Influence on Global Droughts Started 100 Years Ago, Scientists
2019-05-21
Police facial recognition surveillance court case starts
2019-05-21
