Skip to content

In solemn session

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 literally the dumbest things ever created. All of them, in my expert opinion, 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 it known that I cared enough to keep a copy.

Distinctions, medals, and undying esteem are awarded at the sole whim of the Hall.

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.

Featured Archives & 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.

Featured Video Archives & 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.

Featured Research & 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.

Featured Personal 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.

Featured Math & 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.