Getting a vague memory
I haven't had cable television for something like ten years, but now that you mention it, I do have a distant memory of the series being mentioned somewhere.
"Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Knuth