FStar
An ML-like language aimed at program verification
Nice Blog Gatsby Starter Template
2020-10-11
Ask HN: What is the best way to learn how to build your own hardware?
2020-10-11
Ask HN: What Book has you learn a skill through a start to finish project?
2020-10-11
Fictional starships size comparison [video]
2020-10-11
Landing Page – Pre-MVP for Startup School and YC
2020-10-11
We Launched a Startup to Combat Zoom Fatigue. Remotely
2020-10-10
Ask HN: PDF as a Service Anyone?
2020-10-10
Why I'm starting a newsletter, and you should too
2020-10-10
Are we becoming a one world nation?
2020-10-10
Age of Em (Slate Star Codex, 2016)
2020-10-10
