/ /braindump/ /braindump/blurbs/ /braindump/blurbs/a-lean-goal/ 2024-04-22 /braindump/blurbs/abstract-fourier/ 2024-05-09 /braindump/blurbs/algebra-and-codes/ 2024-04-08 /braindump/blurbs/autoparallels/ 2024-04-05 /braindump/blurbs/categorical-complexes/ 2024-04-04 /braindump/blurbs/curry-howard-correspondence/ 2024-04-03 /braindump/blurbs/deep-isometry/ 2024-04-09 /braindump/blurbs/diagonalization-is-key/ 2024-04-10 /braindump/blurbs/getting-lean/ 2024-04-20 /braindump/blurbs/inductive-rust-types/ 2024-04-04 /braindump/blurbs/paths-of-paths/ 2024-04-03 /braindump/blurbs/perfect-secrecy/ 2024-04-06 /braindump/blurbs/pragmatic-sum-and-product/ 2024-04-18 /braindump/blurbs/sheaves-are-probes/ 2024-04-07 /braindump/blurbs/space-and-quantity-duality/ 2024-04-19 /braindump/blurbs/stokes-theorem/ 2024-09-29 /longform/ /longform/holy_trinity/ /longform/holy_trinity/algebra-as-computation/ 2024-04-17 /longform/holy_trinity/todos/tensor/ 2024-04-16 /longform/my_own_tech/ /longform/my_own_tech/green-home-init/ 2024-11-01 /tags/ /tags/algebra/ /tags/analysis/ /tags/category-theory/ /tags/codes/ /tags/computers/ /tags/cryptography/ /tags/diy/ /tags/geometry/ /tags/home-lab/ /tags/lean/ /tags/linear-algebra/ /tags/math/ /tags/mathematics/ /tags/metamath/ /tags/networking/ /tags/physics/ /tags/programming/ /tags/rust/ /tags/self-hosted/ /tags/topology/ /tags/type-theory/