[luckystarr]

I tried the way they used "oracles" to verify their implementation against known good ones, and I must say: this works.

Not all implementations are re-implementations, so this approach won't work for everything. But for a new implementation in a new programming language than the original implementation, it works great. Built myself a MIB compiler, checked against smidump. Now it is more correct than the original, because smidump still crashes on some inputs, while mine does not.

So the news is not so much that Anthropic built a C compiler, but HOW.