Did anybody notice the Anthropic article the other day demonstrating instruction-level formal verification of FOSS libraries? I notice that one of the target libs was `simdjson`. Their compilation target was riscv64gc, an instruction set that does not even support SIMD. So, their 'formal verification' skips basically all of the useful functionality provided by the library. Yes, that's right, they spent (presumably?) millions of dollars of tokens proving the memory safety of a fallback JSON parser that was already written in Rust (correction: C++). I'm so tired of this stupid dead cat marketting that falls apart under the most basic of scrutiny. A $1.5 Tn company, apparently, and they can't even be bothered to check that their publications make sense at the most basic level.