I changed it to https://simonwillison.net/2025/Dec/18/code-proven-to-work/

It's now being discussed here: https://news.ycombinator.com/item?id=46313297