FStar
An ML-like language aimed at program verification
Blogs were started by only one person, now worth millions dollar
2021-08-17
Linux Evangelist Turned Dentist, handrolls all IT infra in his dentist practice
2021-08-17
Giant Lair of Bones, Including Human, Discovered in Gruesome Saudi Arabian Cave
2021-08-17
MasterCard to start phasing out magnetic stripes in 2024
2021-08-16
Roblox acquires Discord competitor Guilded
2021-08-16
Ask HN: I feel trapped in my job and city
2021-08-16
Launch HN: Awesomic (YC S21) – Get design tasks done with 24-hour turnaround
2021-08-16
Boeing’s Starliner Launch Is Delayed
2021-08-16
Why Did So Many Startups Choose MongoDB?
2021-08-16
Ask HN: How can I use the scientific method to write better code?
2021-08-16
