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.

Categories: Personal Sites · Math Tools · Formal Methods

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.

The Order of Inverse Sorcery

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

Featured Math Tools

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. One of the most underrated tools in computational mathematics.

The Iron Formalist Medal

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

Formal Methods

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.