Currently Reading:

• Set Theory, Kunen
• Rust Atomics and Locks, Mara Bos

Cool Articles:

• de Brujin Numerals
• What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
• Scaling K8S to 1 million nodes
• From Linearity to Borrowing
• Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
• Category theory illustrated
• Existential types in Rust
• The Lambda Cube in Haskell
• Identity Types
• In praise of dependent types
• Denotational Semantics of IMP without the Least Fixed Point
• Imagining a language without booleans
• Visions of the future: Formal verification in Rust
• Solving a wooden puzzle using Haskell
• Monoids in Public
• 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
• Homotopy Type Theory, Rijke
• If you've got some time on your hands, maybe check out the Napkin.