It was a fun surprise to see this story on the front page of this morning's Financial Times. It's very unusual in my experience for this sort of thing to be picked up by the mainstream media before it's on HN or similar. I wonder how the FT reporter came across the story.
"Lone coder" here. I reached out to Ollie (the FT reporter) because he'd written a book (Seven Games) about computers and games, so I thought the Boggle story might interest him. It did!
Nice work! I love an "impossible" problem that falls to bounding estimates like this one does. There was a surprisingly lot of work done in protein folding that had similar sorts of techniques to eliminate structures that would either never happen or would self destruct if they did kinds of things.
Thanks. What's particularly embarrassing is that I found that submission this morning, and read the comments on it, and then somehow forgot about its existence until you reminded me of it just now.