https://www.hillelwayne.com/tags/opinion/ Recent content in Opinion on Hillel Wayne Hugo -- gohugo.io en-us Wed, 28 Oct 2020 00:00:00 +0000 https://www.hillelwayne.com/post/flossing/ Wed, 28 Oct 2020 00:00:00 +0000 https://www.hillelwayne.com/post/flossing/ My work brings me though a lot of software correctness techniques, things like type theory, test-driven development (TDD), and formal methods. The surrounding communities all have the same problem: they can’t get people using these techniques. They all ask “Don’t people care about correct software?” To which the insiders usually answer “programmers don’t care about correctness, they just care about shoveling out garbage to make money!” I’ve heard this from every single community I’ve explored, many of which are in direct conflict with each other.