Currently Reading:

• Domain Theory, Abramsky and Jung

Cool Articles:

• Church Encoding, Parametricity, and the Yoneda Lemma
• de Brujin Numerals
• What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
• Scaling K8S to 1 million nodes
• 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
• 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
• 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
• 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 Philosophy of Software Design, Ousterhout
• Haskell Programming From First Principles
• If you've got some time on your hands, maybe check out the Napkin.