Did anybody notice the Anthropic article the other day chatting bollocks about 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.
I'm so fucking tired of this stupid crap 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.
@jsbarretto@social.coop
The age of performative (derogatory) computation be upon us! A flash of the lights, a seemingly deep analysis. All information is a product now. Reasoning is sold in small cubes, with deli meat quality. Vendors trade these facts like if they were gods. They are not concerned with doing things right (in any sense). They did the thing, so it can be marketed for more money to do the thing again until the whole world collapses.