Breaking "provably correct" Leftpad | Dark Hacker News