Mastodawn

you know, in spite of how much I like rust the language, I’m really starting to feel like it’s yet another software community whose loudest voices really don’t want me using their software https://chaosfem.tw/@Athena/116578993491995353

Athena (@[email protected])

tell me you’re a coward without telling me > No comment on this PR may mention the following topics: > Long-term social or economic impact of LLMs > The environmental impact of LLMs > Anything to do with the copyright status of LLM output Moral judgements about people who use LLMs > We have asked the moderation team to help us enforce these rules. https://github.com/rust-lang/rust-forge/pull/1040

Chaosfem

Show thread

[object Object]3d ago

rust and automated theorem provers like lean are both good gets for the AI ghouls, and they’ve been going after those communities aggressively

the idea is you can have the machine slop out rust code or a proof again and again until it compiles, then it must work

of course anyone who’s actually worked with these languages understands that it’s very easy to make a broken program with vacuous types or proofs attached

for recent proof, see anthropic’s hilariously wrong rewrite of Bun into rust

Show thread

[object Object]3d ago

there’s no reason why brute forcing a proof or type system would lead to a good, working program but that’s the idea that’s for sale, and they don’t care how many communities they have to ruin if selling the idea makes them a bunch of money

Show thread

Lady Errant

@zzt They want a language where its impossible to do anything wrong and therefore their LLMs can generate code and they can sell it as the perfect code generator. They literally want whats in that Babbage quote. A computer that, given the wrong inputs, produces the "correct" output.