This reminds me a lot of [EWD539], which was originally written as a parody about how ridiculous it would be if mathematical proofs were developed with the same

This reminds me a lot of [EWD539], which was originally written as a parody about how ridiculous it would be if mathematical proofs were developed with the same kind of processes that were used for software development. At the time, the message is that programs should be developed more like mathematics, but now it seems like the actual vision Dijkstra described is more or less coming to pass. [EWD539]: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD539.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/E...