My Ongoing Reading List

Some things I want to read, understand, and implement (@ indicates currently reading, & indicates completed)

Last Updated: 2024.10.22

Programming Language Theory

• & Logical Foundations
• @ Types and Programming Language, but actually implement & prove the important ones
• @ Certified Programming with Dependent Types
• Tutorial Implementation of Dependently Typed Lambda Calculus
• From Delimeted Continuation to Algebraic Effects in Haskell
• Monadic Framework for Delimited Continuations
• Introduction to Algebraic Effects and Handlers
• Homotopy Type Theory (Big Stretch)

Networks and Operating Systems

• @ QUIC: RFC 8999, 9000, 9001, 9002 and implement them :)
• HTTP/3: RFC 9114
• eBPF, more eBPF, more eBPF, DINT, XRP
• io-uring
• hugepages
• Linux Network Profiling/Performance

Distributed Systems

• Consistency, Availability, and Convergence
• Harvet, Yield, and Scalable Tolerant Systems
• Eventually Consistent
• You can't sacrifice partition tolerance
• The Byzantine Generals Problem
• & The Part Time Parliament (Paxos), and Raft
• Chubby, Spanner, Zookeeper

Tooling/Tools/Misc

• Modern CMake
• Z3
• Satisfiability Modulo Theories