Lab
Interactive explorations — click around, break things, see what happens.
- CRDTs Explore grow-only counters, PN-counters, last-writer-wins registers, and observed-remove sets. replication
- Logical Clocks Send messages between nodes. Compare how Lamport clocks and vector clocks track causality. replication
- Erasure Coding Split data into chunks, add parity, and reconstruct after failures. error-correction
- Reed-Solomon Corrupt bytes in a codeword and watch Reed-Solomon detect where the errors are and fix them. error-correction
- Order Book Place orders, watch them match, and see how price discovery works. finance
- Automated Market Maker Swap tokens, add liquidity, and watch the constant product curve respond to every trade. finance
- Bonding Curves Mint and burn tokens along a price curve — see how curve shape determines who profits and who pays. finance
- Concentrated Liquidity Choose a price range, provide liquidity, and see how concentrated positions amplify capital efficiency. finance
- Raft Leader Election Trigger elections, kill nodes, partition the network, and watch consensus emerge. consensus
- Two-Phase Commit Step through the atomic commit protocol, trigger failures, and see why 2PC can block. consensus
- Three-Phase Commit The non-blocking fix to 2PC — kill the coordinator and watch participants safely decide on their own. consensus
- Paxos Competing proposals, broken promises, and how a majority quorum reaches agreement anyway. consensus
- Byzantine Fault Tolerance Toggle traitors in a 4-node PBFT cluster and watch honest nodes reach agreement — or fail when too many lie. consensus
- Multicast (PIM-SM) Build shared trees, register sources, and switch to shortest-path trees. networking
- Feedback Loops Watch exponential growth, goal-seeking, oscillation, and S-curves emerge from stocks and flows. systemssimulation
- Consistent Hashing Add and remove nodes on a hash ring, watch which keys move, and compare with naive modulo hashing. hashing
- Gossip Protocol Watch epidemic-style gossip spread through a cluster, kill nodes, and see why random peer selection is robust. replicationnetworking
- Merkle Tree Build a hash tree from data blocks, generate compact inclusion proofs, and detect tampering. hashingcryptography
- Bloom & Cuckoo Filters Insert items into probabilistic filters, watch false positives emerge, and see why Cuckoo filters can delete but Bloom filters can't. hashing
- Reconciliation Loop Watch a Kubernetes-style controller observe state, compute diffs, and drive actual toward desired. systems
- Game Theory Explore classic 2-player games — see Nash equilibria emerge, find dominant strategies, and run iterated tournaments. systemssimulation
- TCP State Machine Step through the 3-way handshake, teardown, simultaneous open/close, and RST — watch states change on both sides. networking
- TCP Congestion Control Watch cwnd grow, trigger losses, and see how Tahoe, Reno, and Cubic recover differently. networking
- BGP Path Selection Watch routes propagate AS-by-AS, see the decision process pick best paths, and traffic-engineer with AS path prepending. networking
- Reaction-Diffusion Watch Turing patterns emerge from two chemicals — spots, stripes, coral, and mitosis from simple math. simulation
- Strange Attractors Two trajectories from nearly identical points diverge completely — deterministic chaos on the Lorenz attractor. simulation
- Percolation Sweep probability on a grid and watch a spanning cluster suddenly appear at the critical threshold. simulation
- Diffie-Hellman Key Exchange Watch two parties agree on a shared secret over a public channel while an eavesdropper sees everything and learns nothing. cryptography
- Ali Baba's Cave Watch Peggy prove she knows the secret word without revealing it — the classic zero-knowledge proof, round by round. cryptography
- Cellular Automata Pick a rule number from 0 to 255 and watch complexity emerge from a single cell — one row at a time. simulation
- Hill Climbing Drop an agent on a 2D landscape, watch it climb. See why greedy gets stuck and simulated annealing escapes. simulationsystemsoptimization
- Penrose Tiling Subdivide kites and darts into an infinite non-periodic pattern with five-fold symmetry. simulationmath
- Mandelbrot & Julia Sets Zoom into the Mandelbrot set and click any point to see its Julia set — infinite complexity from z → z² + c. simulationmath
- Ring Buffer Circular buffer with read/write pointers — enqueue, dequeue, and watch wrap-around with modular arithmetic. data-structures
- Skip List Layered linked list with express lanes — watch searches skip across levels and coin flips build towers. data-structures