FStar
An ML-like language aimed at program verification
Tell HN: I'm Covid positive I had promised that I will inform HN
2021-05-01
Intel hopes to start making chips for car companies within six to nine months
2021-05-01
Show HN: AI powered startup and project name generator
2021-05-01
Ask HN: Resources on Blockchain, Smart contracts and Oracle networks
2021-05-01
Copernicus explores The Science of Star Wars (2014)
2021-05-01
Never Forget a Task Again
2021-05-01
The math of why it’s so hard to build a spherical Death Star in space (2018)
2021-05-01
Why Every Developer Should Start Programming with C
2021-05-01
Ask HN: How to learn ReactJS and Node.js in 1 hour chunks?
2021-05-01
How the Pentagon Started Taking U.F.O.s Seriously
2021-05-01
