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) systemd Necessity and Sufficiency formal-logic Course on Visual Rhetoric & Document Design graphic-design Dynamics in Document Design graphic-design Counterexamples in Type Systems programming-languages, type-systems Register Allocation - Alexis King compilers tiny-CPU - a pedagogical Verilog implementation of a GPU verilog, gpu