On several occasions, I’ve seen some outlandish claim or another on a new piece of software I’ve never heard of, started to roll my eyes, saw that Bellard had written it, and turned back to see what genius thing he’d come up with.

“New Halting Problem solver,” ok, sure buddy, “by Fabrice Bellard”, ok, so tell me how this works…