Real Analysis I: Continuity and Compactness
Math
Analysis
Real Analysis
Mathematics
Analysis
Real Analysis I: Sequences and Convergence
Math
Analysis
Real Analysis
Real Analysis I: Topology of the Real Line
Math
Analysis
Real Analysis
Real Analysis I: Building the Real Numbers
Math
Analysis
Real Analysis
Algebra
Modern Algebra II: Rings, Ideals, and Quotient Rings
Math
Algebra
Ring Theory
Modern Algebra I: Quotients and Actions
Math
Algebra
Group Theory
Modern Algebra I: Permutations and Structure
Math
Algebra
Group Theory
Modern Algebra I: Groups from the Ground Up
Math
Algebra
Group Theory
Calculus
Calculus IV: Surfaces and Surface Area
Math
Calculus
Multivariable Calculus
Calculus IV: Conservative Fields and Green's Theorem
Math
Calculus
Multivariable Calculus
Calculus IV: Curves and Line Integrals
Math
Calculus
Multivariable Calculus
Calculus IV: Coordinate Systems and the Jacobian
Math
Calculus
Multivariable Calculus
Graph Theory
Graph Theory IV: Directed Graphs and Eulerian Tours
Math
Graph Theory
Combinatorics
Graph Theory III: Matchings and Covers
Math
Graph Theory
Combinatorics
Graph Theory II: Degree Sequences and Trees
Math
Graph Theory
Combinatorics
Graph Theory I: Foundations and First Explorations
Math
Graph Theory
Combinatorics
Combinatorics
Branch-and-Bound from First Principles
Optimization
Combinatorics
AI
MILP
Enumerative Combinatorics: Famous Number Families
Math
Combinatorics
Enumerative Combinatorics
Enumerative Combinatorics: Generating Functions
Math
Combinatorics
Enumerative Combinatorics
Enumerative Combinatorics: Algebraic Proof Methods
Math
Combinatorics
Enumerative Combinatorics
Deep Learning & AI
CHOP: A Research Diary in Learning to Branch
Optimization
GNNs
Reinforcement Learning
AI
MILP
Branch-and-Bound from First Principles
Optimization
Combinatorics
AI
MILP
Understanding Deep Learning Solutions
Deep Learning
Math
AI
Take Heed of the Hydra
Transformers
AI
Math
Convolutions of Grandeur
CNNs
Computer Vision
AI
Math
Autodifferentiation
AI
Math
Deep Learning
Optimization
Systems & Compilers
Compilers Pt. 2: Parsers
Compilers
Computer Science
Compilers Pt. 1: Scanners
Compilers
Computer Science
Compiler Design & Implementation
Compilers
Computer Science
Why Rust?
Rust
Systems Programming
On the Decomposition of Square Matrices
Math
Linear Algebra
Miscellaneous CS Quotes
Quotes
Computer Science
Reading Notes
Training a Language Model on Machines That Keep Dying
Distributed Training
Fault Tolerance
DiLoCo
torchft
LLM
Multiply-Free: A Ternary LLM Engine on a 130-Dollar FPGA
FPGA
LLM Inference
BitNet
Hardware
Energy Efficiency
Paul Graham Essay Excerpts
Quotes
Startups
The Story of Civilization
Quotes
History
Dune
Quotes
Sci-Fi
Napoleon: A Life
Quotes
History
Benjamin Franklin - Walter Isaacson
Quotes
History
Past Books
Quotes
Books
Caesar: Life of a Colossus
Quotes
History
Alexander of Macedon
Quotes
History
Mathematics
Analysis
Real Analysis I: Continuity and Compactness
Math
Analysis
Real Analysis
Real Analysis I: Sequences and Convergence
Math
Analysis
Real Analysis
Real Analysis I: Topology of the Real Line
Math
Analysis
Real Analysis
Real Analysis I: Building the Real Numbers
Math
Analysis
Real Analysis
Algebra
Modern Algebra II: Rings, Ideals, and Quotient Rings
Math
Algebra
Ring Theory
Modern Algebra I: Quotients and Actions
Math
Algebra
Group Theory
Modern Algebra I: Permutations and Structure
Math
Algebra
Group Theory
Modern Algebra I: Groups from the Ground Up
Math
Algebra
Group Theory
Calculus
Calculus IV: Surfaces and Surface Area
Math
Calculus
Multivariable Calculus
Calculus IV: Conservative Fields and Green's Theorem
Math
Calculus
Multivariable Calculus
Calculus IV: Curves and Line Integrals
Math
Calculus
Multivariable Calculus
Calculus IV: Coordinate Systems and the Jacobian
Math
Calculus
Multivariable Calculus
Graph Theory
Graph Theory IV: Directed Graphs and Eulerian Tours
Math
Graph Theory
Combinatorics
Graph Theory III: Matchings and Covers
Math
Graph Theory
Combinatorics
Graph Theory II: Degree Sequences and Trees
Math
Graph Theory
Combinatorics
Graph Theory I: Foundations and First Explorations
Math
Graph Theory
Combinatorics
Combinatorics
Branch-and-Bound from First Principles
Optimization
Combinatorics
AI
MILP
Enumerative Combinatorics: Famous Number Families
Math
Combinatorics
Enumerative Combinatorics
Enumerative Combinatorics: Generating Functions
Math
Combinatorics
Enumerative Combinatorics
Enumerative Combinatorics: Algebraic Proof Methods
Math
Combinatorics
Enumerative Combinatorics
Deep Learning & AI
CHOP: A Research Diary in Learning to Branch
Optimization
GNNs
Reinforcement Learning
AI
MILP
Branch-and-Bound from First Principles
Optimization
Combinatorics
AI
MILP
Understanding Deep Learning Solutions
Deep Learning
Math
AI
Take Heed of the Hydra
Transformers
AI
Math
Convolutions of Grandeur
CNNs
Computer Vision
AI
Math
Autodifferentiation
AI
Math
Deep Learning
Optimization
Systems & Compilers
Compilers Pt. 2: Parsers
Compilers
Computer Science
Compilers Pt. 1: Scanners
Compilers
Computer Science
Compiler Design & Implementation
Compilers
Computer Science
Why Rust?
Rust
Systems Programming
On the Decomposition of Square Matrices
Math
Linear Algebra
Miscellaneous CS Quotes
Quotes
Computer Science
Reading Notes
Training a Language Model on Machines That Keep Dying
Distributed Training
Fault Tolerance
DiLoCo
torchft
LLM
Multiply-Free: A Ternary LLM Engine on a 130-Dollar FPGA
FPGA
LLM Inference
BitNet
Hardware
Energy Efficiency
Paul Graham Essay Excerpts
Quotes
Startups
The Story of Civilization
Quotes
History
Dune
Quotes
Sci-Fi
Napoleon: A Life
Quotes
History
Benjamin Franklin - Walter Isaacson
Quotes
History
Past Books
Quotes
Books
Caesar: Life of a Colossus
Quotes
History
Alexander of Macedon
Quotes
History