NOTES

Everything I spend serious time learning is transcribed and cataloged here. These typically include notes from textbooks, research papers I find cool, and what not. I update them periodically.

The Tao of Types

My notes on Thorsten’s book on type theory.

studying Apr 17, 2025

Algebra: Notes from the Underground

My notes on Aluffi’s book on abstract algebra.

studying Mar 17, 2025

Classical Mechanics

My notes on R Taylor’s classical mechanics textbook.

studying Aug 1, 2024

Calculus: I

My notes on Tom Apostol’s calculus book.

studying Aug 1, 2023