The Statute Says $24,175. The IRS Published $24,150.Title 26, executed. Part 1 of a series: the Internal Revenue Code read as a program, and what it produces compared with what is published. Part 2 applies the 2025 tax law's amendments to the Code. We Oct 22 · 15 min readarxo.hashnode.dev
Law as Function, Law as Data: What Catala and Arxo Compute When They Read the Same RegulationTwo independent formalizations of the same regulation, written in two different languages, agreed on every one of 65 reference cases and 240 randomly generated ones. That result is the starting point Oct 8 · 13 min readarxo.hashnode.dev
What Is Rules as Code, With a Runnable ExampleRules as Code publishes a rule in a form a machine can execute, next to the text a person reads. Here is the definition, where the idea comes from, and a limitation period you can compute yourself. RuOct 8 · 10 min readarxo.hashnode.dev
The Law Has Unit TestsA test of a statute looks like a test of code, with three differences: silence is a passing result, a test can expect a question instead of an answer, and every test carries a date. Here is a test. IfOct 8 · 9 min readarxo.hashnode.dev
