[kundor]

The part that's from π is the actual pixel data, which is extracted in the Python snippet "waldo.tobytes()". More-or-less equivalently, you could use "list(waldo.getdata())".

The GIF file as stored on disk has extra headers, and the pixel data's been compressed. So the whole file isn't found in the digits of π, just the pixel data itself.

I'd guess the chance of actually finding a correctly formatted full GIF file in contiguous bytes of π is effectively nil.

[ehsankia]

I see, I did find it slightly suspicious that they loaded the file using Image.open instead of just reading the bytes directly. Thanks!