Currently Reading:

• Purely Functional Data Structures, Chris Okasaki
• Database Internals, Alex Petrov
• Types and Programming Languages, Benjamin Pierce

Cool Articles:

• Structural vs Mathematical "Under"
• Joins 13 Ways
• @isolated(any)
• God created the real numbers
• Uncertain<T>
• Monoids and Finger Trees
• A Lean companion to "Analysis I"
• Why I'm excited about effect systems

Miscellaneous Book Recommendations

These are books that I consider best-in-class for the "area" they cover.

• The New Penguin Russian Course
• I don't consider any of the current Japanese textbooks to be very good, but I hold AJATT in high regard.
• Linear Algebra Done Right, Axler
• Modern Mathematical Logic, Mileti
• Algorithms, Erickson
• Introduction to the Theory of Computation, Sipser
• Complex Analysis, Ahlfors
• Analysis I + II, Tao
• Abstract Algebra, Dummit and Foote
• Topology, Munkres
• Category Theory, Awodey
• Introduction to Electrodynamics, Griffiths
• Introduction to Quantum Mechanics, also Griffiths
• Quantum Computation and Quantum Information, Neilsen and Chuang
• David Tong's notes in general
• The C Programming Language
• A Tour of C++
• Programming Rust 2e
• A Philosophy of Software Design, Ousterhout
• Haskell Programming From First Principles
• Computer Systems, a Programmer's Perspective
• CMU's Database Course