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)

mirrorbird (11:57:27)
you proved it wasn't worth it

zoi (11:53:23)
maybe opening bridge logic with traffic lights and shit

zoi (11:52:33)
and that kind of proving correctness of programs is usually quite limited to maybe the autopilot of planes or elevator logic or stuff like that

d_vibe (11:43:16)
Aha

zoi (11:41:42)
no, I don't think it ever caught on. My university had some big EU grant to work on it, so we did.

d_vibe (11:39:20)
Never heard of Event-B

Remark Music

WAVE (Jeroen Tel)

arneex

Time Left: 2:03