Maxwell Santoro

I build formal systems,
Rust tools, and software from first principles.

I'm an independent researcher and engineer in Brooklyn. Current work includes ries-rs, an inverse equation solver that runs in the browser, dotrepo, a repository metadata protocol, and GK5, a Lean 4 verification project.

Try ries-rs View Projects

Featured Projects

Selected work

View all →

dotrepo

Active

A repository metadata protocol and Rust toolchain for making repos easier for humans and agents to understand, trust, and work with.

rust protocol metadata

ries-rs

Active

A modern Rust implementation of RIES — the inverse equation solver. Given a number, it finds algebraic equations that produce it. CLI, Python bindings, and a browser-based WASM interface.

rust wasm math

repo ↗ ▸ live demo

Genesis Kernel (GK5)

In Progress

A Lean 4 project testing whether mathematical and physical structure can be derived from a minimal discrete starting point.

lean4 formal-verification physics

RamenOS

In Progress

A capability-based Rust microkernel exploring a post-Unix system built around typed contracts, user-space drivers, and explicit authority boundaries.

rust os systems

Writing

Essays, technical notes, and project writeups

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

The Hall of Internet Greatness

A personal archive of things I think are worth preserving

Enter the Hall →

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.

Visit ↗

math fractals web-history

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.