Show HN: A proof-of-concept formalization of the IRS federal tax forms
By RGS1811 · 2026-10-28 · 3 points · 0 comments
https://github.com/emmilco/us-tax-model
The linked repo is 100% vibe coded, but it was built on a handful of principles: - Most tax software derives trust from the party who maintains it (e.g. Intuit, the IRS, etc.) - Vibe coded software lacks this trustworthiness. - Therefore any formalization should build in verifia…
Open the full discussion on BetterNews