Paper Diagrams Are Maps, Not Proof Certificates
Dependency diagrams can make mathematical papers easier to navigate, provided their inferred structure is not mistaken for verified proof evidence.
Mathematics
Structures, quantities, proofs, and mathematical methods considered in their own right.
4 published materials across notes, projects, and publications.
Primary in this field
Work whose central question belongs to Mathematics.
Cross-field connections
Work centred elsewhere that materially uses or informs Mathematics.
Coding Agents Work Best When Verification Is Cheaper Than Reimplementation
Terence Tao's restored mathematical applets show where coding agents have real leverage—tasks whose outputs remain cheap for an expert to verify.
Property-Based Testing Starts with the Property, Not the Generator
Property-based testing is more than randomized input generation; its value depends on the property, distribution, oracle, shrinking, and evidence.
Introducing MetronForge: An Independent Research Notebook
MetronForge is an independent research notebook for engineering observations, computational experiments, projects, and formal publications.