These are references that seem interesting to me, but haven’t yet decided to add them to my bibliography.
- systemd for Developers I (Socket Activation)
- Necessity and Sufficiency
- Course on Visual Rhetoric & Document Design
- Dynamics in Document Design
- Counterexamples in Type Systems
- Register Allocation - Alexis King
- tiny-CPU - a pedagogical Verilog implementation of a GPU
- What is gained and lost with 63-bit integers?
- ocaml, compilers
- Has a definition of Un/Boxed, as well as expanding on tagged-pointer
- Library and Lang for e-graphs