A Modern Compiler for the French Tax Code (2020)
I wish the state officially makes their income tax calculation available as machine-executable open-source software in an industry-standard language. For example, a Python function that takes a dictionary of inputs (gross income, number of dependents, capital gains, etc.) and produces a dictionary of outputs (federal tax, state tax, rebates, contribution limits, etc.).<p>This would solve many problems: The verbosity and ambiguity of human language (tax laws, tax calculation forms in English), the ability to inspect and independently verify calculations done by the state, the rent-seeking tax preparation software companies.<p>Here is my own feeble demonstration of the idea: <a href="https://www.nayuki.io/page/a-math-programming-view-of-canada-gst-hst-credit-calculation" rel="nofollow">https://www.nayuki.io/page/a-math-programming-view-of-canada...</a><p>Even if the state has its own online portal for you to review and adjust your tax return, I still want to see the full tax code be open source and runnable by the user.