written by James Somers. added over 1 year ago by @icyflame ARCHIVES

technology coding complexity model-based-design TLA+ apocalypse    

Software is different. Just by editing the text in a file somewhere, the same hunk of silicon can become an autopilot or an inventory-control system. This flexibility is software’s miracle, and its curse. Because it can be changed cheaply, software is constantly changed; and because it’s unmoored from anything physical—a program that is a thousand times more complex than another takes up the same actual space—it tends to grow without bound. “The problem,” Leveson wrote in a book, “is that we are attempting to build systems that are beyond our ability to intellectually manage.”

Cutouts is an open source application. Code licensed under the MIT license. Copyright 2018 Siddharth Kannan