Blog Posts

File Explorer
  1. Jun 27, 2026chump pcb
  2. Jun 26, 2026notes & review of freshman year @ uw
  3. Jun 02, 20262026 update: a lot of lean4
  4. May 31, 2026stealing your money with a quantum computer - by rohan ramkumar
  5. Nov 05, 2025how to use lean: propositions as types
  6. Oct 31, 2025the spectral theorem - by agastya ravuri
  7. Aug 28, 2025trying to learn differential geometry
  8. Jul 11, 2025a monad is a monoid in the category of endofunctors
  9. Jun 20, 2025inner and outer products
  10. Sep 10, 2024notes for info theory
  11. Aug 23, 2024notes for ap physics c
  12. Jan 30, 2024notes for differential equations