Show HN: A proof-of-concept formalization of the IRS federal tax forms
1 comments
- Points10
- Comments2
–Rank now
#18Peak rank
2Days on list
–Score · 7d
Oct 29, 2026First seen
On Hacker News
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 verifiability and mechanisms that make it possible for users/maintainers to trace claims/interpretations back to authoritative source documents. It's very much a back-burner passive project right now (do not use this for…
- Points
- 10
- Comments
- 2
- Submitted by
- RGS1811
- Posted
- Oct 28, 2026
- Site
- github.com
Story details from Hacker News ↗ · linked article on github.com.
Trending history
Show HN: A proof-of-concept formalization of the IRS federal tax forms was first seen on Hacker News · Front page on Oct 29, 2026. Since then it has appeared in 18 checks on 2 different days. Its best position was #18 of 30, reached on Oct 29, 23:07 UTC. It dropped off the list after Oct 30, 00:07 UTC.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
18
19
Oct 26today
Metric history
Platform metric as reported by Hacker News.
From the discussion
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
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
Featured in
Archived daily, weekly and monthly lists that include this entry.
Hacker News 2 days, best #18
Questions
Is Show HN: A proof-of-concept formalization of the IRS federal tax forms trending on Hacker News right now?
Not at the moment. It was last on the list on Oct 30, 00:07 UTC, after 2 days of trending.
What is the highest rank Show HN: A proof-of-concept formalization of the IRS federal tax forms reached?
#18 on Hacker News · Front page, on Oct 29, 23:07 UTC. Trendoday checks this list every 15 minutes.
How long has Show HN: A proof-of-concept formalization of the IRS federal tax forms been trending?
It was first seen on Oct 29, 2026 and has been on the list on 2 days (18 checks) since.
How much discussion did it get on Hacker News?
10 points and 2 comments; submitted by RGS1811 on Oct 28, 2026.