fromLuke Plant's home page
2 days agoBreaking "provably correct" Leftpad
I'll pick a few, simple, perfectly ordinary inputs at random, and work out what I think the output should be. This is a pretty trivial problem so I'm expecting that all the implementations will match my output. [narrator: He is is expecting no such thing] I'm also expecting that, even if for some reason I've made a mistake, all the implementations will at least match each other. [narrator: More lies] They've all been proved correct, right?