Post #1460843
2025-12-26 21:03 UTC
@cwg1231 @deliverator Even then, software is math. Beyond tested reliability, software can be *provably correct*.
Replies (1)
-
@cwg1231@defcon.social 2025-12-27 23:29
@bob_zim @deliverator true. I haven’t played around with any of those cool formally verifiable languages yet, so I wasn’t comfortable asserting that they’re practical for industry use.