Blog Posts

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