Awesome Systems Monographs
Messing around with systems is the right way to do things. Blogs are a more intimate and accessible way for people who have messed around with systems to communicate their findings. I plan to make a blog post section here, which will probably be more useful than this.
PL
- Program Synthesis (Gulwani et al. 2017)
- Lectures on Constructive Functional Programming (Bird 1988)
OS
- The little book about OS development (Helin and Renberg 2015)
- Writing a Simple Operating System -- From Scratch (Blundell 2009)
Hardware/Arch
- CPU Land (Mattick @ Hack Club 2023)