zoi (12:58:31)
yes

zoner (12:58:17)
even if there's infinity of them?

zoi (12:58:13)
that's why we need formal methods

zoi (12:57:56)
No. Testing can only prove the presence, not absence of bugs.

zoner (12:48:30)
complete works of shakespear almost drafted

mirrorbird (12:47:28)
cosmic bits are the new, PETA-approved typewriting monkey

zoner (12:42:21)
cosmic ray bit-flips nonwithstanding

zoner (12:41:33)
it'll just be infinity unit tests plz

zoner (12:41:22)
write enough unit tests and you've proven all the things

zoi (12:02:45)

Dark Galactica

Yerzmyey

arneex

Time Left: 5:07