News for hackers. Stuff that matters.

A comment on The IRS Tried to Take on the Ultrawealthy – It Didn’t Go Well. Parent comment

Re:The IRS Tried to Take on the Ultrawealthy – It Didn’t Go ... by colanderman on Friday April 05, 2019 @03:50PM (#19586341)
We haven't even solved the problem of ensuring that implementations match requirements, or even that requirements are non-conflicting, for purely logical systems such as software. How would you propose to do so for the tax code, beside drastically simplifying it?
[ Parent | on HN ]
Re:The IRS Tried to Take on the Ultrawealthy – It Didn’t Go ... by paulddraper on Friday April 05, 2019 @04:05PM (#19586480)
So if it can't be perfectly exact, we better not even try?

Tax codes (or other laws) don't need to be executed by a computer. They need to be executed by an accountant/auditor/judge. So you can rely on well-defined but still human concepts like "security", "place of residence", "child care", "employment", "property improvement", "dependent", "exchange of goods", etc.

Just because it can't be fully specified in x86 doesn't having a clearly defined tax code is an absurd idea.

[ Parent | on HN ]