Post #2985135
2026-05-12 02:36 UTC
The trouble we always encounter is, people *also* want the software to *do* something.
No one has figured out how to make software that always does the right thing, never does the wrong thing, and is still useful enough that people want it.
@stilgherrian@eigenmagic.net
Replies (1)
-
@bob_zim@infosec.exchange 2026-05-12 03:16
@bignose@social.chinwag.org @stilgherrian@eigenmagic.net There’s always formal verification, which proves the software does everything in the specification and nothing which isn’t in the specification. At that point, the specification can have issues or limitations, but those aren’t really software bugs.