News for hackers. Stuff that matters.
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by foldr on Sunday June 05, 2022 @05:33AM (#31629363)
> it is just that the borrow checker cannot verify the soundness of certain code

And I was just proving examples of such code for someone who asked. Honestly, some Rust folks get so defensive it makes them very prone to misinterpret simple factual statements about Rust as criticism.

Apparently you don’t disagree with any of the factual statements that I’m making. You just have some vague unsubstantiated feeling that I don’t ‘get’ Rust.

Re:Rust Is Hard, Or: The Misery of Mainstream Programming by mumblingdrunk on Sunday June 05, 2022 @03:54PM (#31634287)
I'm not fighting your claim that the borrow checker has perfectly reasonable situations it can't deal with. That's why 'unsafe' exists. I've already said that.

You're adding other claims and statements that make me question if you actually understand the thing you are criticising.

Re:Rust Is Hard, Or: The Misery of Mainstream Programming by foldr on Monday June 06, 2022 @05:13AM (#31638503)
If you'd say what those claims and statements were, then we could have a conversation. It's not conducive to a good discussion to reply just by saying "you're wrong and you don't get it".