Get the latest tech news

Formalizing US Tax Code (Using Lean)

Identifying novel loopholes in the tax code via formal search.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of tax code

tax code

Related news:

The time bomb in the tax code that's fueling mass tech layoffs

Why do airlines charge so much for checked bags? The tax code

« Nvidia privately confirmed it could track chips to fight smuggling, even as industry publicly questioned feasibility

By The Way: Headlines You May Have Missed »