FStar
An ML-like language aimed at program verification
Hacking Starbucks and Accessing Nearly 100M Customer Records
2020-07-21
New Hack Can Trick Power Bricks into Starting Fires
2020-07-21
Show HN: Free workflow software for startups and small teams
2020-07-20
The great vectors-versus-quaternions debate (2014)
2020-07-20
Twitter Could Start a Nuclear War
2020-07-20
Russian Elite Started Self-Testing Covid-19 Vaccine in April
2020-07-20
SoftBank-Backed Fintech Startup Seeks $3.5B Value in IPO
2020-07-20
Ask HN: Best Startup Books?
2020-07-20
AI startup that raised $100M hid its problems behind Covid-19
2020-07-20
Hit 96 users on our waitlist quickly
2020-07-20
