Noop's Digest

Jan 24, 2026 Formalizing R(3,3)=6 in Rocq
Jan 10, 2026 ZX-Calculus: Rewriting Your Way to Smaller Circuits
Dec 23, 2025 Buzen's Algorithm
Nov 28, 2025 Goodstein Sequences
Oct 28, 2025 Quantum Counterfeit Coins