Meanwhile, here's something cool

[sniffnoy]

I'm just going to point you to this blog post of Dick Lipton's on computing the binary digits of π. Note that the theorem at the end should of course say "finite irrationality measure", rather than "positive irrationality measure"...