Top all-time · #15730
Traductions littérales
Personal blog · blog.merigoux.frprogrammingsystems
Traductions littérales is a personal blog at blog.merigoux.fr about programming and systems. Since 2019, 5 different Hacker News readers have linked it 6 times, most often “A mathematical formulation of the tax code?”. The last post was in 2022, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link Denis Merigoux's 2019 post on using formal methods to find discontinuities in the French tax code. Commenters cite it as an example of checking tax law for errors before changes take effect.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Histoires de compilation, thèmes et versions informatiques
Most-linked posts?
- A mathematical formulation of the tax code?3 people · 4 mentions · first linked 2020-10-07
What Hacker News says?
Someone did do this - finding discontinuities in the tax law - using formal methods, for the French tax law: https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.h...
Comment linking /en/2019/12/20/taxes-formal-proofs.html
on “A Modern Compiler for the French Tax Code”Submitted Rust: Beyond the Typechecker as a story · 2 points
HN discussionRelated: Denis Merigoux used formal methods to find discontinuities in the French tax code. This should be a matter of course, done but the OBM for every proposed tax law change. https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.h...
Comment linking /en/2019/12/20/taxes-formal-proofs.html
on “An AI can simulate an economy millions of times to create fairer tax policy”Submitted Building a language that people want as a story · 1 points
HN discussionOne of the most salutary responses to the ambition of bringing "digital transformation" to the legal industry comes from PaulG himself: https://twitter.com/paulg/status/1384422654195683328 > In 2008 I spent a month writing a web-based system for managing all YC's funding documents. With one click you could get an instance of the latest docs, prepopulated with all the startup's info from our database. The lawyers qui…
Comment linking /en/2019/12/20/taxes-formal-proofs.html
on “Legalese – Computational Law”- qb · 2020-11-25
Submitted A mathematical formulation of the tax code? as a story · 1 points
HN discussion