RE: https://social.coop/@jsbarretto/117530024251221462
Another reminder that 99% of my problems with LLMs are actually problems with capitalism, and at least 80% of those in turn are very specifically problems with Anthropic and OpenAI and how these companies are run and staffed by the worst people in the history of capitalism.
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.
Yes, and xAI too, but even the most fervent AI ultras don't seem to want to go anywhere near Grok. Apparently, everybody can still find a red line somewhere.