Living with the surveillance state

Yeah, maybe I, as a purported software engineer, should learn more about this arena. When I last looked it seemed like a very large amount of effort for a fairly narrow improvement in reliability.

Of course we also put a lot of time and effort trying to make our code coverity-clean, and that seems to be also a fairly narrow band of improvement. I guess I suspect that for hundreds of thousands of lines of code that trying to make a provably correct model isn't likely to be worth the effort.