Preservation wing
The Hall of Internet
Greatness
A personal archive of public-web artifacts, references, tools, and oddities. Some are profound. Some are technically brilliant. Some are historically important. Some are wonderfully silly.
This is the preservation wing of the site: classic videos, strange artifacts, beautiful tools, and pages that would leave a visible hole if they disappeared. If something here vanishes from the public web, I want one more pointer, note, or copy to exist somewhere.
Notes, citations, and small ceremonial flourishes included.
Featured
Internet Archive / Wayback Machine
The public web's memory layer: a vast archive of pages, media, software, and vanished internet history.
Featured
The Original Crichton Leprechaun News Story
A local-news segment from Mobile, Alabama that escaped its broadcast context and became early web folklore.
Featured
OEIS — The On-Line Encyclopedia of Integer Sequences
A monumental reference for integer sequences: part encyclopedia, part mathematical commons, part pattern-recognition engine.
Sections
7 entries across 4 categories.
Archives & Preservation
2 entries
The Grand Permanence Medal
For doing more than almost anyone else to ensure the web does not dissolve into rumor.
Internet Archive / Wayback Machine
The public web's memory layer: a vast archive of pages, media, software, and vanished internet history.
The Order of Regional Broadcast Immortality
For preserving the exact moment local news crossed into permanent internet myth.
The Original Crichton Leprechaun News Story
A local-news segment from Mobile, Alabama that escaped its broadcast context and became early web folklore.
Research & Reference
2 entries
The Order of Mathematical Public Service
For making it possible to look at a strange sequence of integers and ask the internet what universe it belongs to.
OEIS — The On-Line Encyclopedia of Integer Sequences
A monumental reference for integer sequences: part encyclopedia, part mathematical commons, part pattern-recognition engine.
The Order of Severe Benchmarks
For funding one of the internet's purest examples of turning a philosophical argument into a file-size contest.
The Hutter Prize
An old-school prize site that treats better compression of Wikipedia as a measurable path toward machine intelligence.
Personal Sites
1 entry
The Grand Archive Laurels
For lifetime achievement in public weirdness, mathematical density, and internet maximalism.
mrob.com — Robert Munafo's Website
A sprawling personal archive of mathematics, large numbers, fractals, cellular automata, and adjacent curiosities.
Math & Formalism
2 entries
The Order of Inverse Sorcery
For creating a program that feels impossible, useful, and slightly illegal.
RIES — Robert Munafo's Inverse Equation Solver
Robert P. Munafo's original inverse equation solver: give it a number, get algebraic equations that explain it.
The Iron Formalist Medal
For proving that a theorem prover can also be a serious programming language.
Lean 4
A functional programming language and interactive theorem prover where formal mathematics and real software share one toolchain.
The hall is still being stocked.