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.).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.Here is my own feeble demonstration of the idea: https://www.nayuki.io/page/a-math-programming-view-of-canada...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.