Topic

math

5 site entries connected to this topic.

Projects

Builds and systems carrying this tag

View all →

ries-rs

Active

A reference implementation of RIES that ships as a CLI, Rust library, Python bindings, and a browser/WASM app.

rust wasm math number-theory cli

GitHub ↗ Live App

Writing

Notes and essays tied to this tag

View all →

Building ries-rs: A Rust rewrite of the inverse equation solver

Why I rewrote a 25-year-old C program in Rust, what I learned about expression enumeration, and how WASM made the web version possible.

March 15, 2026

rust wasm math ries

Hall

Hall entries that share this topic

View all →

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.

Read entry → Visit source ↗

math reference number-theory public-knowledge search

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.

Read entry → Visit source ↗

math fractals web-history

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.

Read entry → Visit source ↗

lean4 theorem-proving formal-verification math