Hacker News new | ask | show | jobs
by sdfhbdf 1373 days ago
Maybe there is more to it but isn’t that just a wordplay wherein sound means both what music creates and a word signifying something making sense? Or so you mean something related to the supply?
1 comments

Yes, there is more to it. "Soundness" is a specific term in computer science regarding a program being unable to end up in a invalid state. Usually used in type systems to describe a type system that makes your program unable to be "wrong".

The idea of "soundness" is based on this seminal paper: https://courses.engr.illinois.edu/cs421/sp2013/project/milne...