213 karma · joined November 10, 2020
That said, my favorite verified software packages are seL4 (https://sel4.systems) and the CompCert C Compiler (https://compcert.org/compcert-C.html).
For tax year 2017 (a pretty typical year), there were over 5000 Federal/state forms/interview scripts to be updated. This requires a seasonal army of tax accountant/developers to update the app "content." It's not uncommon for providers to be updating forms/interviews well into March (when filing opens in January).
Source: worked for a Turbotax competitor
What does it take to be left alone? What does a person have to say/do for it to be taken as anything but an invitation to search for them?
It looks like life after editors, fact checkers, and company lawyers is treating him well.