Work
Writing
I optimized the wrong part of ries-rs first
Profiling led me to a ranking bug, then to parallel matching.
Why I rewrote RIES in Rust
Bringing Robert Munafo’s solver to the command line, Python, and the browser.
Hall
OEIS — The On-Line Encyclopedia of Integer Sequences
An encyclopedia of integer sequences, with formulas, programs, comments, and cross-references.
Visit source ↗mrob.com — Robert Munafo's Website
Robert Munafo’s notes and experiments, with plenty of paths from one subject to another.
Visit source ↗Lean 4
A language and toolchain for writing code and checking mathematical proofs.
Visit source ↗