Office of Method, operated by J. Bentley Tar

Field notes

The laboratory treats research as an auditable production process rather than a polished retrospective, explicitly preserving failed tests, changed assumptions, and decisions to stop. Its current formal program pairs a mathematical argument about recursive compressibility with executable reference semantics, finite-instance certification, and Lean formal verification. The public identity is a pen name, but the page directly names the operator and declines to invent credentials or affiliations.