Interactive Marimo notebooks exploring math, algorithms, and systems concepts. Each notebook runs in the browser as a self-contained WASM application.
Vector Search
- LSH: Locality Sensitive Hashing — sub-linear approximate nearest-neighbour search via hash collisions
- IVF: Inverted File Index — partition-based search using Voronoi cells and cluster centroids
- HNSW: Multi-Layer Graph Search — hierarchical proximity graph with skip-list navigation
- ScaNN: Anisotropic Quantization — why direction-aware quantization beats isotropic for inner product search
DeFi
- Constant-Product AMM — interactive explorer for the xy=k invariant, price impact, and fee accumulation
- Impermanent Loss — IL derivation, the short-straddle analogy, and fee break-even simulation
- Bonding Curves — curve shapes, cost integrals, virtual AMM mechanism, and Pump.fun lifecycle simulation
- LP Profitability — break-even frontier, profitability heatmap, and fee-vs-IL race simulation
- Options Basics — calls, puts, straddles, and the LP analogy
- The Greeks — delta, gamma, and the LP-gamma connection
- Realized & Implied Volatility — computing vol, rolling windows, LP break-even, and the “selling volatility” analogy
Market Microstructure
- Matching Engine Simulator — interactive order book with depth charts, market impact, and price-time priority
Math
- Cross Product = Area — visual proof that |a x b| equals the parallelogram area