Skip to content

Preservation wing

The Hall of Internet
Greatness

A personal archive of things I think are worth preserving. Some of these are profound. Some are technically brilliant. Some are historically important. Some are wonderfully silly. All of them are worth keeping.

This is the separate wing of the site: not just math or software, but classic videos, strange artifacts, beautiful tools, and things that would make the internet worse if they disappeared. If something here vanishes from the public web, I want there to be at least one more pointer, note, or copy somewhere.

Notes, citations, and small ceremonial flourishes included.

Archives & Preservation

2 entries

Back to top

The Grand Permanence Medal

For doing more than almost anyone else to ensure the web does not dissolve into rumor.

FeaturedArchives & Preservation

Internet Archive / Wayback Machine

The single most important institutional memory system on the public web: 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.

FeaturedVideoArchives & Preservation

The Original Crichton Leprechaun News Story

An immortal local-news segment from Mobile, Alabama that became one of the early web's great viral videos.

Research & Reference

2 entries

Back to top

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.

FeaturedResearch & Reference

OEIS — The On-Line Encyclopedia of Integer Sequences

A monumental reference work for integer sequences: part encyclopedia, part mathematical commons, part search engine for pattern recognition.

The Order of Severe Benchmarks

For funding one of the internet's purest examples of turning a philosophical argument into a file-size contest.

Research & Reference

The Hutter Prize

An aggressively old-school prize site that treats better compression of Wikipedia as a measurable path toward machine intelligence.

Personal Sites

1 entry

Back to top

The Grand Archive Laurels

For lifetime achievement in public weirdness, mathematical density, and internet maximalism.

FeaturedPersonal Sites

mrob.com — Robert Munafo's Website

A sprawling personal site covering mathematics, large numbers, fractals, cellular automata, and more. The kind of website that used to be common and should still be.

Math & Formalism

2 entries

Back to top

The Order of Inverse Sorcery

For creating a program that feels impossible, useful, and slightly illegal.

FeaturedMath & Formalism

RIES — Robert Munafo's Inverse Equation Solver

The original RIES program by Robert P. Munafo. Given a real number, finds simple algebraic equations that have that number as a solution.

The Iron Formalist Medal

For proving that a theorem prover can also be a serious programming language.

Math & Formalism

Lean 4

Functional programming language and interactive theorem prover. The best current tool for formal mathematics that is also a real programming language.

The hall is still being stocked.