The shoulders of the giants I stand on.

Backlog

  • Category Theory for Programmers by Bartosz Milewski
  • Practical SQL by Anthony DeBarros
  • Static Program Analysis by Andres Møller and Michael Schwartzbach
  • Logical Foundations by Benjamin Pierce and thirty-two others
  • Linear Algebra Done Right by Sheldon Axler
  • Parallel Programming for FPGAs by Ryan Kastner, Janarbek Matai, and Stephen Neuendorffer
  • Engineering a Compiler by Keith Cooper and Linda Torczon
  • Introduction to Probability and Statistics for Engineers and Scientists by Sheldon Ross
  • Compiler Optimizations for Scalable Parallel Systems by Santosh Pande and Dharma Agrawal

In progress

  • Linux Kernel Development by Robert Love
  • Operating Systems: Three Easy Pieces by Andrea and Remzi Arpaci-Dusseau
  • Interactive Linear Algebra by Dan Margalit and Joseph Rabinoff
  • Parallel and Concurrent Programming in Haskell by Simon Marlow

Done

2024

  • The Book of Kubernetes by Alan Hohn
  • Haskell Programming from First Principles by Christopher Allen and Julie Moronuki
  • Advanced Digital Design with the Verilog HDL by Michael Ciletti
  • Computer Systems: An Integrated Approach to Arch and OS by Ramachandran and Leahy
  • Designing Data-Intensive Applications by Martin Kleppmann
  • Getting Started with FPGAs by Russell Merrick
  • Rust for Rusteceans by Jon Gjengset
  • 100 Go Mistakes and How to Avoid Them by Teiva Harsanyi
  • Learn Go With Tests by Chris James
  • Algorithms by Sanjoy Dasgupta, Christos Papadimitriou, and Umesh Vazirani
  • The C Programming Language by Brian Kernighan and Dennis Ritchie
  • A Philosophy of Software Design by John Ousterhout
  • The Rust Programming Language by Steve Klabnik and Carol Nichols