thoughtful authors making sure we don't worry about the fuzzer returning an infinite set of bugspic.twitter.com/TFjznCPnan
Show this thread
Great. Now I'll spend the rest of the day thinking about the question if Büchi automata can have a infinite amounts of bugs, or just a infinite amounts of witnesses for finite sets of bugs. What exactly is a bug anyway?
-
-
of course that's a hard question! alas the authors have not addressed it....
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If you had an infinite number of monkeys at an infinite number of computers, would they write an infinite number of bugs?
-
an infinite number of monkeys would eventually (quickly) write a bug-free program: one that doesn't compile
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.