Blog Posts

File Explorer

1. Nov 05, 2025 how to use lean: propositions as types
2. Oct 31, 2025 the spectral theorem - by agastya ravuri
3. Aug 28, 2025 trying to learn differential geometry
4. Jul 11, 2025 a monad is a monoid in the category of endofunctors
5. Jun 20, 2025 inner and outer products
6. Sep 10, 2024 notes for info theory
7. Aug 23, 2024 notes for ap physics c
8. Jan 30, 2024 notes for differential equations