Selected Works
-
On Distributed Communications Networks
RAND's case for distributed mesh routing and "message blocks" — the survivability argument packet switching was built on.
-
Bitcoin: A Peer-to-Peer Electronic Cash System
Nine pages on using a proof-of-work chain to order transactions without a trusted third party.
-
Nikola Tesla Files, Part 3
The Bureau's file on the custody and review of Tesla's papers following his death in 1943.
-
The TEXTFILES.COM Archive
The written record of the BBS era — phreaking, zines, ANSI art, and the folklore of dial-up culture.
-
Geometric Overpass Extraction from Vector Road Data and DSMs
Working out which roads pass over which, from flat vector road data plus a digital surface model.
-
OMNISEC: LLM-Driven Provenance-based Intrusion Detection
Pointing a language model at system provenance graphs to flag intrusions without hand-written detection rules.
-
The ERTS-1 Investigation (ER-600)
NASA on the first Earth Resources Technology Satellite — the mission later renamed Landsat 1.
-
The Official U.S. Army Illustrated Guide to Edible Wild Plants
Field identification of edible wild plants, illustrated, from the Army's survival curriculum.
-
Los Angeles Air Raid Sirens Archive
A hobbyist's survey of the city's Cold War civil-defense siren network: models, sites, and recordings.
-
Coalition for Content Provenance and Authenticity (C2PA)
The spec for cryptographically signed provenance metadata bound to images, audio, and video.
-
Attention Is All You Need
The Transformer: attention alone, no recurrence, no convolution. Most of the current field descends from this.
-
The Consequences of One's First Programming Language
An early look at how the first language you learn shapes the way you write every language after it.
-
Mamba: Linear-Time Sequence Modeling with Selective State Spaces
Selective state space models — a linear-time architecture that stays competitive with attention at long context.
-
BitChat Protocol Whitepaper
A Bluetooth mesh messaging protocol: no servers, no accounts, no phone numbers.
-
The Concept of the Ruliad
Wolfram's proposed limit object: the entangled result of running every possible computational rule.
-
Project Blue Book (UFO) Files, Part 1
The Bureau's file on the Air Force's long-running UFO investigation.
-
Unison: Combinatorial Register Allocation and Instruction Scheduling
Treating register allocation and instruction scheduling as one combinatorial optimization problem instead of two heuristic passes.
-
Techniques for Program Verification
The thesis behind Simplify — congruence closure and the combination of decision procedures that SMT solvers still lean on.
-
End-to-End Arguments in System Design
Why a function usually belongs at the endpoints of a system rather than in the network beneath it.
-
E-graphs Research Community
The hub for equality saturation — rewriting programs by keeping every equivalent version around at once.
-
An Introduction to Spectral Graph Theory
Reading a graph's structure off the eigenvalues of its adjacency and Laplacian matrices.
-
BLAKE3 Cryptographic Hash Function Specification
A Merkle-tree hash built to be fast and parallel: the spec, the test vectors, and the design rationale.
-
Nested Learning: A New ML Paradigm for Continual Learning
Framing a model as nested optimization problems running at different update rates, aimed at learning without forgetting.
-
Vibe Arcade
A shelf of small browser games, built fast and playable in a tab.
Nothing matches that.