Have fun keeping this up to date. It's an admirable idea, but the tax forms and rules change significantly every year. I built a payroll system for a suite of small and medium sized businesses back in the day. Even during a stable administration the rules are impossible to keep up with. We had a team of engineers who every year had to spend weeks to months trying to keep it up to date and verify the numbers. It's why my accountant makes $400/hr and why there are no open source projects that have ever taken hold in the market.
> Most tax software derives trust from the party who maintains it (e.g. Intuit, the IRS, etc.)
It's also something that can be made more achievable by pruning coverage to the most common tax situations. E.g. my target coverage for this project is 80% of federal filers, individuals only. This is a lot more achievable than achieving coverage for all individuals plus businesses, etc.
Why? These rules are written down somewhere. Looks like the spec was created by pointing the model at irs.gov and/or the Federal Register itself and telling it something like, "Create a specification for a verifiable tax model and the tools to verify it."
Next year, all the maintainer has to do is issue the same prompt, no?
Have fun keeping this up to date. It's an admirable idea, but the tax forms and rules change significantly every year. I built a payroll system for a suite of small and medium sized businesses back in the day. Even during a stable administration the rules are impossible to keep up with. We had a team of engineers who every year had to spend weeks to months trying to keep it up to date and verify the numbers. It's why my accountant makes $400/hr and why there are no open source projects that have ever taken hold in the market.
> Most tax software derives trust from the party who maintains it (e.g. Intuit, the IRS, etc.)
Because they have the resources to keep it up to date. And even they get it wrong sometimes. Including the IRS itself: https://www.irs.gov/e-file-providers/known-issues-and-soluti...
This seems like something that once would've been hard / impractical but with some proper AI agents it could easily be automated, no?
That's the dream!
It's also something that can be made more achievable by pruning coverage to the most common tax situations. E.g. my target coverage for this project is 80% of federal filers, individuals only. This is a lot more achievable than achieving coverage for all individuals plus businesses, etc.
> That's the dream!
I hope your joking.
Have fun keeping this up to date.
Why? These rules are written down somewhere. Looks like the spec was created by pointing the model at irs.gov and/or the Federal Register itself and telling it something like, "Create a specification for a verifiable tax model and the tools to verify it."
Next year, all the maintainer has to do is issue the same prompt, no?
Author here: if you want a detailed overview of the project, the spec is better than the (claude-authored) README file:
https://github.com/emmilco/us-tax-model/blob/main/spec/spec....
Recent and related: https://news.ycombinator.com/item?id=50278497