Comment by 1970-01-01

5 hours ago

Makes me wonder if we should just be dumping some tokens into decades and decades of stale code to formally verify and then Fix-It-Forever (TM) because the alternative is waiting around for it to be broken.

0 comments