> Their tax system is required to be defined and expressed algorithmically, and they even built a programming language and compiler tool chain to do this.

That's a very interesting fact. Especially in the context of the recent news of the 50 billion euros deficit https://www.cnbc.com/2026/09/24/france-budget-debt-deficit-g...

If their taxes are defined mathematically I would not expect constant mishaps with the budget.