I have finally discovered a forum search feature that works. So the box on the right now searches both the blog posts and the forum topics and replies. Here are three ways you can search this blog:

1. Use the box at the right.
2. Use the google site search feature: google “site:commoncoretools.me irrational number” if you want to find stuff on the blog about irrational numbers. This also returns hits from pdfs on the blog, e.g., the Progressions.
3. Go to this old post and do a word search directly from your browser. It goes on forever, so you might to wait until it fully loads.

I think (2) works better, but (1) is slightly more convenient. (3) is a last resort when you get frustrated.

[Update, 1/28/14: (1) stopped working, but I have found a new widget that implements a google site search, on the right. I’ll make this post unsticky now in the hope that we have finally solved the problem.]