I am apparently a #VLSAL engineer: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1041.html
@shipp you’d have to ask #TheDam but I guess they just have fun doing it, besides, people do pay for stuffs a lot more crazy I’m sure you know 🙃
Is the minimal/flawed C code the best actionable way to tackle their stated problem: “almost every widely-distributed piece of software is a complexity behemoth”? Likely not, but that’s a crucial problem nonetheless. I would rather see them embracing #VLSAL (Very Large Scale Application of Logic) as #EdsgerDijkstra once summarized, but #ComputerScience is still young and not teached as much as it should be, though things are improving on that topic.