formal proof?

[noisesmith]

the spec claims that the program is bug free, and surely the smallness of the program is an argument in that favor

but beyond hippy bullshit like "it's a choice of something rather than nothing", how about a proof?

the work of Doctor Chuck Tingle is likely relevant here

[noisesmith]

am I off my gourd if I suggest "what would Andy Kauffman do" is also relevant here? am I just imagining that connection?

[noisesmith]

what if something was shaped like "goatse" or "duckroll" or "rickroll" but instead it was just this program? I think considering the implications of that decision might be a building block for this proof