Topics

Browse the notebook by series, category, or tag.

Series

Probabilistic data structures10

Sketches, filters, and hash tables that trade a little accuracy for a lot of space.

1. Counting Without Names
2. Bit Arrays That Only Say Maybe
3. Similar Pages Should Share a Lottery Ticket
4. Collisions Keep the Receipts
5. Hash Tables Are Fast Until the Tail Arrives
6. Cuckoo Hashing Fails as a Graph
7. The Filter Peels Before It Answers
8. The Model Still Owes a Filter
9. The Fingerprint Has Two Homes
10. The Difference Peels Out of the Table

Trustworthy experiments9

How A/B tests and metrics quietly mislead, and what keeps them honest.

1. Metrics Become Control Surfaces
2. Dashboards Can Change the Experiment
3. Yesterday Can Tighten an A/B Test
4. If You Keep Looking, Use a Bankroll
5. Discoveries Need a Denominator
6. The Feature Has a Shadow Twin
7. The Cursor Needs an Address
8. The Discovery Budget Has a Clock
9. The Estimate Has Two Receipts

Faster LLM inference6

The systems tricks that make large models cheap enough to serve.

1. Draft Tokens Have to Earn Their Keep
2. Every Expert Has a Line Outside
3. Context Windows Have Rent Due
4. Matrices Were Never Required
5. Small Models Can Be Scouts
6. The Cache Forgets the Middle

Quantitative trading8

Sizing, executing, and stress-testing a strategy without fooling yourself.

1. Trust First, Then Size the Bet
2. Beautiful Backtests Come From a Crowd
3. After the Decision, the Trade Begins
4. Risk Dials Have Delays
5. Alpha Was Hiding in the Timestamp
6. Crash Risk Lives in the Corner
7. Sharpe Ratios Have Clocks
8. The Auction Should Tick

Calibrated confidence4

Making a model's stated uncertainty mean what it actually says.

1. Coverage Comes With Fine Print
2. Saying No Needs a Price List
3. How Far Should a Noisy Sensor Move You?
4. Do Not Trust a Naked ECE

Distributed systems9

Time, consistency, and failure when one machine is no longer enough.

1. Two Clean Snapshots Can Break the World
2. Clocks Can Say Concurrent
3. Do Not Reassign the World to Add One Box
4. Missing Shards Are Equations
5. Leases Expire; Writes Do Not
6. Two Thirds Is Not a Vibe
7. The Snapshot Draws a Cut
8. The Rumor Needs a Fanout
9. The Heartbeat Is a Suspicion Score

Categories

Machine learning47

• The Graph Forgets the Triangles
• The Max Has a Temperature
• The Tree Gets More Lottery Tickets
• The Path Is Not Its Marginals
• The Cut Has a Denominator
• The Record Has No Fields
• The Memory Chooses Its Decay
• The Kernel Keeps a Few Witnesses
• The Posterior Pays Rent
• The Label Is a Latent Variable
• The Cache Forgets the Middle
• The Object Has More Than One Door
• The Rounder Is the Turnstile
• A Network Is a Kernel Until It Moves
• The Gradient Needs a Ruler
• The Baseline Is a Control Variate
• The Search Distribution Learns Coordinates
• Loops Turn Evidence Into Rumor
• Mistakes Burn Capital
• Do Not Spend the Budget on the Already Good
• Prediction Errors Leave Footprints
• Heatmaps Are Not Circuits
• Your Example Brought Its Neighbors
• Step Sizes Are Dares
• Vote Gaps Draw the Ball
• Give Every Candidate a Clock
• Matching, but With Soft Edges
• Prompts Are Ratios, Not Commands
• Delete Buttons Owe Counterfactuals
• Gradients Keep Receipts
• Ask the Matrix Where It Echoes
• Put Both Rankers on the Same Page
• Good Reward Hints Cancel on the Loop
• Adam Chooses the Units Before It Steps
• SHAP Bars Need a Chosen World
• LoRA Bets on the Missing Directions
• Do Not Trust a Naked ECE
• Privacy Starts With a Volume Knob
• Leaderboards Have Seating Charts
• Loss Functions Never See the Missing Pair
• Context Windows Have Rent Due
• Every Trial Spends the Budget
• Models Forget the Weird Stuff First
• Last Layer, Solver Included
• Models Overbook Feature Space
• Build a Copy Machine You Can See
• Which Zero-Error Model Did You Get?

AI systems22

• The Distance Table Replaces the Vector
• A Dataset Can Be a Pull Request
• The Page Is Not a Developer
• The Watermark Is a Tail Test
• The Mask Is a Second Clock
• Next FLOP Has to Choose
• Every Token Gets a Clock Hand
• Small Models Can Be Scouts
• Trees Spend Experiments
• The Tokenizer Comes With a Phrasebook
• Matrices Were Never Required
• Nearest Neighbor Search Needs Roads
• Every Expert Has a Line Outside
• One Outlier Can Spend the Whole Scale
• Draft Tokens Have to Earn Their Keep
• Vectors That Show Up Everywhere
• Feeds Teach Users, Then Take Notes
• Leaderboards Make Blunt Instruments
• Saying No Needs a Price List
• Thirty-Two Tries Can Be One Mistake
• RAG Is the Question of What Gets Read
• At 3 AM, Ask the Cache

Computer science83

• The Cut Survives The Contractions
• The Password Hash Rents Memory
• The Tree Rotates Toward Reuse
• The Posting List Splits Its Bits
• The Counter Only Remembers the Exponent
• The Smallest Counter Takes the Blame
• The Alphabet Splits Into Bits
• The Line Carries an Error Ledger
• The Range Minimum Hides a Tree
• The Ready Queue Is a Proof
• The Snapshot Draws a Cut
• The Counterexample Needs a Loop
• The Residual Graph Is the Audit Trail
• The Queue Has an Area
• The Stack Knows Which Cycle Closed
• The Matching Arrives in Waves
• The Diff Keeps a Furthest Frontier
• The Puzzle Chooses Its Tightest Column
• The Diameter Waits For An Antipode
• The Operator Carries Its Binding Power
• The Tree Fits in the Parentheses
• The Minima March Right
• The Piles Remember the Frontier
• The Search Path Has an Address
• The Cell Has Two Diagonals
• The Transcript Is a Key Input
• The Bucket Becomes the Queue
• The Timeout Is Not a Stopwatch
• The Nonce Has One Job
• A Gap Is an Event, Not a Character
• The Run Stack Remembers the Order
• The Parent Pointer Learns a Shortcut
• The Fingerprint Has Two Homes
• The Conflict Writes a Clause
• The Distance Is an XOR Shadow
• The Dictionary Has Failure Links
• The Variable Order Is the Algorithm
• The Signature Spends a Secret Once
• Every Path Has a Gatekeeper
• The Checksum Is a Polynomial Remainder
• The List Grows Towers
• The Normal Equations Square the Trouble
• The Type Checker Finds the Most General Shape
• The Model Still Owes a Filter
• The Prefix Sum Learns to Move
• The Loaded Die Has a Table
• The Prefix Sum Is an Address Machine
• The Pixel Is an Expectation
• The Bounds Check Was Not a Boundary
• The Filter Peels Before It Answers
• Sketches Shrink Every Direction
• Epsilon Is Not a Purse
• Cuckoo Hashing Fails as a Graph
• Stop Before the Vector Turns Around
• Last Column Knows Where to Search
• When the Queue Answers Too Late
• Search That Refuses to Reread
• Smoothing Drew the Spots
• A* Trusts a Promise, Not a Hunch
• One Transcript Can Be Fake
• Where the Half-Bits Go
• Clocks Can Say Concurrent
• CPUs Have to Guess Right Now
• Let the Clause Sleep
• Side Deals Are the Bug
• Tails Come Back Through the Front Door
• Keep the Rewrite Around Until the End
• Bring the Receipt, Not the Whole Log
• Hash Tables Are Fast Until the Tail Arrives
• Collisions Keep the Receipts
• PageRank Reenters Through the Side Door
• Reliable Bits Need Empty Space
• Formulas Can Lie to the Computer
• Keep the Distances, Audit the Decisions
• Every Eviction Is a Prediction
• Clusters Remember by Overlap
• Benchmarking Through the Outage
• Similar Pages Should Share a Lottery Ticket
• Bit Arrays That Only Say Maybe
• Second Tries Are Still Traffic
• Fuzzy Joins Write Facts
• Counting Without Names
• Merge Functions Become Products

Gaming5

• The Square Root Was in the Exponent
• Every Tile Starts as a Maybe
• Game Trees Tell the Wrong Story
• Ladders Need Error Bars
• Games Guess the Past

Physics6

• Waiting for the Wrong Fluctuation
• Grids Have Speed Limits
• Critical Points Remember
• Flocking Is an Order Parameter
• Next Reaction Wins the Race
• Cliffs Live at Infinity

Applied math8

• The Error Changes Grids
• Controllers Solve Backward
• Holes Have to Persist
• Fixed Points Remember Mistakes
• Normalizers Hide in the Path
• Eigenvalues Are Not Weather
• CG Buys One More Degree
• Ask Random Vectors for the Trace

Computer graphics5

• The Texture Needs a Smaller Copy
• The Image Pays One Pixel at a Time
• The Edge Pixel Is a Contract
• Pixels Can Keep One Light
• Random Dots Need Personal Space

Data systems9

• The Difference Peels Out of the Table
• The Row Group Keeps a Bounding Box
• The Page Split Climbs Toward the Root
• The Page Must Not Outrun the Log
• The Bitmap Is a Container Map
• Two Thirds Is Not a Vibe
• Missing Shards Are Equations
• Do Not Reassign the World to Add One Box
• p95 Needs Its Crowd

Software engineering39

• The Hash Join Gets a Spillway
• The Heartbeat Is a Suspicion Score
• The Rumor Needs a Fanout
• The Vacuum Has a Horizon
• The Isolation Boundary Needs Consent
• The Request Carries Its Context
• The Cookie Has a Site Boundary
• The Script Has a Guest List
• The Code Needs a Proof
• CORS Is Not a Firewall
• The Cache Entry Needs a Witness
• The Bucket Has a Clock
• The Old Code Still Had a Switch
• The Watermark Is a Promise About the Past
• The Triangle Has a Sign Bit
• The Map Becomes a String
• The Delta Is the Query
• One Shadow Is Enough
• The Sum Has a Schedule
• The Remainder Is a Quotient Estimate
• The Plan Is a Row-Count Forecast
• The Event Loop Is a Queue
• The Username Is Not a String
• The Address Came Back Wrong
• The Failing Test Case Shrinks by Asking Halves
• Ask Two Queues, Not the Whole Fleet
• The Random Timeout Is a Vote Spacer
• The Instant Has to Fit Inside the Call
• The Write Did Not Happen Everywhere
• The Query Remembers Only New Facts
• TFLOP Numbers Are Not Speedometers
• Leases Expire; Writes Do Not
• Stopwatches Are Not Calendars
• Case File: The Heap Was Not Full
• Memtables Borrow From Tomorrow
• Patterns Can Hide Search Trees
• Blurry Interpreters Live in Your Compiler
• Stores Can Save Live Objects
• Two Clean Snapshots Can Break the World

Statistics44

• The Best Candidate Waits For A Record
• The Quantile Keeps Five Markers
• The Estimate Has Two Receipts
• The Discovery Budget Has a Clock
• The Mean Needs a Firebreak
• The Error Bar Is Curvature
• The Feature Has a Shadow Twin
• The Alarm Has a Run Length
• The Graph Is an Equivalence Class
• The Collider Opens When You Look
• Move Two Knobs Or Miss The Model
• The Average Arrives Late
• The Counterfactual Is a Portfolio
• The Motif Is a Nearest Neighbor
• The Line Has a Breakdown Point
• The Kernel Decides What a Difference Is
• The Front Door Opens Through the Middle
• The Likelihood Ratio Is a Running Score
• The Weight Is a Receipt for Being Missed
• The Singleton Points Beyond the Sample
• Discoveries Need a Denominator
• First Digits Live on a Circle
• Urns Remember Without Order
• Momentum Loans for the Posterior
• Denominators Can Learn the Future
• Thresholds Only Speak Nearby
• Samplers Can Pace in the Wrong Room
• Prediction Is a Witness, Not a Lever
• Experiments Hide in the Residuals
• Averages Lose Innocence in 3-D
• If You Keep Looking, Use a Bankroll
• AUC Only Sees the Pair
• Averages Mix Before They Judge
• Ask Who the Instrument Moved
• Bootstrap the Assumption, Not the Wish
• Who Leaves the Curve?
• Sometimes the Posterior Needs a Crowd
• Yesterday Can Tighten an A/B Test
• How Far Should a Noisy Sensor Move You?
• Control Groups Hold Ghost Slopes
• Dashboards Can Change the Experiment
• Straight Lines That Lie Politely
• Coverage Comes With Fine Print
• Metrics Become Control Surfaces

Quant finance21

• The Mid Has a Queue Shadow
• The Auction Should Tick
• The Arbitrage Is a Negative Cycle
• The Curve Moves in Three Shadows
• The Hedge Is a Variance Meter
• Smiles Pay in Butterflies
• Sharpe Ratios Have Clocks
• Pager Starts Drumming
• Crash Risk Lives in the Corner
• Give QMC the Big Move First
• Prices Forecast With a Tab
• Same Bid, Different Futures
• Folds Remember Label Windows
• Winning Can Be Bad News
• Inverses Turn Noise Into Bets
• Midpoint as Truce
• Alpha Was Hiding in the Timestamp
• Risk Dials Have Delays
• After the Decision, the Trade Begins
• Beautiful Backtests Come From a Crowd
• Trust First, Then Size the Bet

Psychology8

• The Ruler Is a Ratio
• The Menu Has Entropy
• The One Percent Chance Has a Price
• Buttons Make Promises to Hands
• Rare Targets Teach You to Quit
• Review Queues Spend Memory
• Button Presses Carry Clocks
• Witnesses Are Not Cameras

Meta1

• Notes With the Wires Left Out

Tags

a-star1ab-testing5aba-problem1abstention1abstract-interpretation1activation-patching1active-learning2active-matter1adam1adamw1adapters1adaptive-optimizers1adaptive-sorting1advection1adversarial-examples1adversarial-machine-learning1adversarial-robustness1adverse-selection2aead1aes-gcm1affine-gap-penalty1agents1aho-corasick1ai1ai-generated-text1ai-safety2ai-systems4aimd1aipw1algorithm-w1algorithm-x1algorithmic-complexity1algorithms36alias-method1aliasing1alignment1alpha-beta1alpha-compositing1alpha-investing1alphago1amortized-analysis2amortized-inference1amplitude-amplification1anderson-acceleration1annealed-importance-sampling1annotation1anomaly-detection1ans1anti-entropy1anti-windup1antialiasing1anytime-valid-inference1apache-beam1apache-flink1api-design1applied-math3approximate-counting1approximate-inference1approximate-membership3approximate-nearest-neighbors2arbitrage1argon21aries1arithmetic-coding2associative-memory1atomics1attention4attention-sinks1auc1auctions1augmenting-paths1authenticated-data-structures1authenticated-encryption1authentication1authorization-code-flow1autocorrelation1automata4automated-trading1automatic-differentiation1b-plus-trees1b-trees1backoff1backpressure1backpropagation1backtesting2backtracking1balanced-parentheses1balls-into-bins1bandits1bandwidth1barcodes1barrett-reduction1batch-normalization1bayesian-computation2bayesian-inference4bayesian-networks1bayesian-optimization1bayesian-statistics1behavioral-finance1belief-propagation1bellman-ford1benchmarking1benchmarks2benfords-law1benign-overfitting1beta-binomial1bethe-free-energy1bias1bid-ask-spread1binary-decision-diagrams1binary-indexed-tree1binary-search-trees2binding-power1bioinformatics2bipartite-matching1bitmap-indexes1black-box-optimization1blockchains1bloom-filter1bloom-filters3blue-noise1boids1boolean-functions1boolean-satisfiability2boosting1bootstrap1bounds1bpe1bradley-terry1branch-prediction1bresenham1brier-score1brin-indexes1brownian-bridge1browser-security6bufferbloat1build-systems1burrows-wheeler-transform1byzantine-fault-tolerance1c1cache-control1cache-efficiency1cache-oblivious-algorithms1cache-replacement1cache-timing1caching1calibration4cardinality-estimation2cart1cartesian-tree1cas1cate1categorical-distribution2categorical-models1causal-discovery2causal-inference16causal-mediation1causal-tracing1causality1cdcl2censoring1certificate-transparency1certified-robustness1cfl-condition1chandy-lamport1change-detection1chao11checkpointing1checksums1chemical-master-equation1chess-engines1chinchilla1chubby1churn1classification-metrics1classifier-free-guidance1clocks1clustering2cma-es1coding-theory3coep1cognition1cognitive-science2collaborative-editing1collapsibility1colliders1collision-detection1color-management1color-refinement1column-stores1combinatorial-optimization1combinatorics1common-value1compaction1compare-and-swap1compensated-summation1compilers7complex-systems1complexity1compressed-bitmaps1compressed-indexes1compression6computational-geometry4computational-neuroscience1computational-physics1computational-topology1compute-optimal-training1computer-architecture2computer-graphics9computer-science1concept-drift1concurrency4concurrency-control2conditional-expectations1conditional-independence1conditional-requests1conditioning1conflict-analysis1conformal-prediction1confounding1confusables1congestion-control1conjugate-gradient1consensus3consistency1consistent-cuts1consistent-hashing1constraint-solving1content-aware-resizing1content-security-policy1contouring1control3control-as-inference1control-flow-graphs1control-systems3control-theory1control-variates1convex-geometry1convex-hull1convex-optimization1convexity1convolution1cookies1coop1coordinated-omission1copulas1corp1correctness1cors1cost-models1count-min-sketch1counterfactuals1covariance1covariance-adaptation1covariance-estimation2cpdag1cpp1cramer-rao-bound1crash-recovery1crc1crdt1crdts1credit-assignment1credit-risk1critical-path1critical-phenomena1critical-slowing-down1cross-origin-isolation1cross-validation1crowdsourcing1cryptography7csp1csrf2cuckoo-filters1cuckoo-hashing2cuped1cusum1d-separation1dag1dags1dancing-links1data-deletion1data-flow-analysis1data-mining1data-parallelism1data-poisoning1data-provenance1data-quality3data-skipping1data-structures15data-systems8database-indexes1database-isolation1databases15datalog1dawid-skene1debugging1decision-criteria1decision-making1decision-theory4decision-trees1decoding1deep-learning3delta-debugging1delta-hedging1density-ratios1deployment1depth-first-search1derivative-free-optimization1design-effect1detection1deterministic-simulation1dft1diagnostics2dictionary-learning1diff1difference-in-differences1differentiable-programming1differential-dataflow1differential-privacy2diffusion-language-models1diffusion-models2dijkstra1dimension-reduction1discrete-diffusion1disjoint-set-union1distributed-caches1distributed-hash-table1distributed-representations1distributed-snapshots1distributed-storage1distributed-systems20distribution-shift2dithering1do-calculus1dominance-frontier1dominators1double-descent1double-machine-learning1doubly-robust-estimation1dp-sgd1dpll1dpo1drift-diffusion-model1dsa1duality1durability1duration1dynamic-programming9dynamical-systems1e-graphs1e-processes1e-values1ecdsa1ecology1econometrics6edge-of-stability1edit-distance1edmonds-karp1elias-fano1eligibility-traces1elo1em-algorithm1embargo1embeddings2empirical-bayes1entity-resolution1entropy2entropy-coding1entropy-regularization1epidemic-algorithms1epps-effect1equality-saturation1erasure-coding1error-correcting-codes1error-detection1estimation1etag1evaluation4event-loop1event-time1eventual-consistency1evolution-strategies1exact-arithmetic1exact-cover1exchangeability1execution1expected-calibration-error1experiment-design1experimentation6experiments1explainable-ai1exposure-bias1expression-parsers1factor-graphs1failure-detectors1failure-functions1faiss1false-discovery-rate3false-positives1fast-inverse-square-root1fault-tolerance1feature-attribution1feature-importance1feature-learning1feature-selection1fechner-law1feedback-control1feedback-loops1fencing-tokens1fenwick-tree1fetch1fetch-metadata1fft2fiat-shamir1fiedler-vector1finance1fine-tuning1fingerprints1finite-difference1finite-fields2finite-population1finite-size-scaling1first-passage-time1first-uip1fisher-information2fitts-law1fixed-income1fixed-point-iteration1fixed-points1flashattention1floating-point5flocking1flow-matching1fm-index1ford-fulkerson1forecasting2foreign-exchange1forensic-analytics1forgetting-curve1forward-backward1fourier-transform1fragmentation1fraud-detection1frequency-estimation2frequent-batch-auctions1frequent-directions1front-door-criterion1fuzzing1game-ai3game-networking1game-physics1game-theory2games4gaming2gamma1garbage-collection1garch1gaussian-mechanism1gaussian-noise1gaussian-processes1generalization1generative-modeling1generative-models3geometry2gflownets1gillespie-algorithm1glicko1gnn1good-turing1goodharts-law1gossip1gossip-protocols1gpu-computing2gpu-kernels1gradient-descent1gram-schmidt1granger-causality1graph-algorithms8graph-isomorphism1graph-laplacian1graph-neural-networks1graph-peeling1graphical-models3gray-scott1grover-search1gumbel-max1hamiltonian-monte-carlo1hamming-code1hardware1hash-flooding1hash-join1hash-tables3hashing3hawkes-processes1hazard-pointers1hazards1hci1heartbeats1heavy-hitters2heavy-tails2hedge1hedge-funds1heterogeneous-treatment-effects1heteroskedasticity1heuristic-search1hick-hyman-law1hidden-confounding1hidden-markov-models1high-dimensional-data1high-dimensional-geometry1high-frequency-data1high-frequency-trading1hilbert-curve1hindley-milner1hkdf1hnsw1hopcroft-karp1horvitz-thompson1hotstuff1householder1hpc1http4http-caching1huber-loss1hubness1huffman-coding1human-computer-interaction1human-feedback1hutchinson-estimator1hutchplusplus1hyperdimensional-computing1hypergraphs1hyperloglog1hyperparameter-optimization1hypothesis-testing2iblt1identifiers1image-retargeting1immortal-time-bias1implied-volatility1importance-sampling2in-context-learning1incident-analysis1incremental-view-maintenance1induction-heads1inference3influence-functions2information-aggregation1information-geometry1information-retrieval3information-theory3instrumental-variables1integer-arithmetic2interface-design2interior-point-methods1interleaving1interpolation1interpretability1intervals1interventions1inventory-risk1inverse-probability-weighting1inverted-indexes1invertible-bloom-lookup-tables1ising-model1item-response-theory1iterative-methods1jaccard1james-stein1javascript1jepsen1johnson-lindenstrauss1join-algorithms1joins1kademlia1kahn-algorithm1kalman-filter1kaplan-meier1karger-algorithm1karn-algorithm1kelly-criterion1kernel-methods3kernel-ridge-regression1kl-divergence1kmp1knight-capital1knockoffs1kramers-escape1krylov-methods1kv-cache2label-noise1lamport-clocks1langevin-dynamics1language-models2late1latency4latency-arbitrage1latency-compensation1lazy-training1lcs1lead-lag1leader-election1leaderboards1leapfrog1learned-bloom-filters1learned-indexes1learning-rate1learning-science1learning-theory1leases2least-squares1leveldb2leverage-scores1libuv1likelihood1likelihood-ratio1limit-order-books3linear-probing1linear-programming1linearizability1link-analysis1liquidity1litmus-tests1littles-law1liveness1llm-as-judge1llm-evaluation1llm-inference5llm-security1llms7lmsr1load-balancing3local-first1local-first-software1local-linear-regression1locality-sensitive-hashing1lock-free1logical-time1logistic-regression1logoot1long-context4long-tails1longest-increasing-subsequence1lora1low-discrepancy1low-precision-training1low-rank-adaptation1low-rank-approximation1lowest-common-ancestor1lowlink1lqr1lru1lsm-tree1machine-learning27machine-unlearning1malloc1mamba1many-light-rendering1marching-squares1market-access1market-design2market-impact1market-making1market-microstructure6markov-chain-monte-carlo1markov-chains2markov-equivalence1markov-jump-processes1markowitz1martingales1masked-diffusion1matching1matchmaking1materialized-views1matrix-approximation1matrix-free-methods1matrix-profile1matrix-scaling1matrix-sketching1max-flow1maximum-likelihood1mcmc2mdp1mean-estimation1measurement2mechanism-design2mechanistic-interpretability3median-of-means1mediation1memory2memory-allocation1memory-bandwidth1memory-hard-functions1memory-hierarchy1memory-layout1memory-management1memory-ordering1memory-reclamation1merge-sort1merkle-trees1message-passing3metastability1metrics1metropolis-hastings1microprice1microstructure1min-cut2minhash1mipmapping1mirror-descent1misinformation1missing-data2missing-mass1mixture-of-experts1ml-security1ml-systems4ml-theory1mmd1model-checking2model-collapse1model-diagnostics1model-evaluation1model-interpretability1model-risk1model-x1modular-arithmetic2monge-arrays1monitoring1monotonic-clocks1monotonic-stack1monte-carlo8monte-carlo-rendering1monte-carlo-tree-search1montgomery-reduction1morris-counter1morton-order1motif-discovery1motor-control1multigrid1multiplayer1multiple-testing3multiplicative-weights1mvcc2myers-algorithm1native-apps1natural-experiments1natural-gradient1near-duplicate-detection1nearest-neighbors3negative-cycles1nelson-siegel1networking4neural-tangent-kernel1newey-west1newton-method2nlp1nodejs1nonce-reuse1nonces1nonlinear-filtering1nonnormal-matrices1normal-equations1normal-means1normalization2normalized-cuts1normalizing-constants1numerical-analysis3numerical-computing3numerical-integration1numerical-linear-algebra6numerical-methods3numerical-stability3nystrom-method1oauth1observability1odds-ratio1online-algorithms1online-evaluation1online-fdr1online-learning3operations-research1optimal-control1optimal-execution1optimal-stopping1optimal-transport2optimization12option-pricing2options1orthogonalization1outliers1overfitting1p-values2p2-algorithm1pac-bayes1page-hinkley1page-splits1pagerank1paired-comparisons1panel-data2parallel-algorithms1parallel-prefix1parallel-reductions1parallel-scan1parameter-efficient-fine-tuning1parity-checks1parquet1parsing1particle-filter1password-hashing1path-compression1path-tracing1pathfinding1patience-sorting1pattern-formation1paxos1pbft1pca3pde2peer-to-peer1percentiles1perception1perceptrons1percolation1performance6performance-engineering1performance-testing1permutation-tests1persistent-homology1phi-accrual1physics1pid-control1pkce1plackett-luce1planning1point-processes1poisson-disk1poisson-equation1policy-evaluation2policy-gradients1policy-learning1policy-optimization1polya-urn1polyak-ruppert-averaging1portfolio-construction1portfolio-optimization1positional-encoding1postgresql3power-laws1power-of-two-choices1pratt-parser1precision-recall1preconditioning1prediction-markets1preference-optimization1prefix-sum1prefix-sums1preflight1premultiplied-alpha1prevalence-effect1privacy2privacy-loss1probabilistic-analysis1probabilistic-data-structures6probabilistic-matching1probabilistic-modeling1probability4probability-weighting1procedural-generation2product-quantization1program-optimization1programming-languages3prompt-injection1proof-systems1proofs-of-knowledge1propensity-score1proper-scoring-rules1prospect-theory1protocol-design1provenance1pseudospectra1psychology9psychometrics1psychophysics1purged-cv1q-values1qr-factorization1quake-iii1quantiles2quantitative-finance20quantization2quantum-computing1quasi-monte-carlo1quasi-newton1query-execution1query-optimization1query-processing1queue-imbalance1queue-position1queueing4queues1quorums2raft2rag2random-features1random-forests1random-graphs1random-matrix-theory1random-projection1random-variate-generation1randomized-algorithms5randomized-linear-algebra1randomized-numerical-linear-algebra3randomized-smoothing1randomized-svd1range-minimum-query1range-quantile1rank-select3ranking2ransac1rasterization1rate-limiting1reaction-diffusion1reaction-time2reasoning1recommender-systems1record-linkage1recurrent-neural-networks1recursive-queries1redos1reed-solomon1regression1regression-adjustment1regression-discontinuity1regret1regular-expressions1reinforce1reinforcement1reinforcement-learning6rejection-sampling1reliability5reliability-diagram1rendering2rendering-equation1rendezvous-hashing1renyi-differential-privacy1replication2representation-learning3reproducibility1resampling1research1reservoir-sampling1residual-graphs1restir1retransmission-timeout1retries1retrieval3reverse-mode1reward-design1reward-shaping1rga1riccati-equation1risk2risk-controls1risk-management4risk-neutral-density1rlhf1roaring-bitmaps1robbins-monro1robdds1robin-hood-hashing1robust-computing1robust-predicates1robust-regression1robust-statistics3roc1rocksdb2rollback-netcode1roofline-model1rope1rotary-position-embeddings1rotating-calipers1routing2rtt-estimation1rule-engines1rumor-spreading1runtime-systems1safety1same-origin-policy1samesite1sampling6sat-solvers2saturation1scalar-fields1scale-invariance1scaling-laws1scan1scheduling2schnorr-protocol1school-choice1scientific-computing2score-function-estimator1score-models1scrypt1seam-carving1search2search-systems1sec-fetch-site1secretary-problem1security11selection-bias1selective-prediction1selective-scan1self-adjusting-trees1semi-naive-evaluation1semilattices1semiparametrics2sensitivity-analysis1separating-axis-theorem1sequence-alignment1sequence-crdt1sequence-modeling1sequence-models1sequential-analysis3sequential-monte-carlo1sequential-testing2serializability1serving-systems4set-algebra1set-reconciliation1sgd1shannon1shap1shapley-values1sharpe-ratio2sharpness1shrinkage2side-channels1sigma-protocols1signal-detection2signal-extraction1signal-processing2signatures1simplex1simpsons-paradox1simulation5sinkhorn1siphash1sketches5sketching1skip-list1smawk1snapshot-isolation1snapshots1sobol-indices1soft-bellman1soft-q-learning1softmax1software-engineering28software-security1solvers1sorting1space-filling-curves1space-saving1spaced-repetition1sparse-autoencoders1spatial-indexing1spectral-clustering1spectral-leakage1spectre1spectrum-estimation1speculative-decoding2speculative-execution2speed-accuracy1spilling1splay-trees1sprt1sql1stability1stable-sort1stale-while-revalidate1state-space-models3static-analysis2static-arbitrage1static-filters1static-single-assignment1statistical-physics4statistics42stevens-power-law1stochastic-approximation1stochastic-beam-search1stochastic-classifiers1stochastic-differential-equations1stochastic-gradient-descent1stochastic-processes1stochastic-rounding1stochastic-simulation1storage-engines4storage-systems2stream-compaction1stream-processing1streaming-algorithms6streaming-statistics1streaming-systems1string-matching2string-search1strongly-connected-components1succinct-data-structures3sudoku1suffix-array1summation1superposition1survey-sampling1survival-analysis2symbolic-algorithms1symplectic-integration1synthetic-control1synthetic-data1systems8systems-biology1tail-dependence1tail-latency2target-trial-emulation1tarjan1tcp2temporal-difference-learning1temporal-logic1tendermint1term-rewriting1test-reduction1test-time-compute1testing1text-search1texture-filtering1theil-sen1throughput1tilemaps1time-series4time-varying-treatment1timekeeping1timeouts3timsort1tls-131token-bucket1tokenization1tokenizer-free-models1tool-use1top-k1topological-data-analysis1topological-sort1trace-estimation1traffic-shaping1train-eval-mismatch1training-data1transaction-costs1transactions1transcript-hash1transformers10transient-growth1transparency-logs1transposition-tables1trees1tri-color-marking1tries1trueskill1truetime1turing-patterns1two-sample-testing1type-inference1type-systems2ui1uncertainty3uncertainty-quantification1unicode1unification1union-find2unseen-species1uplift-modeling1vacuum1value-iteration1value-of-information1variable-selection-bias1variance1variance-decomposition1variance-reduction3vector-autoregression1vector-clocks1vector-search2vector-symbolic-architectures1verification2vicsek-model1vietoris-rips1visual-search1visualization11viterbi1volatility1volatility-targeting1wasserstein1watched-literals1watermarking1watermarks1wave-function-collapse1wavelet-tree1weak-instruments1weak-memory1web-performance1web-search1web-security6weber-law1weisfeiler-leman1welford1window-functions1winners-curse1wolff-algorithm1working-set2write-ahead-log1write-barriers1writing1x86-tso1xor-filters1xor-metric1xss1yield-curve1z-order1zero-knowledge1zobrist-hashing1zone-maps1

a-star1

• A* Trusts a Promise, Not a Hunch

ab-testing5

• The Likelihood Ratio Is a Running Score
• Put Both Rankers on the Same Page
• If You Keep Looking, Use a Bankroll
• Yesterday Can Tighten an A/B Test
• Dashboards Can Change the Experiment

aba-problem1

• The Address Came Back Wrong

abstention1

• Saying No Needs a Price List

abstract-interpretation1

• Blurry Interpreters Live in Your Compiler

activation-patching1

• Heatmaps Are Not Circuits

active-learning2

• The Object Has More Than One Door
• Every Trial Spends the Budget

active-matter1

• Flocking Is an Order Parameter

adam1

• Adam Chooses the Units Before It Steps

adamw1

• Adam Chooses the Units Before It Steps

adapters1

• LoRA Bets on the Missing Directions

adaptive-optimizers1

• Adam Chooses the Units Before It Steps

adaptive-sorting1

• The Run Stack Remembers the Order

advection1

• Grids Have Speed Limits

adversarial-examples1

• Vote Gaps Draw the Ball

adversarial-machine-learning1

• A Dataset Can Be a Pull Request

adversarial-robustness1

• Vote Gaps Draw the Ball

adverse-selection2

• Same Bid, Different Futures
• Midpoint as Truce

aead1

• The Nonce Has One Job

aes-gcm1

• The Nonce Has One Job

affine-gap-penalty1

• A Gap Is an Event, Not a Character

agents1

• The Page Is Not a Developer

aho-corasick1

• The Dictionary Has Failure Links

ai1

• Notes With the Wires Left Out

ai-generated-text1

• The Watermark Is a Tail Test

ai-safety2

• Models Forget the Weird Stuff First
• Metrics Become Control Surfaces

ai-systems4

• The Page Is Not a Developer
• Matrices Were Never Required
• Nearest Neighbor Search Needs Roads
• RAG Is the Question of What Gets Read

aimd1

• When the Queue Answers Too Late

aipw1

• The Estimate Has Two Receipts

algorithm-w1

• The Type Checker Finds the Most General Shape

algorithm-x1

• The Puzzle Chooses Its Tightest Column

algorithmic-complexity1

• The Bucket Becomes the Queue

algorithms36

• The Cut Survives The Contractions
• The Tree Rotates Toward Reuse
• The Alphabet Splits Into Bits
• The Line Carries an Error Ledger
• The Range Minimum Hides a Tree
• The Ready Queue Is a Proof
• The Residual Graph Is the Audit Trail
• The Stack Knows Which Cycle Closed
• The Matching Arrives in Waves
• The Diff Keeps a Furthest Frontier
• The Puzzle Chooses Its Tightest Column
• The Diameter Waits For An Antipode
• The Operator Carries Its Binding Power
• The Tree Fits in the Parentheses
• The Minima March Right
• The Piles Remember the Frontier
• The Search Path Has an Address
• A Gap Is an Event, Not a Character
• The Run Stack Remembers the Order
• The Parent Pointer Learns a Shortcut
• The Conflict Writes a Clause
• The Dictionary Has Failure Links
• The Interior Path Keeps Its Distance
• The Variable Order Is the Algorithm
• The Triangle Has a Sign Bit
• The Map Becomes a String
• The List Grows Towers
• The Prefix Sum Learns to Move
• The Loaded Die Has a Table
• Stop Before the Vector Turns Around
• Mistakes Burn Capital
• Search That Refuses to Reread
• A* Trusts a Promise, Not a Hunch
• Let the Clause Sleep
• Side Deals Are the Bug
• Formulas Can Lie to the Computer

alias-method1

• The Loaded Die Has a Table

aliasing1

• Tails Come Back Through the Front Door

alignment1

• Loss Functions Never See the Missing Pair

alpha-beta1

• Game Trees Tell the Wrong Story

alpha-compositing1

• The Edge Pixel Is a Contract

alpha-investing1

• The Discovery Budget Has a Clock

alphago1

• Trees Spend Experiments

amortized-analysis2

• The Tree Rotates Toward Reuse
• The Parent Pointer Learns a Shortcut

amortized-inference1

• The Object Has More Than One Door

amplitude-amplification1

• Stop Before the Vector Turns Around

anderson-acceleration1

• Fixed Points Remember Mistakes

annealed-importance-sampling1

• Normalizers Hide in the Path

annotation1

• The Label Is a Latent Variable

anomaly-detection1

• The Motif Is a Nearest Neighbor

ans1

• Where the Half-Bits Go

anti-entropy1

• The Rumor Needs a Fanout

anti-windup1

• The Integrator Kept Charging

antialiasing1

• The Texture Needs a Smaller Copy

anytime-valid-inference1

• If You Keep Looking, Use a Bankroll

apache-beam1

• The Watermark Is a Promise About the Past

apache-flink1

• The Watermark Is a Promise About the Past

api-design1

• The Bucket Has a Clock

applied-math3

• Waiting for the Wrong Fluctuation
• Next Reaction Wins the Race
• Cliffs Live at Infinity

approximate-counting1

• The Counter Only Remembers the Exponent

approximate-inference1

• Loops Turn Evidence Into Rumor

approximate-membership3

• The Fingerprint Has Two Homes
• The Model Still Owes a Filter
• The Filter Peels Before It Answers

approximate-nearest-neighbors2

• The Distance Table Replaces the Vector
• Nearest Neighbor Search Needs Roads

arbitrage1

• The Arbitrage Is a Negative Cycle

argon21

• The Password Hash Rents Memory

aries1

• The Page Must Not Outrun the Log

arithmetic-coding2

• The Prefix Sum Learns to Move
• Where the Half-Bits Go

associative-memory1

• The Record Has No Fields

atomics1

• The Write Did Not Happen Everywhere

attention4

• Every Token Gets a Clock Hand
• Rare Targets Teach You to Quit
• Context Windows Have Rent Due
• Build a Copy Machine You Can See

attention-sinks1

• The Cache Forgets the Middle

auc1

• AUC Only Sees the Pair

auctions1

• Winning Can Be Bad News

augmenting-paths1

• The Matching Arrives in Waves

authenticated-data-structures1

• Bring the Receipt, Not the Whole Log

authenticated-encryption1

• The Nonce Has One Job

authentication1

• The Password Hash Rents Memory

authorization-code-flow1

• The Code Needs a Proof

autocorrelation1

• Sharpe Ratios Have Clocks

automata4

• The Counterexample Needs a Loop
• The Dictionary Has Failure Links
• Search That Refuses to Reread
• Patterns Can Hide Search Trees

automated-trading1

• The Old Code Still Had a Switch

automatic-differentiation1

• Gradients Keep Receipts

b-plus-trees1

• The Page Split Climbs Toward the Root

b-trees1

• The Page Split Climbs Toward the Root

backoff1

• Second Tries Are Still Traffic

backpressure1

• The Event Loop Is a Queue

backpropagation1

• Gradients Keep Receipts

backtesting2

• Folds Remember Label Windows
• Beautiful Backtests Come From a Crowd

backtracking1

• The Puzzle Chooses Its Tightest Column

balanced-parentheses1

• The Tree Fits in the Parentheses

balls-into-bins1

• Ask Two Queues, Not the Whole Fleet

bandits1

• Trees Spend Experiments

bandwidth1

• Thresholds Only Speak Nearby

barcodes1

• Holes Have to Persist

barrett-reduction1

• The Remainder Is a Quotient Estimate

batch-normalization1

• Your Example Brought Its Neighbors

bayesian-computation2

• Normalizers Hide in the Path
• Momentum Loans for the Posterior

bayesian-inference4

• Samplers Can Pace in the Wrong Room
• Ladders Need Error Bars
• Sometimes the Posterior Needs a Crowd
• Witnesses Are Not Cameras

bayesian-networks1

• The Collider Opens When You Look

bayesian-optimization1

• Every Trial Spends the Budget

bayesian-statistics1

• Urns Remember Without Order

behavioral-finance1

• The One Percent Chance Has a Price

belief-propagation1

• Loops Turn Evidence Into Rumor

bellman-ford1

• The Arbitrage Is a Negative Cycle

benchmarking1

• Benchmarking Through the Outage

benchmarks2

• Leaderboards Have Seating Charts
• Leaderboards Make Blunt Instruments

benfords-law1

• First Digits Live on a Circle

benign-overfitting1

• Which Zero-Error Model Did You Get?

beta-binomial1

• Urns Remember Without Order

bethe-free-energy1

• Loops Turn Evidence Into Rumor

bias1

• Leaderboards Have Seating Charts

bid-ask-spread1

• Midpoint as Truce

binary-decision-diagrams1

• The Variable Order Is the Algorithm

binary-indexed-tree1

• The Prefix Sum Learns to Move

binary-search-trees2

• The Tree Rotates Toward Reuse
• The Search Path Has an Address

binding-power1

• The Operator Carries Its Binding Power

bioinformatics2

• A Gap Is an Event, Not a Character
• Last Column Knows Where to Search

bipartite-matching1

• The Matching Arrives in Waves

bitmap-indexes1

• The Bitmap Is a Container Map

black-box-optimization1

• The Search Distribution Learns Coordinates

blockchains1

• The Signature Spends a Secret Once

bloom-filter1

• Bit Arrays That Only Say Maybe

bloom-filters3

• The Difference Peels Out of the Table
• The Fingerprint Has Two Homes
• The Model Still Owes a Filter

blue-noise1

• Random Dots Need Personal Space

boids1

• Flocking Is an Order Parameter

boolean-functions1

• The Variable Order Is the Algorithm

boolean-satisfiability2

• The Conflict Writes a Clause
• Let the Clause Sleep

boosting1

• Mistakes Burn Capital

bootstrap1

• Bootstrap the Assumption, Not the Wish

bounds1

• The Posterior Pays Rent

bpe1

• The Tokenizer Comes With a Phrasebook

bradley-terry1

• Loss Functions Never See the Missing Pair

branch-prediction1

• CPUs Have to Guess Right Now

bresenham1

• The Line Carries an Error Ledger

brier-score1

• Do Not Trust a Naked ECE

brin-indexes1

• The Row Group Keeps a Bounding Box

brownian-bridge1

• Give QMC the Big Move First

browser-security6

• The Isolation Boundary Needs Consent
• The Request Carries Its Context
• The Cookie Has a Site Boundary
• The Script Has a Guest List
• The Code Needs a Proof
• CORS Is Not a Firewall

bufferbloat1

• When the Queue Answers Too Late

build-systems1

• The Ready Queue Is a Proof

burrows-wheeler-transform1

• Last Column Knows Where to Search

byzantine-fault-tolerance1

• Two Thirds Is Not a Vibe

c1

• Case File: The Heap Was Not Full

cache-control1

• The Cache Entry Needs a Witness

cache-efficiency1

• The Search Path Has an Address

cache-oblivious-algorithms1

• The Search Path Has an Address

cache-replacement1

• Every Eviction Is a Prediction

cache-timing1

• The Bounds Check Was Not a Boundary

caching1

• Every Eviction Is a Prediction

calibration4

• Do Not Trust a Naked ECE
• Saying No Needs a Price List
• Thirty-Two Tries Can Be One Mistake
• Trust First, Then Size the Bet

cardinality-estimation2

• The Plan Is a Row-Count Forecast
• Counting Without Names

cart1

• The Tree Gets More Lottery Tickets

cartesian-tree1

• The Range Minimum Hides a Tree

cas1

• The Instant Has to Fit Inside the Call

cate1

• Do Not Spend the Budget on the Already Good

categorical-distribution2

• The Loaded Die Has a Table
• Give Every Candidate a Clock

categorical-models1

• The Gradient Needs a Ruler

causal-discovery2

• The Graph Is an Equivalence Class
• Prediction Is a Witness, Not a Lever

causal-inference16

• The Estimate Has Two Receipts
• The Graph Is an Equivalence Class
• The Collider Opens When You Look
• The Counterfactual Is a Portfolio
• The Front Door Opens Through the Middle
• The Weight Is a Receipt for Being Missed
• Do Not Spend the Budget on the Already Good
• Denominators Can Learn the Future
• Thresholds Only Speak Nearby
• Experiments Hide in the Residuals
• Averages Mix Before They Judge
• Ask Who the Instrument Moved
• Yesterday Can Tighten an A/B Test
• Control Groups Hold Ghost Slopes
• Feeds Teach Users, Then Take Notes
• Metrics Become Control Surfaces

causal-mediation1

• Heatmaps Are Not Circuits

causal-tracing1

• Heatmaps Are Not Circuits

causality1

• Clocks Can Say Concurrent

cdcl2

• The Conflict Writes a Clause
• Let the Clause Sleep

censoring1

• Who Leaves the Curve?

certificate-transparency1

• Bring the Receipt, Not the Whole Log

certified-robustness1

• Vote Gaps Draw the Ball

cfl-condition1

• Grids Have Speed Limits

chandy-lamport1

• The Snapshot Draws a Cut

change-detection1

• The Alarm Has a Run Length

chao11

• The Singleton Points Beyond the Sample

checkpointing1

• Gradients Keep Receipts

checksums1

• The Checksum Is a Polynomial Remainder

chemical-master-equation1

• Next Reaction Wins the Race

chess-engines1

• Game Trees Tell the Wrong Story

chinchilla1

• Next FLOP Has to Choose

chubby1

• Leases Expire; Writes Do Not

churn1

• Who Leaves the Curve?

classification-metrics1

• AUC Only Sees the Pair

classifier-free-guidance1

• Prompts Are Ratios, Not Commands

clocks1

• Leases Expire; Writes Do Not

clustering2

• The Cut Has a Denominator
• Pager Starts Drumming

cma-es1

• The Search Distribution Learns Coordinates

coding-theory3

• The Checksum Is a Polynomial Remainder
• Missing Shards Are Equations
• Reliable Bits Need Empty Space

coep1

• The Isolation Boundary Needs Consent

cognition1

• Witnesses Are Not Cameras

cognitive-science2

• The Record Has No Fields
• Button Presses Carry Clocks

collaborative-editing1

• The Cursor Needs an Address

collapsibility1

• Averages Mix Before They Judge

colliders1

• The Collider Opens When You Look

collision-detection1

• One Shadow Is Enough

color-management1

• The Edge Pixel Is a Contract

color-refinement1

• The Graph Forgets the Triangles

column-stores1

• The Row Group Keeps a Bounding Box

combinatorial-optimization1

• The Object Has More Than One Door

combinatorics1

• The Piles Remember the Frontier

common-value1

• Winning Can Be Bad News

compaction1

• Memtables Borrow From Tomorrow

compare-and-swap1

• The Address Came Back Wrong

compensated-summation1

• The Sum Has a Schedule

compilers7

• The Operator Carries Its Binding Power
• Every Path Has a Gatekeeper
• The Remainder Is a Quotient Estimate
• The Type Checker Finds the Most General Shape
• The Failing Test Case Shrinks by Asking Halves
• Blurry Interpreters Live in Your Compiler
• Keep the Rewrite Around Until the End

complex-systems1

• Flocking Is an Order Parameter

complexity1

• Stop Before the Vector Turns Around

compressed-bitmaps1

• The Bitmap Is a Container Map

compressed-indexes1

• The Alphabet Splits Into Bits

compression6

• The Posting List Splits Its Bits
• The Distance Table Replaces the Vector
• Last Column Knows Where to Search
• Where the Half-Bits Go
• The Tokenizer Comes With a Phrasebook
• One Outlier Can Spend the Whole Scale

computational-geometry4

• The Diameter Waits For An Antipode
• The Cell Has Two Diagonals
• The Triangle Has a Sign Bit
• One Shadow Is Enough

computational-neuroscience1

• Prediction Errors Leave Footprints

computational-physics1

• Grids Have Speed Limits

computational-topology1

• Holes Have to Persist

compute-optimal-training1

• Next FLOP Has to Choose

computer-architecture2

• The Bounds Check Was Not a Boundary
• CPUs Have to Guess Right Now

computer-graphics9

• The Line Carries an Error Ledger
• The Cell Has Two Diagonals
• The Texture Needs a Smaller Copy
• The Image Pays One Pixel at a Time
• The Square Root Was in the Exponent
• The Edge Pixel Is a Contract
• The Pixel Is an Expectation
• Pixels Can Keep One Light
• Random Dots Need Personal Space

computer-science1

• Search That Refuses to Reread

concept-drift1

• The Alarm Has a Run Length

concurrency4

• The Address Came Back Wrong
• The Instant Has to Fit Inside the Call
• The Write Did Not Happen Everywhere
• Clocks Can Say Concurrent

concurrency-control2

• The Vacuum Has a Horizon
• Two Clean Snapshots Can Break the World

conditional-expectations1

• SHAP Bars Need a Chosen World

conditional-independence1

• The Collider Opens When You Look

conditional-requests1

• The Cache Entry Needs a Witness

conditioning1

• The Normal Equations Square the Trouble

conflict-analysis1

• The Conflict Writes a Clause

conformal-prediction1

• Coverage Comes With Fine Print

confounding1

• Prediction Is a Witness, Not a Lever

confusables1

• The Username Is Not a String

congestion-control1

• When the Queue Answers Too Late

conjugate-gradient1

• CG Buys One More Degree

consensus3

• The Random Timeout Is a Vote Spacer
• Two Thirds Is Not a Vibe
• Clusters Remember by Overlap

consistency1

• Clusters Remember by Overlap

consistent-cuts1

• The Snapshot Draws a Cut

consistent-hashing1

• Do Not Reassign the World to Add One Box

constraint-solving1

• Every Tile Starts as a Maybe

content-aware-resizing1

• The Image Pays One Pixel at a Time

content-security-policy1

• The Script Has a Guest List

contouring1

• The Cell Has Two Diagonals

control3

• How Far Should a Noisy Sensor Move You?
• Risk Dials Have Delays
• After the Decision, the Trade Begins

control-as-inference1

• The Max Has a Temperature

control-flow-graphs1

• Every Path Has a Gatekeeper

control-systems3

• The Integrator Kept Charging
• The Timeout Is Not a Stopwatch
• When the Queue Answers Too Late

control-theory1

• Controllers Solve Backward

control-variates1

• The Baseline Is a Control Variate

convex-geometry1

• One Shadow Is Enough

convex-hull1

• The Diameter Waits For An Antipode

convex-optimization1

• The Interior Path Keeps Its Distance

convexity1

• The Curve Moves in Three Shadows

convolution1

• Tails Come Back Through the Front Door

cookies1

• The Cookie Has a Site Boundary

coop1

• The Isolation Boundary Needs Consent

coordinated-omission1

• Benchmarking Through the Outage

copulas1

• Crash Risk Lives in the Corner

corp1

• The Isolation Boundary Needs Consent

correctness1

• The Instant Has to Fit Inside the Call

cors1

• CORS Is Not a Firewall

cost-models1

• The Plan Is a Row-Count Forecast

count-min-sketch1

• Collisions Keep the Receipts

counterfactuals1

• The Counterfactual Is a Portfolio

covariance1

• Sketches Shrink Every Direction

covariance-adaptation1

• The Search Distribution Learns Coordinates

covariance-estimation2

• Inverses Turn Noise Into Bets
• Alpha Was Hiding in the Timestamp

cpdag1

• The Graph Is an Equivalence Class

cpp1

• Case File: The Heap Was Not Full

cramer-rao-bound1

• The Error Bar Is Curvature

crash-recovery1

• The Page Must Not Outrun the Log

crc1

• The Checksum Is a Polynomial Remainder

crdt1

• The Cursor Needs an Address

crdts1

• Merge Functions Become Products

credit-assignment1

• Prediction Errors Leave Footprints

credit-risk1

• Crash Risk Lives in the Corner

critical-path1

• The Ready Queue Is a Proof

critical-phenomena1

• Cliffs Live at Infinity

critical-slowing-down1

• Critical Points Remember

cross-origin-isolation1

• The Isolation Boundary Needs Consent

cross-validation1

• Folds Remember Label Windows

crowdsourcing1

• The Label Is a Latent Variable

cryptography7

• The Password Hash Rents Memory
• The Transcript Is a Key Input
• The Nonce Has One Job
• The Signature Spends a Secret Once
• The Remainder Is a Quotient Estimate
• One Transcript Can Be Fake
• Bring the Receipt, Not the Whole Log

csp1

• The Script Has a Guest List

csrf2

• The Request Carries Its Context
• The Cookie Has a Site Boundary

cuckoo-filters1

• The Fingerprint Has Two Homes

cuckoo-hashing2

• The Fingerprint Has Two Homes
• Cuckoo Hashing Fails as a Graph

cuped1

• Yesterday Can Tighten an A/B Test

cusum1

• The Alarm Has a Run Length

d-separation1

• The Collider Opens When You Look

dag1

• The Ready Queue Is a Proof

dags1

• The Graph Is an Equivalence Class

dancing-links1

• The Puzzle Chooses Its Tightest Column

data-deletion1

• Delete Buttons Owe Counterfactuals

data-flow-analysis1

• Every Path Has a Gatekeeper

data-mining1

• The Motif Is a Nearest Neighbor

data-parallelism1

• The Prefix Sum Is an Address Machine

data-poisoning1

• A Dataset Can Be a Pull Request

data-provenance1

• Models Forget the Weird Stuff First

data-quality3

• The Label Is a Latent Variable
• First Digits Live on a Circle
• Fuzzy Joins Write Facts

data-skipping1

• The Row Group Keeps a Bounding Box

data-structures15

• The Tree Rotates Toward Reuse
• The Smallest Counter Takes the Blame
• The Range Minimum Hides a Tree
• The Page Split Climbs Toward the Root
• The Tree Fits in the Parentheses
• The Search Path Has an Address
• The Bucket Becomes the Queue
• The Parent Pointer Learns a Shortcut
• The Fingerprint Has Two Homes
• The List Grows Towers
• The Model Still Owes a Filter
• The Prefix Sum Learns to Move
• The Filter Peels Before It Answers
• Cuckoo Hashing Fails as a Graph
• Hash Tables Are Fast Until the Tail Arrives

data-systems8

• The Hash Join Gets a Spillway
• The Page Must Not Outrun the Log
• The Watermark Is a Promise About the Past
• The Bitmap Is a Container Map
• Do Not Reassign the World to Add One Box
• Collisions Keep the Receipts
• Fuzzy Joins Write Facts
• At 3 AM, Ask the Cache

database-indexes1

• The Page Split Climbs Toward the Root

database-isolation1

• Two Clean Snapshots Can Break the World

databases15

• The Hash Join Gets a Spillway
• The Row Group Keeps a Bounding Box
• The Page Split Climbs Toward the Root
• The Vacuum Has a Horizon
• The Page Must Not Outrun the Log
• The Map Becomes a String
• The Delta Is the Query
• The List Grows Towers
• The Plan Is a Row-Count Forecast
• The Bitmap Is a Container Map
• The Query Remembers Only New Facts
• Memtables Borrow From Tomorrow
• Bit Arrays That Only Say Maybe
• Counting Without Names
• Merge Functions Become Products

datalog1

• The Query Remembers Only New Facts

dawid-skene1

• The Label Is a Latent Variable

debugging1

• The Failing Test Case Shrinks by Asking Halves

decision-criteria1

• Rare Targets Teach You to Quit

decision-making1

• Button Presses Carry Clocks

decision-theory4

• The Best Candidate Waits For A Record
• The One Percent Chance Has a Price
• Averages Lose Innocence in 3-D
• Saying No Needs a Price List

decision-trees1

• The Tree Gets More Lottery Tickets

decoding1

• The Mask Is a Second Clock

deep-learning3

• Your Example Brought Its Neighbors
• Step Sizes Are Dares
• Adam Chooses the Units Before It Steps

delta-debugging1

• The Failing Test Case Shrinks by Asking Halves

delta-hedging1

• The Hedge Is a Variance Meter

density-ratios1

• Prompts Are Ratios, Not Commands

deployment1

• The Old Code Still Had a Switch

depth-first-search1

• The Stack Knows Which Cycle Closed

derivative-free-optimization1

• The Search Distribution Learns Coordinates

design-effect1

• The Weight Is a Receipt for Being Missed

detection1

• The Watermark Is a Tail Test

deterministic-simulation1

• Games Guess the Past

dft1

• The Bin Is a Filter

diagnostics2

• Thresholds Only Speak Nearby
• Samplers Can Pace in the Wrong Room

dictionary-learning1

• Models Overbook Feature Space

diff1

• The Diff Keeps a Furthest Frontier

difference-in-differences1

• Control Groups Hold Ghost Slopes

differentiable-programming1

• Gradients Keep Receipts

differential-dataflow1

• The Delta Is the Query

differential-privacy2

• Epsilon Is Not a Purse
• Privacy Starts With a Volume Knob

diffusion-language-models1

• The Mask Is a Second Clock

diffusion-models2

• Prompts Are Ratios, Not Commands
• Last Layer, Solver Included

dijkstra1

• A* Trusts a Promise, Not a Hunch

dimension-reduction1

• Keep the Distances, Audit the Decisions

discrete-diffusion1

• The Mask Is a Second Clock

disjoint-set-union1

• The Parent Pointer Learns a Shortcut

distributed-caches1

• Do Not Reassign the World to Add One Box

distributed-hash-table1

• The Distance Is an XOR Shadow

distributed-representations1

• The Record Has No Fields

distributed-snapshots1

• The Snapshot Draws a Cut

distributed-storage1

• Missing Shards Are Equations

distributed-systems20

• The Difference Peels Out of the Table
• The Heartbeat Is a Suspicion Score
• The Rumor Needs a Fanout
• The Snapshot Draws a Cut
• The Counterexample Needs a Loop
• The Bucket Has a Clock
• The Cursor Needs an Address
• The Distance Is an XOR Shadow
• The Watermark Is a Promise About the Past
• Ask Two Queues, Not the Whole Fleet
• The Random Timeout Is a Vote Spacer
• The Instant Has to Fit Inside the Call
• Two Thirds Is Not a Vibe
• Leases Expire; Writes Do Not
• Stopwatches Are Not Calendars
• Clocks Can Say Concurrent
• Clusters Remember by Overlap
• Benchmarking Through the Outage
• Second Tries Are Still Traffic
• Merge Functions Become Products

distribution-shift2

• The Kernel Decides What a Difference Is
• Coverage Comes With Fine Print

dithering1

• Random Dots Need Personal Space

do-calculus1

• The Front Door Opens Through the Middle

dominance-frontier1

• Every Path Has a Gatekeeper

dominators1

• Every Path Has a Gatekeeper

double-descent1

• Which Zero-Error Model Did You Get?

double-machine-learning1

• Experiments Hide in the Residuals

doubly-robust-estimation1

• The Estimate Has Two Receipts

dp-sgd1

• Privacy Starts With a Volume Knob

dpll1

• Let the Clause Sleep

dpo1

• Loss Functions Never See the Missing Pair

drift-diffusion-model1

• Button Presses Carry Clocks

dsa1

• The Signature Spends a Secret Once

duality1

• The Interior Path Keeps Its Distance

durability1

• The Page Must Not Outrun the Log

duration1

• The Curve Moves in Three Shadows

dynamic-programming9

• The Best Candidate Waits For A Record
• The Minima March Right
• The Piles Remember the Frontier
• A Gap Is an Event, Not a Character
• The Image Pays One Pixel at a Time
• The Max Has a Temperature
• The Path Is Not Its Marginals
• Controllers Solve Backward
• Game Trees Tell the Wrong Story

dynamical-systems1

• Eigenvalues Are Not Weather

e-graphs1

• Keep the Rewrite Around Until the End

e-processes1

• If You Keep Looking, Use a Bankroll

e-values1

• If You Keep Looking, Use a Bankroll

ecdsa1

• The Signature Spends a Secret Once

ecology1

• The Singleton Points Beyond the Sample

econometrics6

• The Counterfactual Is a Portfolio
• Thresholds Only Speak Nearby
• Experiments Hide in the Residuals
• Ask Who the Instrument Moved
• Bootstrap the Assumption, Not the Wish
• Control Groups Hold Ghost Slopes

edge-of-stability1

• Step Sizes Are Dares

edit-distance1

• The Diff Keeps a Furthest Frontier

edmonds-karp1

• The Residual Graph Is the Audit Trail

elias-fano1

• The Posting List Splits Its Bits

eligibility-traces1

• Prediction Errors Leave Footprints

elo1

• Ladders Need Error Bars

em-algorithm1

• The Label Is a Latent Variable

embargo1

• Folds Remember Label Windows

embeddings2

• The Distance Table Replaces the Vector
• Vectors That Show Up Everywhere

empirical-bayes1

• Averages Lose Innocence in 3-D

entity-resolution1

• Fuzzy Joins Write Facts

entropy2

• The Menu Has Entropy
• Every Tile Starts as a Maybe

entropy-coding1

• Where the Half-Bits Go

entropy-regularization1

• The Max Has a Temperature

epidemic-algorithms1

• The Rumor Needs a Fanout

epps-effect1

• Alpha Was Hiding in the Timestamp

equality-saturation1

• Keep the Rewrite Around Until the End

erasure-coding1

• Missing Shards Are Equations

error-correcting-codes1

• Reliable Bits Need Empty Space

error-detection1

• The Checksum Is a Polynomial Remainder

estimation1

• The Error Bar Is Curvature

etag1

• The Cache Entry Needs a Witness

evaluation4

• AUC Only Sees the Pair
• Do Not Trust a Naked ECE
• Leaderboards Make Blunt Instruments
• RAG Is the Question of What Gets Read

event-loop1

• The Event Loop Is a Queue

event-time1

• The Watermark Is a Promise About the Past

eventual-consistency1

• Merge Functions Become Products

evolution-strategies1

• The Search Distribution Learns Coordinates

exact-arithmetic1

• The Triangle Has a Sign Bit

exact-cover1

• The Puzzle Chooses Its Tightest Column

exchangeability1

• Urns Remember Without Order

execution1

• Same Bid, Different Futures

expected-calibration-error1

• Do Not Trust a Naked ECE

experiment-design1

• Every Trial Spends the Budget

experimentation6

• The Likelihood Ratio Is a Running Score
• Discoveries Need a Denominator
• Averages Mix Before They Judge
• Ask Who the Instrument Moved
• Yesterday Can Tighten an A/B Test
• Dashboards Can Change the Experiment

experiments1

• The Discovery Budget Has a Clock

explainable-ai1

• SHAP Bars Need a Chosen World

exposure-bias1

• Feeds Teach Users, Then Take Notes

expression-parsers1

• The Operator Carries Its Binding Power

factor-graphs1

• Loops Turn Evidence Into Rumor

failure-detectors1

• The Heartbeat Is a Suspicion Score

failure-functions1

• Search That Refuses to Reread

faiss1

• The Distance Table Replaces the Vector

false-discovery-rate3

• The Discovery Budget Has a Clock
• The Feature Has a Shadow Twin
• Discoveries Need a Denominator

false-positives1

• Bit Arrays That Only Say Maybe

fast-inverse-square-root1

• The Square Root Was in the Exponent

fault-tolerance1

• The Snapshot Draws a Cut

feature-attribution1

• SHAP Bars Need a Chosen World

feature-importance1

• The Tree Gets More Lottery Tickets

feature-learning1

• A Network Is a Kernel Until It Moves

feature-selection1

• The Feature Has a Shadow Twin

fechner-law1

• The Ruler Is a Ratio

feedback-control1

• The Integrator Kept Charging

feedback-loops1

• Feeds Teach Users, Then Take Notes

fencing-tokens1

• Leases Expire; Writes Do Not

fenwick-tree1

• The Prefix Sum Learns to Move

fetch1

• CORS Is Not a Firewall

fetch-metadata1

• The Request Carries Its Context

fft2

• The Bin Is a Filter
• Tails Come Back Through the Front Door

fiat-shamir1

• One Transcript Can Be Fake

fiedler-vector1

• The Cut Has a Denominator

finance1

• Straight Lines That Lie Politely

fine-tuning1

• LoRA Bets on the Missing Directions

fingerprints1

• The Fingerprint Has Two Homes

finite-difference1

• Grids Have Speed Limits

finite-fields2

• The Checksum Is a Polynomial Remainder
• Missing Shards Are Equations

finite-population1

• The Weight Is a Receipt for Being Missed

finite-size-scaling1

• Cliffs Live at Infinity

first-passage-time1

• Waiting for the Wrong Fluctuation

first-uip1

• The Conflict Writes a Clause

fisher-information2

• The Error Bar Is Curvature
• The Gradient Needs a Ruler

fitts-law1

• Buttons Make Promises to Hands

fixed-income1

• The Curve Moves in Three Shadows

fixed-point-iteration1

• Fixed Points Remember Mistakes

fixed-points1

• The Query Remembers Only New Facts

flashattention1

• Matrices Were Never Required

floating-point5

• The Square Root Was in the Exponent
• The Triangle Has a Sign Bit
• The Sum Has a Schedule
• The Rounder Is the Turnstile
• Formulas Can Lie to the Computer

flocking1

• Flocking Is an Order Parameter

flow-matching1

• Last Layer, Solver Included

fm-index1

• Last Column Knows Where to Search

ford-fulkerson1

• The Residual Graph Is the Audit Trail

forecasting2

• Prediction Is a Witness, Not a Lever
• Prices Forecast With a Tab

foreign-exchange1

• The Arbitrage Is a Negative Cycle

forensic-analytics1

• First Digits Live on a Circle

forgetting-curve1

• Review Queues Spend Memory

forward-backward1

• The Path Is Not Its Marginals

fourier-transform1

• Tails Come Back Through the Front Door

fragmentation1

• Case File: The Heap Was Not Full

fraud-detection1

• First Digits Live on a Circle

frequency-estimation2

• The Smallest Counter Takes the Blame
• Collisions Keep the Receipts

frequent-batch-auctions1

• The Auction Should Tick

frequent-directions1

• Sketches Shrink Every Direction

front-door-criterion1

• The Front Door Opens Through the Middle

fuzzing1

• The Failing Test Case Shrinks by Asking Halves

game-ai3

• Flocking Is an Order Parameter
• Game Trees Tell the Wrong Story
• Trees Spend Experiments

game-networking1

• Games Guess the Past

game-physics1

• One Shadow Is Enough

game-theory2

• Mistakes Burn Capital
• Side Deals Are the Bug

games4

• One Shadow Is Enough
• Random Dots Need Personal Space
• Every Tile Starts as a Maybe
• A* Trusts a Promise, Not a Hunch

gaming2

• The Square Root Was in the Exponent
• Ladders Need Error Bars

gamma1

• The Hedge Is a Variance Meter

garbage-collection1

• Stores Can Save Live Objects

garch1

• Risk Dials Have Delays

gaussian-mechanism1

• Epsilon Is Not a Purse

gaussian-noise1

• Vote Gaps Draw the Ball

gaussian-processes1

• Every Trial Spends the Budget

generalization1

• The Posterior Pays Rent

generative-modeling1

• Last Layer, Solver Included

generative-models3

• The Object Has More Than One Door
• Prompts Are Ratios, Not Commands
• Models Forget the Weird Stuff First

geometry2

• The Diameter Waits For An Antipode
• The Triangle Has a Sign Bit

gflownets1

• The Object Has More Than One Door

gillespie-algorithm1

• Next Reaction Wins the Race

glicko1

• Ladders Need Error Bars

gnn1

• The Graph Forgets the Triangles

good-turing1

• The Singleton Points Beyond the Sample

goodharts-law1

• Metrics Become Control Surfaces

gossip1

• The Heartbeat Is a Suspicion Score

gossip-protocols1

• The Rumor Needs a Fanout

gpu-computing2

• The Prefix Sum Is an Address Machine
• TFLOP Numbers Are Not Speedometers

gpu-kernels1

• Matrices Were Never Required

gradient-descent1

• Step Sizes Are Dares

gram-schmidt1

• The Normal Equations Square the Trouble

granger-causality1

• Prediction Is a Witness, Not a Lever

graph-algorithms8

• The Cut Survives The Contractions
• The Residual Graph Is the Audit Trail
• The Stack Knows Which Cycle Closed
• The Matching Arrives in Waves
• The Arbitrage Is a Negative Cycle
• The Cut Has a Denominator
• Nearest Neighbor Search Needs Roads
• PageRank Reenters Through the Side Door

graph-isomorphism1

• The Graph Forgets the Triangles

graph-laplacian1

• The Cut Has a Denominator

graph-neural-networks1

• The Graph Forgets the Triangles

graph-peeling1

• The Difference Peels Out of the Table

graphical-models3

• The Graph Is an Equivalence Class
• The Collider Opens When You Look
• Loops Turn Evidence Into Rumor

gray-scott1

• Smoothing Drew the Spots

grover-search1

• Stop Before the Vector Turns Around

gumbel-max1

• Give Every Candidate a Clock

hamiltonian-monte-carlo1

• Momentum Loans for the Posterior

hamming-code1

• Reliable Bits Need Empty Space

hardware1

• One Outlier Can Spend the Whole Scale

hash-flooding1

• The Bucket Becomes the Queue

hash-join1

• The Hash Join Gets a Spillway

hash-tables3

• The Bucket Becomes the Queue
• Cuckoo Hashing Fails as a Graph
• Hash Tables Are Fast Until the Tail Arrives

hashing3

• The Filter Peels Before It Answers
• Bring the Receipt, Not the Whole Log
• Bit Arrays That Only Say Maybe

hawkes-processes1

• Pager Starts Drumming

hazard-pointers1

• The Address Came Back Wrong

hazards1

• Who Leaves the Curve?

hci1

• Buttons Make Promises to Hands

heartbeats1

• The Heartbeat Is a Suspicion Score

heavy-hitters2

• The Smallest Counter Takes the Blame
• Collisions Keep the Receipts

heavy-tails2

• The Mean Needs a Firebreak
• Straight Lines That Lie Politely

hedge1

• Mistakes Burn Capital

hedge-funds1

• Sharpe Ratios Have Clocks

heterogeneous-treatment-effects1

• Do Not Spend the Budget on the Already Good

heteroskedasticity1

• Bootstrap the Assumption, Not the Wish

heuristic-search1

• A* Trusts a Promise, Not a Hunch

hick-hyman-law1

• The Menu Has Entropy

hidden-confounding1

• The Front Door Opens Through the Middle

hidden-markov-models1

• The Path Is Not Its Marginals

high-dimensional-data1

• The Feature Has a Shadow Twin

high-dimensional-geometry1

• Vectors That Show Up Everywhere

high-frequency-data1

• Alpha Was Hiding in the Timestamp

high-frequency-trading1

• The Auction Should Tick

hilbert-curve1

• The Map Becomes a String

hindley-milner1

• The Type Checker Finds the Most General Shape

hkdf1

• The Transcript Is a Key Input

hnsw1

• Nearest Neighbor Search Needs Roads

hopcroft-karp1

• The Matching Arrives in Waves

horvitz-thompson1

• The Weight Is a Receipt for Being Missed

hotstuff1

• Two Thirds Is Not a Vibe

householder1

• The Normal Equations Square the Trouble

hpc1

• TFLOP Numbers Are Not Speedometers

http4

• The Isolation Boundary Needs Consent
• The Request Carries Its Context
• The Cookie Has a Site Boundary
• CORS Is Not a Firewall

http-caching1

• The Cache Entry Needs a Witness

huber-loss1

• The Line Has a Breakdown Point

hubness1

• Vectors That Show Up Everywhere

huffman-coding1

• Where the Half-Bits Go

human-computer-interaction1

• The Menu Has Entropy

human-feedback1

• Loss Functions Never See the Missing Pair

hutchinson-estimator1

• Ask Random Vectors for the Trace

hutchplusplus1

• Ask Random Vectors for the Trace

hyperdimensional-computing1

• The Record Has No Fields

hypergraphs1

• The Filter Peels Before It Answers

hyperloglog1

• Counting Without Names

hyperparameter-optimization1

• Every Trial Spends the Budget

hypothesis-testing2

• The Likelihood Ratio Is a Running Score
• The Watermark Is a Tail Test

iblt1

• The Difference Peels Out of the Table

identifiers1

• The Username Is Not a String

image-retargeting1

• The Image Pays One Pixel at a Time

immortal-time-bias1

• Denominators Can Learn the Future

implied-volatility1

• Smiles Pay in Butterflies

importance-sampling2

• The Pixel Is an Expectation
• Normalizers Hide in the Path

in-context-learning1

• Build a Copy Machine You Can See

incident-analysis1

• The Old Code Still Had a Switch

incremental-view-maintenance1

• The Delta Is the Query

induction-heads1

• Build a Copy Machine You Can See

inference3

• The Mask Is a Second Clock
• Next FLOP Has to Choose
• Every Expert Has a Line Outside

influence-functions2

• A Dataset Can Be a Pull Request
• Delete Buttons Owe Counterfactuals

information-aggregation1

• Prices Forecast With a Tab

information-geometry1

• The Gradient Needs a Ruler

information-retrieval3

• Put Both Rankers on the Same Page
• Similar Pages Should Share a Lottery Ticket
• RAG Is the Question of What Gets Read

information-theory3

• The Menu Has Entropy
• Where the Half-Bits Go
• Reliable Bits Need Empty Space

instrumental-variables1

• Ask Who the Instrument Moved

integer-arithmetic2

• The Line Carries an Error Ledger
• The Remainder Is a Quotient Estimate

interface-design2

• The Menu Has Entropy
• Buttons Make Promises to Hands

interior-point-methods1

• The Interior Path Keeps Its Distance

interleaving1

• Put Both Rankers on the Same Page

interpolation1

• Which Zero-Error Model Did You Get?

interpretability1

• SHAP Bars Need a Chosen World

intervals1

• Blurry Interpreters Live in Your Compiler

interventions1

• The Graph Is an Equivalence Class

inventory-risk1

• Midpoint as Truce

inverse-probability-weighting1

• The Weight Is a Receipt for Being Missed

inverted-indexes1

• The Posting List Splits Its Bits

invertible-bloom-lookup-tables1

• The Difference Peels Out of the Table

ising-model1

• Critical Points Remember

item-response-theory1

• Leaderboards Make Blunt Instruments

iterative-methods1

• The Error Changes Grids

jaccard1

• Similar Pages Should Share a Lottery Ticket

james-stein1

• Averages Lose Innocence in 3-D

javascript1

• The Script Has a Guest List

jepsen1

• The Instant Has to Fit Inside the Call

johnson-lindenstrauss1

• Keep the Distances, Audit the Decisions

join-algorithms1

• The Hash Join Gets a Spillway

joins1

• The Plan Is a Row-Count Forecast

kademlia1

• The Distance Is an XOR Shadow

kahn-algorithm1

• The Ready Queue Is a Proof

kalman-filter1

• How Far Should a Noisy Sensor Move You?

kaplan-meier1

• Who Leaves the Curve?

karger-algorithm1

• The Cut Survives The Contractions

karn-algorithm1

• The Timeout Is Not a Stopwatch

kelly-criterion1

• Trust First, Then Size the Bet

kernel-methods3

• The Kernel Keeps a Few Witnesses
• The Kernel Decides What a Difference Is
• A Network Is a Kernel Until It Moves

kernel-ridge-regression1

• The Kernel Keeps a Few Witnesses

kl-divergence1

• The Posterior Pays Rent

kmp1

• Search That Refuses to Reread

knight-capital1

• The Old Code Still Had a Switch

knockoffs1

• The Feature Has a Shadow Twin

kramers-escape1

• Waiting for the Wrong Fluctuation

krylov-methods1

• CG Buys One More Degree

kv-cache2

• The Cache Forgets the Middle
• Context Windows Have Rent Due

label-noise1

• The Label Is a Latent Variable

lamport-clocks1

• Clocks Can Say Concurrent

langevin-dynamics1

• Waiting for the Wrong Fluctuation

language-models2

• Next FLOP Has to Choose
• The Tokenizer Comes With a Phrasebook

late1

• Ask Who the Instrument Moved

latency4

• The Event Loop Is a Queue
• p95 Needs Its Crowd
• Benchmarking Through the Outage
• Draft Tokens Have to Earn Their Keep

latency-arbitrage1

• The Auction Should Tick

latency-compensation1

• Games Guess the Past

lazy-training1

• A Network Is a Kernel Until It Moves

lcs1

• The Diff Keeps a Furthest Frontier

lead-lag1

• Alpha Was Hiding in the Timestamp

leader-election1

• The Random Timeout Is a Vote Spacer

leaderboards1

• Leaderboards Have Seating Charts

leapfrog1

• Momentum Loans for the Posterior

learned-bloom-filters1

• The Model Still Owes a Filter

learned-indexes1

• The Model Still Owes a Filter

learning-rate1

• Step Sizes Are Dares

learning-science1

• Review Queues Spend Memory

learning-theory1

• The Posterior Pays Rent

leases2

• Leases Expire; Writes Do Not
• Stopwatches Are Not Calendars

least-squares1

• The Normal Equations Square the Trouble

leveldb2

• The List Grows Towers
• Memtables Borrow From Tomorrow

leverage-scores1

• The Kernel Keeps a Few Witnesses

libuv1

• The Event Loop Is a Queue

likelihood1

• The Error Bar Is Curvature

likelihood-ratio1

• The Likelihood Ratio Is a Running Score

limit-order-books3

• The Mid Has a Queue Shadow
• The Auction Should Tick
• Same Bid, Different Futures

linear-probing1

• Hash Tables Are Fast Until the Tail Arrives

linear-programming1

• The Interior Path Keeps Its Distance

linearizability1

• The Instant Has to Fit Inside the Call

link-analysis1

• PageRank Reenters Through the Side Door

liquidity1

• Midpoint as Truce

litmus-tests1

• The Write Did Not Happen Everywhere

littles-law1

• The Queue Has an Area

liveness1

• The Counterexample Needs a Loop

llm-as-judge1

• Leaderboards Have Seating Charts

llm-evaluation1

• Leaderboards Have Seating Charts

llm-inference5

• The Cache Forgets the Middle
• Small Models Can Be Scouts
• Context Windows Have Rent Due
• One Outlier Can Spend the Whole Scale
• Draft Tokens Have to Earn Their Keep

llm-security1

• The Page Is Not a Developer

llms7

• The Watermark Is a Tail Test
• The Mask Is a Second Clock
• Every Token Gets a Clock Hand
• LoRA Bets on the Missing Directions
• Leaderboards Make Blunt Instruments
• Thirty-Two Tries Can Be One Mistake
• RAG Is the Question of What Gets Read

lmsr1

• Prices Forecast With a Tab

load-balancing3

• Ask Two Queues, Not the Whole Fleet
• Do Not Reassign the World to Add One Box
• Every Expert Has a Line Outside

local-first1

• The Cursor Needs an Address

local-first-software1

• Merge Functions Become Products

local-linear-regression1

• Thresholds Only Speak Nearby

locality-sensitive-hashing1

• Similar Pages Should Share a Lottery Ticket

lock-free1

• The Address Came Back Wrong

logical-time1

• Clocks Can Say Concurrent

logistic-regression1

• Delete Buttons Owe Counterfactuals

logoot1

• The Cursor Needs an Address

long-context4

• The Cache Forgets the Middle
• Every Token Gets a Clock Hand
• Context Windows Have Rent Due
• RAG Is the Question of What Gets Read

long-tails1

• Models Forget the Weird Stuff First

longest-increasing-subsequence1

• The Piles Remember the Frontier

lora1

• LoRA Bets on the Missing Directions

low-discrepancy1

• Give QMC the Big Move First

low-precision-training1

• The Rounder Is the Turnstile

low-rank-adaptation1

• LoRA Bets on the Missing Directions

low-rank-approximation1

• The Kernel Keeps a Few Witnesses

lowest-common-ancestor1

• The Range Minimum Hides a Tree

lowlink1

• The Stack Knows Which Cycle Closed

lqr1

• Controllers Solve Backward

lru1

• Every Eviction Is a Prediction

lsm-tree1

• Memtables Borrow From Tomorrow

machine-learning27

• The Discovery Budget Has a Clock
• The Feature Has a Shadow Twin
• The Max Has a Temperature
• The Tree Gets More Lottery Tickets
• The Cut Has a Denominator
• The Memory Chooses Its Decay
• The Kernel Keeps a Few Witnesses
• The Posterior Pays Rent
• The Label Is a Latent Variable
• The Line Has a Breakdown Point
• The Model Still Owes a Filter
• Discoveries Need a Denominator
• Holes Have to Persist
• Epsilon Is Not a Purse
• Ask Random Vectors for the Trace
• Do Not Spend the Budget on the Already Good
• Vote Gaps Draw the Ball
• Give Every Candidate a Clock
• Delete Buttons Owe Counterfactuals
• Put Both Rankers on the Same Page
• Folds Remember Label Windows
• Good Reward Hints Cancel on the Loop
• AUC Only Sees the Pair
• Privacy Starts With a Volume Knob
• Coverage Comes With Fine Print
• Trust First, Then Size the Bet
• At 3 AM, Ask the Cache

machine-unlearning1

• Delete Buttons Owe Counterfactuals

malloc1

• Case File: The Heap Was Not Full

mamba1

• The Memory Chooses Its Decay

many-light-rendering1

• Pixels Can Keep One Light

marching-squares1

• The Cell Has Two Diagonals

market-access1

• The Old Code Still Had a Switch

market-design2

• The Auction Should Tick
• Side Deals Are the Bug

market-impact1

• After the Decision, the Trade Begins

market-making1

• Prices Forecast With a Tab

market-microstructure6

• The Mid Has a Queue Shadow
• The Auction Should Tick
• Pager Starts Drumming
• Same Bid, Different Futures
• Midpoint as Truce
• Alpha Was Hiding in the Timestamp

markov-chain-monte-carlo1

• Critical Points Remember

markov-chains2

• Samplers Can Pace in the Wrong Room
• PageRank Reenters Through the Side Door

markov-equivalence1

• The Graph Is an Equivalence Class

markov-jump-processes1

• Next Reaction Wins the Race

markowitz1

• Inverses Turn Noise Into Bets

martingales1

• If You Keep Looking, Use a Bankroll

masked-diffusion1

• The Mask Is a Second Clock

matching1

• Side Deals Are the Bug

matchmaking1

• Ladders Need Error Bars

materialized-views1

• The Delta Is the Query

matrix-approximation1

• Ask the Matrix Where It Echoes

matrix-free-methods1

• Ask Random Vectors for the Trace

matrix-profile1

• The Motif Is a Nearest Neighbor

matrix-scaling1

• Matching, but With Soft Edges

matrix-sketching1

• Sketches Shrink Every Direction

max-flow1

• The Residual Graph Is the Audit Trail

maximum-likelihood1

• The Error Bar Is Curvature

mcmc2

• Momentum Loans for the Posterior
• Samplers Can Pace in the Wrong Room

mdp1

• Good Reward Hints Cancel on the Loop

mean-estimation1

• The Mean Needs a Firebreak

measurement2

• The Ruler Is a Ratio
• Leaderboards Have Seating Charts

mechanism-design2

• Side Deals Are the Bug
• Winning Can Be Bad News

mechanistic-interpretability3

• Heatmaps Are Not Circuits
• Models Overbook Feature Space
• Build a Copy Machine You Can See

median-of-means1

• The Mean Needs a Firebreak

mediation1

• The Front Door Opens Through the Middle

memory2

• Review Queues Spend Memory
• Witnesses Are Not Cameras

memory-allocation1

• Case File: The Heap Was Not Full

memory-bandwidth1

• TFLOP Numbers Are Not Speedometers

memory-hard-functions1

• The Password Hash Rents Memory

memory-hierarchy1

• Matrices Were Never Required

memory-layout1

• The Search Path Has an Address

memory-management1

• Stores Can Save Live Objects

memory-ordering1

• The Write Did Not Happen Everywhere

memory-reclamation1

• The Address Came Back Wrong

merge-sort1

• The Run Stack Remembers the Order

merkle-trees1

• Bring the Receipt, Not the Whole Log

message-passing3

• The Snapshot Draws a Cut
• The Graph Forgets the Triangles
• Loops Turn Evidence Into Rumor

metastability1

• Waiting for the Wrong Fluctuation

metrics1

• Metrics Become Control Surfaces

metropolis-hastings1

• Samplers Can Pace in the Wrong Room

microprice1

• The Mid Has a Queue Shadow

microstructure1

• After the Decision, the Trade Begins

min-cut2

• The Cut Survives The Contractions
• The Residual Graph Is the Audit Trail

minhash1

• Similar Pages Should Share a Lottery Ticket

mipmapping1

• The Texture Needs a Smaller Copy

mirror-descent1

• The Gradient Needs a Ruler

misinformation1

• Witnesses Are Not Cameras

missing-data2

• The Estimate Has Two Receipts
• Who Leaves the Curve?

missing-mass1

• The Singleton Points Beyond the Sample

mixture-of-experts1

• Every Expert Has a Line Outside

ml-security1

• A Dataset Can Be a Pull Request

ml-systems4

• Your Example Brought Its Neighbors
• Gradients Keep Receipts
• Ask the Matrix Where It Echoes
• Keep the Distances, Audit the Decisions

ml-theory1

• The Graph Forgets the Triangles

mmd1

• The Kernel Decides What a Difference Is

model-checking2

• The Counterexample Needs a Loop
• The Variable Order Is the Algorithm

model-collapse1

• Models Forget the Weird Stuff First

model-diagnostics1

• Straight Lines That Lie Politely

model-evaluation1

• Leaderboards Have Seating Charts

model-interpretability1

• The Tree Gets More Lottery Tickets

model-risk1

• Move Two Knobs Or Miss The Model

model-x1

• The Feature Has a Shadow Twin

modular-arithmetic2

• The Signature Spends a Secret Once
• The Remainder Is a Quotient Estimate

monge-arrays1

• The Minima March Right

monitoring1

• The Alarm Has a Run Length

monotonic-clocks1

• Stopwatches Are Not Calendars

monotonic-stack1

• The Range Minimum Hides a Tree

monte-carlo8

• The Cut Survives The Contractions
• The Mean Needs a Firebreak
• Move Two Knobs Or Miss The Model
• The Loaded Die Has a Table
• The Pixel Is an Expectation
• Normalizers Hide in the Path
• Critical Points Remember
• Samplers Can Pace in the Wrong Room

monte-carlo-rendering1

• Pixels Can Keep One Light

monte-carlo-tree-search1

• Trees Spend Experiments

montgomery-reduction1

• The Remainder Is a Quotient Estimate

morris-counter1

• The Counter Only Remembers the Exponent

morton-order1

• The Map Becomes a String

motif-discovery1

• The Motif Is a Nearest Neighbor

motor-control1

• Buttons Make Promises to Hands

multigrid1

• The Error Changes Grids

multiplayer1

• Games Guess the Past

multiple-testing3

• The Discovery Budget Has a Clock
• Discoveries Need a Denominator
• Beautiful Backtests Come From a Crowd

multiplicative-weights1

• Mistakes Burn Capital

mvcc2

• The Vacuum Has a Horizon
• Two Clean Snapshots Can Break the World

myers-algorithm1

• The Diff Keeps a Furthest Frontier

native-apps1

• The Code Needs a Proof

natural-experiments1

• Control Groups Hold Ghost Slopes

natural-gradient1

• The Gradient Needs a Ruler

near-duplicate-detection1

• Similar Pages Should Share a Lottery Ticket

nearest-neighbors3

• The Motif Is a Nearest Neighbor
• Keep the Distances, Audit the Decisions
• Vectors That Show Up Everywhere

negative-cycles1

• The Arbitrage Is a Negative Cycle

nelson-siegel1

• The Curve Moves in Three Shadows

networking4

• The Bucket Has a Clock
• The Timeout Is Not a Stopwatch
• The Checksum Is a Polynomial Remainder
• When the Queue Answers Too Late

neural-tangent-kernel1

• A Network Is a Kernel Until It Moves

newey-west1

• Sharpe Ratios Have Clocks

newton-method2

• The Square Root Was in the Exponent
• The Interior Path Keeps Its Distance

nlp1

• The Singleton Points Beyond the Sample

nodejs1

• The Event Loop Is a Queue

nonce-reuse1

• The Nonce Has One Job

nonces1

• The Signature Spends a Secret Once

nonlinear-filtering1

• Sometimes the Posterior Needs a Crowd

nonnormal-matrices1

• Eigenvalues Are Not Weather

normal-equations1

• The Normal Equations Square the Trouble

normal-means1

• Averages Lose Innocence in 3-D

normalization2

• The Username Is Not a String
• Your Example Brought Its Neighbors

normalized-cuts1

• The Cut Has a Denominator

normalizing-constants1

• Normalizers Hide in the Path

numerical-analysis3

• The Rounder Is the Turnstile
• Last Layer, Solver Included
• One Outlier Can Spend the Whole Scale

numerical-computing3

• The Bin Is a Filter
• TFLOP Numbers Are Not Speedometers
• Tails Come Back Through the Front Door

numerical-integration1

• Give QMC the Big Move First

numerical-linear-algebra6

• The Normal Equations Square the Trouble
• The Error Changes Grids
• Fixed Points Remember Mistakes
• Eigenvalues Are Not Weather
• CG Buys One More Degree
• Keep the Distances, Audit the Decisions

numerical-methods3

• The Square Root Was in the Exponent
• Grids Have Speed Limits
• Matching, but With Soft Edges

numerical-stability3

• The Triangle Has a Sign Bit
• The Sum Has a Schedule
• Formulas Can Lie to the Computer

nystrom-method1

• The Kernel Keeps a Few Witnesses

oauth1

• The Code Needs a Proof

observability1

• p95 Needs Its Crowd

odds-ratio1

• Averages Mix Before They Judge

online-algorithms1

• The Quantile Keeps Five Markers

online-evaluation1

• Put Both Rankers on the Same Page

online-fdr1

• The Discovery Budget Has a Clock

online-learning3

• The Average Arrives Late
• Mistakes Burn Capital
• CPUs Have to Guess Right Now

operations-research1

• The Queue Has an Area

optimal-control1

• Controllers Solve Backward

optimal-execution1

• After the Decision, the Trade Begins

optimal-stopping1

• The Best Candidate Waits For A Record

optimal-transport2

• Matching, but With Soft Edges
• Last Layer, Solver Included

optimization12

• The Minima March Right
• The Average Arrives Late
• The Rounder Is the Turnstile
• A Network Is a Kernel Until It Moves
• The Gradient Needs a Ruler
• The Search Distribution Learns Coordinates
• Fixed Points Remember Mistakes
• CG Buys One More Degree
• Your Example Brought Its Neighbors
• Step Sizes Are Dares
• Adam Chooses the Units Before It Steps
• Privacy Starts With a Volume Knob

option-pricing2

• Smiles Pay in Butterflies
• Give QMC the Big Move First

options1

• The Hedge Is a Variance Meter

orthogonalization1

• Experiments Hide in the Residuals

outliers1

• The Line Has a Breakdown Point

overfitting1

• Beautiful Backtests Come From a Crowd

p-values2

• Discoveries Need a Denominator
• Dashboards Can Change the Experiment

p2-algorithm1

• The Quantile Keeps Five Markers

pac-bayes1

• The Posterior Pays Rent

page-hinkley1

• The Alarm Has a Run Length

page-splits1

• The Page Split Climbs Toward the Root

pagerank1

• PageRank Reenters Through the Side Door

paired-comparisons1

• Ladders Need Error Bars

panel-data2

• The Counterfactual Is a Portfolio
• Control Groups Hold Ghost Slopes

parallel-algorithms1

• The Prefix Sum Is an Address Machine

parallel-prefix1

• The Prefix Sum Is an Address Machine

parallel-reductions1

• The Sum Has a Schedule

parallel-scan1

• The Memory Chooses Its Decay

parameter-efficient-fine-tuning1

• LoRA Bets on the Missing Directions

parity-checks1

• Reliable Bits Need Empty Space

parquet1

• The Row Group Keeps a Bounding Box

parsing1

• The Operator Carries Its Binding Power

particle-filter1

• Sometimes the Posterior Needs a Crowd

password-hashing1

• The Password Hash Rents Memory

path-compression1

• The Parent Pointer Learns a Shortcut

path-tracing1

• The Pixel Is an Expectation

pathfinding1

• A* Trusts a Promise, Not a Hunch

patience-sorting1

• The Piles Remember the Frontier

pattern-formation1

• Smoothing Drew the Spots

paxos1

• Clusters Remember by Overlap

pbft1

• Two Thirds Is Not a Vibe

pca3

• The Curve Moves in Three Shadows
• Sketches Shrink Every Direction
• Ask the Matrix Where It Echoes

pde2

• The Error Changes Grids
• Grids Have Speed Limits

peer-to-peer1

• The Distance Is an XOR Shadow

percentiles1

• p95 Needs Its Crowd

perception1

• The Ruler Is a Ratio

perceptrons1

• CPUs Have to Guess Right Now

percolation1

• Cliffs Live at Infinity

performance6

• The Queue Has an Area
• The Remainder Is a Quotient Estimate
• Case File: The Heap Was Not Full
• Patterns Can Hide Search Trees
• Hash Tables Are Fast Until the Tail Arrives
• Every Eviction Is a Prediction

performance-engineering1

• TFLOP Numbers Are Not Speedometers

performance-testing1

• Benchmarking Through the Outage

permutation-tests1

• The Kernel Decides What a Difference Is

persistent-homology1

• Holes Have to Persist

phi-accrual1

• The Heartbeat Is a Suspicion Score

physics1

• Stop Before the Vector Turns Around

pid-control1

• The Integrator Kept Charging

pkce1

• The Code Needs a Proof

plackett-luce1

• Give Every Candidate a Clock

planning1

• Trees Spend Experiments

point-processes1

• Pager Starts Drumming

poisson-disk1

• Random Dots Need Personal Space

poisson-equation1

• The Error Changes Grids

policy-evaluation2

• The Counterfactual Is a Portfolio
• Control Groups Hold Ghost Slopes

policy-gradients1

• The Baseline Is a Control Variate

policy-learning1

• Do Not Spend the Budget on the Already Good

policy-optimization1

• Loss Functions Never See the Missing Pair

polya-urn1

• Urns Remember Without Order

polyak-ruppert-averaging1

• The Average Arrives Late

portfolio-construction1

• Risk Dials Have Delays

portfolio-optimization1

• Inverses Turn Noise Into Bets

positional-encoding1

• Every Token Gets a Clock Hand

postgresql3

• The Hash Join Gets a Spillway
• The Vacuum Has a Horizon
• The Plan Is a Row-Count Forecast

power-laws1

• Straight Lines That Lie Politely

power-of-two-choices1

• Ask Two Queues, Not the Whole Fleet

pratt-parser1

• The Operator Carries Its Binding Power

precision-recall1

• AUC Only Sees the Pair

preconditioning1

• CG Buys One More Degree

prediction-markets1

• Prices Forecast With a Tab

preference-optimization1

• Loss Functions Never See the Missing Pair

prefix-sum1

• The Prefix Sum Is an Address Machine

prefix-sums1

• The Prefix Sum Learns to Move

preflight1

• CORS Is Not a Firewall

premultiplied-alpha1

• The Edge Pixel Is a Contract

prevalence-effect1

• Rare Targets Teach You to Quit

privacy2

• Delete Buttons Owe Counterfactuals
• Privacy Starts With a Volume Knob

privacy-loss1

• Epsilon Is Not a Purse

probabilistic-analysis1

• Cuckoo Hashing Fails as a Graph

probabilistic-data-structures6

• The Counter Only Remembers the Exponent
• The Fingerprint Has Two Homes
• The Filter Peels Before It Answers
• Collisions Keep the Receipts
• Bit Arrays That Only Say Maybe
• Counting Without Names

probabilistic-matching1

• Fuzzy Joins Write Facts

probabilistic-modeling1

• The Path Is Not Its Marginals

probability4

• The Best Candidate Waits For A Record
• First Digits Live on a Circle
• Urns Remember Without Order
• Give Every Candidate a Clock

probability-weighting1

• The One Percent Chance Has a Price

procedural-generation2

• Random Dots Need Personal Space
• Every Tile Starts as a Maybe

product-quantization1

• The Distance Table Replaces the Vector

program-optimization1

• Keep the Rewrite Around Until the End

programming-languages3

• Every Path Has a Gatekeeper
• The Type Checker Finds the Most General Shape
• Keep the Rewrite Around Until the End

prompt-injection1

• The Page Is Not a Developer

proof-systems1

• The Conflict Writes a Clause

proofs-of-knowledge1

• One Transcript Can Be Fake

propensity-score1

• The Estimate Has Two Receipts

proper-scoring-rules1

• Prices Forecast With a Tab

prospect-theory1

• The One Percent Chance Has a Price

protocol-design1

• The Transcript Is a Key Input

provenance1

• The Watermark Is a Tail Test

pseudospectra1

• Eigenvalues Are Not Weather

psychology9

• The Ruler Is a Ratio
• The Menu Has Entropy
• The One Percent Chance Has a Price
• Rare Targets Teach You to Quit
• Review Queues Spend Memory
• Witnesses Are Not Cameras
• Dashboards Can Change the Experiment
• Feeds Teach Users, Then Take Notes
• Metrics Become Control Surfaces

psychometrics1

• Leaderboards Make Blunt Instruments

psychophysics1

• The Ruler Is a Ratio

purged-cv1

• Folds Remember Label Windows

q-values1

• Discoveries Need a Denominator

qr-factorization1

• The Normal Equations Square the Trouble

quake-iii1

• The Square Root Was in the Exponent

quantiles2

• The Quantile Keeps Five Markers
• p95 Needs Its Crowd

quantitative-finance20

• The Mid Has a Queue Shadow
• The Auction Should Tick
• The Arbitrage Is a Negative Cycle
• The Curve Moves in Three Shadows
• The Hedge Is a Variance Meter
• Smiles Pay in Butterflies
• Sharpe Ratios Have Clocks
• Crash Risk Lives in the Corner
• Give QMC the Big Move First
• Same Bid, Different Futures
• Folds Remember Label Windows
• Winning Can Be Bad News
• Inverses Turn Noise Into Bets
• How Far Should a Noisy Sensor Move You?
• Midpoint as Truce
• Alpha Was Hiding in the Timestamp
• Risk Dials Have Delays
• After the Decision, the Trade Begins
• Beautiful Backtests Come From a Crowd
• Trust First, Then Size the Bet

quantization2

• The Rounder Is the Turnstile
• One Outlier Can Spend the Whole Scale

quantum-computing1

• Stop Before the Vector Turns Around

quasi-monte-carlo1

• Give QMC the Big Move First

quasi-newton1

• Fixed Points Remember Mistakes

query-execution1

• The Hash Join Gets a Spillway

query-optimization1

• The Plan Is a Row-Count Forecast

query-processing1

• The Row Group Keeps a Bounding Box

queue-imbalance1

• The Mid Has a Queue Shadow

queue-position1

• Same Bid, Different Futures

queueing4

• The Queue Has an Area
• The Event Loop Is a Queue
• Benchmarking Through the Outage
• Every Expert Has a Line Outside

queues1

• When the Queue Answers Too Late

quorums2

• Two Thirds Is Not a Vibe
• Clusters Remember by Overlap

raft2

• The Random Timeout Is a Vote Spacer
• Clusters Remember by Overlap

rag2

• The Page Is Not a Developer
• RAG Is the Question of What Gets Read

random-features1

• Which Zero-Error Model Did You Get?

random-forests1

• The Tree Gets More Lottery Tickets

random-graphs1

• Cuckoo Hashing Fails as a Graph

random-matrix-theory1

• Inverses Turn Noise Into Bets

random-projection1

• Keep the Distances, Audit the Decisions

random-variate-generation1

• The Loaded Die Has a Table

randomized-algorithms5

• The Cut Survives The Contractions
• The Counter Only Remembers the Exponent
• The List Grows Towers
• Ask Two Queues, Not the Whole Fleet
• The Random Timeout Is a Vote Spacer

randomized-linear-algebra1

• The Kernel Keeps a Few Witnesses

randomized-numerical-linear-algebra3

• Sketches Shrink Every Direction
• Ask Random Vectors for the Trace
• Ask the Matrix Where It Echoes

randomized-smoothing1

• Vote Gaps Draw the Ball

randomized-svd1

• Ask the Matrix Where It Echoes

range-minimum-query1

• The Range Minimum Hides a Tree

range-quantile1

• The Alphabet Splits Into Bits

rank-select3

• The Posting List Splits Its Bits
• The Alphabet Splits Into Bits
• The Tree Fits in the Parentheses

ranking2

• Put Both Rankers on the Same Page
• PageRank Reenters Through the Side Door

ransac1

• The Line Has a Breakdown Point

rasterization1

• The Line Carries an Error Ledger

rate-limiting1

• The Bucket Has a Clock

reaction-diffusion1

• Smoothing Drew the Spots

reaction-time2

• The Menu Has Entropy
• Button Presses Carry Clocks

reasoning1

• Thirty-Two Tries Can Be One Mistake

recommender-systems1

• Feeds Teach Users, Then Take Notes

record-linkage1

• Fuzzy Joins Write Facts

recurrent-neural-networks1

• The Memory Chooses Its Decay

recursive-queries1

• The Query Remembers Only New Facts

redos1

• Patterns Can Hide Search Trees

reed-solomon1

• Missing Shards Are Equations

regression1

• Bootstrap the Assumption, Not the Wish

regression-adjustment1

• Yesterday Can Tighten an A/B Test

regression-discontinuity1

• Thresholds Only Speak Nearby

regret1

• Mistakes Burn Capital

regular-expressions1

• Patterns Can Hide Search Trees

reinforce1

• The Baseline Is a Control Variate

reinforcement1

• Urns Remember Without Order

reinforcement-learning6

• The Max Has a Temperature
• The Baseline Is a Control Variate
• Controllers Solve Backward
• Prediction Errors Leave Footprints
• Trees Spend Experiments
• Good Reward Hints Cancel on the Loop

rejection-sampling1

• Small Models Can Be Scouts

reliability5

• The Heartbeat Is a Suspicion Score
• The Random Timeout Is a Vote Spacer
• Leases Expire; Writes Do Not
• Stopwatches Are Not Calendars
• Second Tries Are Still Traffic

reliability-diagram1

• Do Not Trust a Naked ECE

rendering2

• The Texture Needs a Smaller Copy
• The Edge Pixel Is a Contract

rendering-equation1

• The Pixel Is an Expectation

rendezvous-hashing1

• Do Not Reassign the World to Add One Box

renyi-differential-privacy1

• Epsilon Is Not a Purse

replication2

• The Rumor Needs a Fanout
• Clusters Remember by Overlap

representation-learning3

• A Network Is a Kernel Until It Moves
• The Tokenizer Comes With a Phrasebook
• Models Overbook Feature Space

reproducibility1

• The Sum Has a Schedule

resampling1

• Bootstrap the Assumption, Not the Wish

research1

• Notes With the Wires Left Out

reservoir-sampling1

• Pixels Can Keep One Light

residual-graphs1

• The Residual Graph Is the Audit Trail

restir1

• Pixels Can Keep One Light

retransmission-timeout1

• The Timeout Is Not a Stopwatch

retries1

• Second Tries Are Still Traffic

retrieval3

• The Distance Table Replaces the Vector
• Nearest Neighbor Search Needs Roads
• Vectors That Show Up Everywhere

reverse-mode1

• Gradients Keep Receipts

reward-design1

• Good Reward Hints Cancel on the Loop

reward-shaping1

• Good Reward Hints Cancel on the Loop

rga1

• The Cursor Needs an Address

riccati-equation1

• Controllers Solve Backward

risk2

• The One Percent Chance Has a Price
• Trust First, Then Size the Bet

risk-controls1

• The Old Code Still Had a Switch

risk-management4

• The Curve Moves in Three Shadows
• Sharpe Ratios Have Clocks
• Crash Risk Lives in the Corner
• Risk Dials Have Delays

risk-neutral-density1

• Smiles Pay in Butterflies

rlhf1

• Loss Functions Never See the Missing Pair

roaring-bitmaps1

• The Bitmap Is a Container Map

robbins-monro1

• The Average Arrives Late

robdds1

• The Variable Order Is the Algorithm

robin-hood-hashing1

• Hash Tables Are Fast Until the Tail Arrives

robust-computing1

• The Record Has No Fields

robust-predicates1

• The Triangle Has a Sign Bit

robust-regression1

• The Line Has a Breakdown Point

robust-statistics3

• The Mean Needs a Firebreak
• A Dataset Can Be a Pull Request
• At 3 AM, Ask the Cache

roc1

• AUC Only Sees the Pair

rocksdb2

• The List Grows Towers
• Memtables Borrow From Tomorrow

rollback-netcode1

• Games Guess the Past

roofline-model1

• TFLOP Numbers Are Not Speedometers

rope1

• Every Token Gets a Clock Hand

rotary-position-embeddings1

• Every Token Gets a Clock Hand

rotating-calipers1

• The Diameter Waits For An Antipode

routing2

• The Distance Is an XOR Shadow
• Every Expert Has a Line Outside

rtt-estimation1

• The Timeout Is Not a Stopwatch

rule-engines1

• The Delta Is the Query

rumor-spreading1

• The Rumor Needs a Fanout

runtime-systems1

• Stores Can Save Live Objects

safety1

• The Counterexample Needs a Loop

same-origin-policy1

• CORS Is Not a Firewall

samesite1

• The Cookie Has a Site Boundary

sampling6

• The Texture Needs a Smaller Copy
• The Object Has More Than One Door
• The Loaded Die Has a Table
• The Singleton Points Beyond the Sample
• Random Dots Need Personal Space
• Give Every Candidate a Clock

sat-solvers2

• The Conflict Writes a Clause
• Let the Clause Sleep

saturation1

• The Integrator Kept Charging

scalar-fields1

• The Cell Has Two Diagonals

scale-invariance1

• First Digits Live on a Circle

scaling-laws1

• Next FLOP Has to Choose

scan1

• The Prefix Sum Is an Address Machine

scheduling2

• The Ready Queue Is a Proof
• Review Queues Spend Memory

schnorr-protocol1

• One Transcript Can Be Fake

school-choice1

• Side Deals Are the Bug

scientific-computing2

• The Error Changes Grids
• CG Buys One More Degree

score-function-estimator1

• The Baseline Is a Control Variate

score-models1

• Prompts Are Ratios, Not Commands

scrypt1

• The Password Hash Rents Memory

seam-carving1

• The Image Pays One Pixel at a Time

search2

• The Bitmap Is a Container Map
• Put Both Rankers on the Same Page

search-systems1

• The Posting List Splits Its Bits

sec-fetch-site1

• The Request Carries Its Context

secretary-problem1

• The Best Candidate Waits For A Record

security11

• The Password Hash Rents Memory
• The Code Needs a Proof
• The Transcript Is a Key Input
• The Bucket Becomes the Queue
• The Nonce Has One Job
• The Signature Spends a Secret Once
• The Username Is Not a String
• The Bounds Check Was Not a Boundary
• Patterns Can Hide Search Trees
• Bring the Receipt, Not the Whole Log
• Privacy Starts With a Volume Knob

selection-bias1

• Winning Can Be Bad News

selective-prediction1

• Saying No Needs a Price List

selective-scan1

• The Memory Chooses Its Decay

self-adjusting-trees1

• The Tree Rotates Toward Reuse

semi-naive-evaluation1

• The Query Remembers Only New Facts

semilattices1

• Merge Functions Become Products

semiparametrics2

• The Estimate Has Two Receipts
• Experiments Hide in the Residuals

sensitivity-analysis1

• Move Two Knobs Or Miss The Model

separating-axis-theorem1

• One Shadow Is Enough

sequence-alignment1

• A Gap Is an Event, Not a Character

sequence-crdt1

• The Cursor Needs an Address

sequence-modeling1

• The Memory Chooses Its Decay

sequence-models1

• The Path Is Not Its Marginals

sequential-analysis3

• The Alarm Has a Run Length
• The Likelihood Ratio Is a Running Score
• Button Presses Carry Clocks

sequential-monte-carlo1

• Sometimes the Posterior Needs a Crowd

sequential-testing2

• If You Keep Looking, Use a Bankroll
• Dashboards Can Change the Experiment

serializability1

• Two Clean Snapshots Can Break the World

serving-systems4

• The Cache Forgets the Middle
• Small Models Can Be Scouts
• Context Windows Have Rent Due
• Draft Tokens Have to Earn Their Keep

set-algebra1

• The Bitmap Is a Container Map

set-reconciliation1

• The Difference Peels Out of the Table

sgd1

• Adam Chooses the Units Before It Steps

shannon1

• Reliable Bits Need Empty Space

shap1

• SHAP Bars Need a Chosen World

shapley-values1

• SHAP Bars Need a Chosen World

sharpe-ratio2

• Sharpe Ratios Have Clocks
• Beautiful Backtests Come From a Crowd

sharpness1

• Step Sizes Are Dares

shrinkage2

• Averages Lose Innocence in 3-D
• Inverses Turn Noise Into Bets

side-channels1

• The Bounds Check Was Not a Boundary

sigma-protocols1

• One Transcript Can Be Fake

signal-detection2

• Rare Targets Teach You to Quit
• Witnesses Are Not Cameras

signal-extraction1

• How Far Should a Noisy Sensor Move You?

signal-processing2

• The Bin Is a Filter
• Tails Come Back Through the Front Door

signatures1

• The Signature Spends a Secret Once

simplex1

• The Gradient Needs a Ruler

simpsons-paradox1

• Averages Mix Before They Judge

simulation5

• The Best Candidate Waits For A Record
• The Integrator Kept Charging
• Grids Have Speed Limits
• Flocking Is an Order Parameter
• Smoothing Drew the Spots

sinkhorn1

• Matching, but With Soft Edges

siphash1

• The Bucket Becomes the Queue

sketches5

• The Counter Only Remembers the Exponent
• The Quantile Keeps Five Markers
• p95 Needs Its Crowd
• Similar Pages Should Share a Lottery Ticket
• Counting Without Names

sketching1

• Ask the Matrix Where It Echoes

skip-list1

• The List Grows Towers

smawk1

• The Minima March Right

snapshot-isolation1

• Two Clean Snapshots Can Break the World

snapshots1

• The Vacuum Has a Horizon

sobol-indices1

• Move Two Knobs Or Miss The Model

soft-bellman1

• The Max Has a Temperature

soft-q-learning1

• The Max Has a Temperature

softmax1

• Matrices Were Never Required

software-engineering28

• The Isolation Boundary Needs Consent
• The Request Carries Its Context
• The Cookie Has a Site Boundary
• The Script Has a Guest List
• The Code Needs a Proof
• CORS Is Not a Firewall
• The Cache Entry Needs a Witness
• The Bucket Has a Clock
• The Diff Keeps a Furthest Frontier
• The Old Code Still Had a Switch
• The Cursor Needs an Address
• The Dictionary Has Failure Links
• The Map Becomes a String
• The Delta Is the Query
• One Shadow Is Enough
• The Checksum Is a Polynomial Remainder
• The Plan Is a Row-Count Forecast
• The Event Loop Is a Queue
• The Username Is Not a String
• The Failing Test Case Shrinks by Asking Halves
• Games Guess the Past
• Patterns Can Hide Search Trees
• Blurry Interpreters Live in Your Compiler
• Stores Can Save Live Objects
• Two Clean Snapshots Can Break the World
• Hash Tables Are Fast Until the Tail Arrives
• Formulas Can Lie to the Computer
• Second Tries Are Still Traffic

software-security1

• The Page Is Not a Developer

solvers1

• Fixed Points Remember Mistakes

sorting1

• The Run Stack Remembers the Order

space-filling-curves1

• The Map Becomes a String

space-saving1

• The Smallest Counter Takes the Blame

spaced-repetition1

• Review Queues Spend Memory

sparse-autoencoders1

• Models Overbook Feature Space

spatial-indexing1

• The Map Becomes a String

spectral-clustering1

• The Cut Has a Denominator

spectral-leakage1

• The Bin Is a Filter

spectre1

• The Bounds Check Was Not a Boundary

spectrum-estimation1

• The Bin Is a Filter

speculative-decoding2

• Small Models Can Be Scouts
• Draft Tokens Have to Earn Their Keep

speculative-execution2

• The Bounds Check Was Not a Boundary
• CPUs Have to Guess Right Now

speed-accuracy1

• Buttons Make Promises to Hands

spilling1

• The Hash Join Gets a Spillway

splay-trees1

• The Tree Rotates Toward Reuse

sprt1

• The Likelihood Ratio Is a Running Score

sql1

• At 3 AM, Ask the Cache

stability1

• Eigenvalues Are Not Weather

stable-sort1

• The Run Stack Remembers the Order

stale-while-revalidate1

• The Cache Entry Needs a Witness

state-space-models3

• The Memory Chooses Its Decay
• Sometimes the Posterior Needs a Crowd
• How Far Should a Noisy Sensor Move You?

static-analysis2

• The Query Remembers Only New Facts
• Blurry Interpreters Live in Your Compiler

static-arbitrage1

• Smiles Pay in Butterflies

static-filters1

• The Filter Peels Before It Answers

static-single-assignment1

• Every Path Has a Gatekeeper

statistical-physics4

• Normalizers Hide in the Path
• Critical Points Remember
• Momentum Loans for the Posterior
• Cliffs Live at Infinity

statistics42

• The Queue Has an Area
• The Estimate Has Two Receipts
• The Discovery Budget Has a Clock
• The Mean Needs a Firebreak
• The Error Bar Is Curvature
• The Feature Has a Shadow Twin
• The Alarm Has a Run Length
• The Graph Is an Equivalence Class
• The Collider Opens When You Look
• The Tree Gets More Lottery Tickets
• Move Two Knobs Or Miss The Model
• The Path Is Not Its Marginals
• The Average Arrives Late
• The Counterfactual Is a Portfolio
• The Motif Is a Nearest Neighbor
• The Line Has a Breakdown Point
• The Kernel Decides What a Difference Is
• The Front Door Opens Through the Middle
• The Likelihood Ratio Is a Running Score
• The Watermark Is a Tail Test
• Discoveries Need a Denominator
• Epsilon Is Not a Purse
• Prediction Is a Witness, Not a Lever
• Pager Starts Drumming
• Crash Risk Lives in the Corner
• Ladders Need Error Bars
• Experiments Hide in the Residuals
• Averages Lose Innocence in 3-D
• Averages Mix Before They Judge
• Who Leaves the Curve?
• Button Presses Carry Clocks
• Fuzzy Joins Write Facts
• Witnesses Are Not Cameras
• Dashboards Can Change the Experiment
• Straight Lines That Lie Politely
• Which Zero-Error Model Did You Get?
• Coverage Comes With Fine Print
• Metrics Become Control Surfaces
• Thirty-Two Tries Can Be One Mistake
• Trust First, Then Size the Bet
• At 3 AM, Ask the Cache
• Notes With the Wires Left Out

stevens-power-law1

• The Ruler Is a Ratio

stochastic-approximation1

• The Average Arrives Late

stochastic-beam-search1

• Give Every Candidate a Clock

stochastic-classifiers1

• The Posterior Pays Rent

stochastic-differential-equations1

• Waiting for the Wrong Fluctuation

stochastic-gradient-descent1

• The Average Arrives Late

stochastic-processes1

• Pager Starts Drumming

stochastic-rounding1

• The Rounder Is the Turnstile

stochastic-simulation1

• Next Reaction Wins the Race

storage-engines4

• The Page Split Climbs Toward the Root
• The Vacuum Has a Horizon
• The Page Must Not Outrun the Log
• Memtables Borrow From Tomorrow

storage-systems2

• The Checksum Is a Polynomial Remainder
• Missing Shards Are Equations

stream-compaction1

• The Prefix Sum Is an Address Machine

stream-processing1

• The Watermark Is a Promise About the Past

streaming-algorithms6

• The Counter Only Remembers the Exponent
• The Smallest Counter Takes the Blame
• Sketches Shrink Every Direction
• p95 Needs Its Crowd
• Collisions Keep the Receipts
• Counting Without Names

streaming-statistics1

• The Quantile Keeps Five Markers

streaming-systems1

• The Delta Is the Query

string-matching2

• The Dictionary Has Failure Links
• Search That Refuses to Reread

string-search1

• Last Column Knows Where to Search

strongly-connected-components1

• The Stack Knows Which Cycle Closed

succinct-data-structures3

• The Posting List Splits Its Bits
• The Alphabet Splits Into Bits
• The Tree Fits in the Parentheses

sudoku1

• The Puzzle Chooses Its Tightest Column

suffix-array1

• Last Column Knows Where to Search

summation1

• The Sum Has a Schedule

superposition1

• Models Overbook Feature Space

survey-sampling1

• The Weight Is a Receipt for Being Missed

survival-analysis2

• Denominators Can Learn the Future
• Who Leaves the Curve?

symbolic-algorithms1

• The Variable Order Is the Algorithm

symplectic-integration1

• Momentum Loans for the Posterior

synthetic-control1

• The Counterfactual Is a Portfolio

synthetic-data1

• Models Forget the Weird Stuff First

systems8

• The Queue Has an Area
• The Write Did Not Happen Everywhere
• Cuckoo Hashing Fails as a Graph
• Case File: The Heap Was Not Full
• Memtables Borrow From Tomorrow
• CPUs Have to Guess Right Now
• Every Eviction Is a Prediction
• Bit Arrays That Only Say Maybe

systems-biology1

• Next Reaction Wins the Race

tail-dependence1

• Crash Risk Lives in the Corner

tail-latency2

• Ask Two Queues, Not the Whole Fleet
• Second Tries Are Still Traffic

target-trial-emulation1

• Denominators Can Learn the Future

tarjan1

• The Stack Knows Which Cycle Closed

tcp2

• The Timeout Is Not a Stopwatch
• When the Queue Answers Too Late

temporal-difference-learning1

• Prediction Errors Leave Footprints

temporal-logic1

• The Counterexample Needs a Loop

tendermint1

• Two Thirds Is Not a Vibe

term-rewriting1

• Keep the Rewrite Around Until the End

test-reduction1

• The Failing Test Case Shrinks by Asking Halves

test-time-compute1

• Thirty-Two Tries Can Be One Mistake

testing1

• The Instant Has to Fit Inside the Call

text-search1

• The Dictionary Has Failure Links

texture-filtering1

• The Texture Needs a Smaller Copy

theil-sen1

• The Line Has a Breakdown Point

throughput1

• Buttons Make Promises to Hands

tilemaps1

• Every Tile Starts as a Maybe

time-series4

• The Motif Is a Nearest Neighbor
• Prediction Is a Witness, Not a Lever
• Folds Remember Label Windows
• How Far Should a Noisy Sensor Move You?

time-varying-treatment1

• Denominators Can Learn the Future

timekeeping1

• Stopwatches Are Not Calendars

timeouts3

• The Random Timeout Is a Vote Spacer
• Stopwatches Are Not Calendars
• Second Tries Are Still Traffic

timsort1

• The Run Stack Remembers the Order

tls-131

• The Transcript Is a Key Input

token-bucket1

• The Bucket Has a Clock

tokenization1

• The Tokenizer Comes With a Phrasebook

tokenizer-free-models1

• The Tokenizer Comes With a Phrasebook

tool-use1

• The Page Is Not a Developer

top-k1

• The Smallest Counter Takes the Blame

topological-data-analysis1

• Holes Have to Persist

topological-sort1

• The Ready Queue Is a Proof

trace-estimation1

• Ask Random Vectors for the Trace

traffic-shaping1

• The Bucket Has a Clock

train-eval-mismatch1

• Your Example Brought Its Neighbors

training-data1

• Next FLOP Has to Choose

transaction-costs1

• The Hedge Is a Variance Meter

transactions1

• The Page Must Not Outrun the Log

transcript-hash1

• The Transcript Is a Key Input

transformers10

• The Memory Chooses Its Decay
• The Cache Forgets the Middle
• Heatmaps Are Not Circuits
• Every Token Gets a Clock Hand
• Small Models Can Be Scouts
• Matrices Were Never Required
• Context Windows Have Rent Due
• Every Expert Has a Line Outside
• Draft Tokens Have to Earn Their Keep
• Build a Copy Machine You Can See

transient-growth1

• Eigenvalues Are Not Weather

transparency-logs1

• Bring the Receipt, Not the Whole Log

transposition-tables1

• Game Trees Tell the Wrong Story

trees1

• The Tree Fits in the Parentheses

tri-color-marking1

• Stores Can Save Live Objects

tries1

• The Dictionary Has Failure Links

trueskill1

• Ladders Need Error Bars

truetime1

• Leases Expire; Writes Do Not

turing-patterns1

• Smoothing Drew the Spots

two-sample-testing1

• The Kernel Decides What a Difference Is

type-inference1

• The Type Checker Finds the Most General Shape

type-systems2

• The Type Checker Finds the Most General Shape
• Blurry Interpreters Live in Your Compiler

ui1

• The Edge Pixel Is a Contract

uncertainty3

• Bootstrap the Assumption, Not the Wish
• Do Not Trust a Naked ECE
• Coverage Comes With Fine Print

uncertainty-quantification1

• Move Two Knobs Or Miss The Model

unicode1

• The Username Is Not a String

unification1

• The Type Checker Finds the Most General Shape

union-find2

• The Parent Pointer Learns a Shortcut
• Cliffs Live at Infinity

unseen-species1

• The Singleton Points Beyond the Sample

uplift-modeling1

• Do Not Spend the Budget on the Already Good

vacuum1

• The Vacuum Has a Horizon

value-iteration1

• Good Reward Hints Cancel on the Loop

value-of-information1

• Saying No Needs a Price List

variable-selection-bias1

• The Tree Gets More Lottery Tickets

variance1

• Formulas Can Lie to the Computer

variance-decomposition1

• Move Two Knobs Or Miss The Model

variance-reduction3

• The Baseline Is a Control Variate
• Pixels Can Keep One Light
• Yesterday Can Tighten an A/B Test

vector-autoregression1

• Prediction Is a Witness, Not a Lever

vector-clocks1

• Clocks Can Say Concurrent

vector-search2

• The Distance Table Replaces the Vector
• Nearest Neighbor Search Needs Roads

vector-symbolic-architectures1

• The Record Has No Fields

verification2

• The Variable Order Is the Algorithm
• Thirty-Two Tries Can Be One Mistake

vicsek-model1

• Flocking Is an Order Parameter

vietoris-rips1

• Holes Have to Persist

visual-search1

• Rare Targets Teach You to Quit

visualization11

• The Quantile Keeps Five Markers
• The Line Carries an Error Ledger
• The Stack Knows Which Cycle Closed
• The Matching Arrives in Waves
• The Diff Keeps a Furthest Frontier
• The Puzzle Chooses Its Tightest Column
• The Diameter Waits For An Antipode
• The Cell Has Two Diagonals
• The Image Pays One Pixel at a Time
• The List Grows Towers
• The Pixel Is an Expectation

viterbi1

• The Path Is Not Its Marginals

volatility1

• The Hedge Is a Variance Meter

volatility-targeting1

• Risk Dials Have Delays

wasserstein1

• Matching, but With Soft Edges

watched-literals1

• Let the Clause Sleep

watermarking1

• The Watermark Is a Tail Test

watermarks1

• The Watermark Is a Promise About the Past

wave-function-collapse1

• Every Tile Starts as a Maybe

wavelet-tree1

• The Alphabet Splits Into Bits

weak-instruments1

• Ask Who the Instrument Moved

weak-memory1

• The Write Did Not Happen Everywhere

web-performance1

• The Cache Entry Needs a Witness

web-search1

• PageRank Reenters Through the Side Door

web-security6

• The Isolation Boundary Needs Consent
• The Request Carries Its Context
• The Cookie Has a Site Boundary
• The Script Has a Guest List
• The Code Needs a Proof
• CORS Is Not a Firewall

weber-law1

• The Ruler Is a Ratio

weisfeiler-leman1

• The Graph Forgets the Triangles

welford1

• Formulas Can Lie to the Computer

window-functions1

• The Bin Is a Filter

winners-curse1

• Winning Can Be Bad News

wolff-algorithm1

• Critical Points Remember

working-set2

• The Tree Rotates Toward Reuse
• Every Eviction Is a Prediction

write-ahead-log1

• The Page Must Not Outrun the Log

write-barriers1

• Stores Can Save Live Objects

writing1

• Notes With the Wires Left Out

x86-tso1

• The Write Did Not Happen Everywhere

xor-filters1

• The Filter Peels Before It Answers

xor-metric1

• The Distance Is an XOR Shadow

xss1

• The Script Has a Guest List

yield-curve1

• The Curve Moves in Three Shadows

z-order1

• The Map Becomes a String

zero-knowledge1

• One Transcript Can Be Fake

zobrist-hashing1

• Game Trees Tell the Wrong Story

zone-maps1

• The Row Group Keeps a Bounding Box