Projects
Builds and systems carrying this tag
ries-rs
ActiveA modern Rust RIES implementation with CLI, Python bindings, Rust crate, WebAssembly, and browser app.
Writing
Notes and essays tied to this tag
Making ries-rs 4–21× faster without breaking reproducibility
How I took ries-rs from tens of seconds to a few seconds: profiling first, fixing ranking, then adding turbo.
Building ries-rs: A Rust rewrite of the inverse equation solver
Why I rewrote a 25-year-old C program in Rust, what changed in the search engine, and how WASM made the browser version possible.
Hall
Hall entries that share this topic
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 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.
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.