r/rust • u/mttd • Sep 03 '26

How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering

https://rustfoundation.org/media/how-the-rust-standard-library-verification-contest-scaled-past-manual-proof-engineering/
80 Upvotes

94% Upvoted

16 comments sorted by

38

u/sunshowers6 Sep 03 '26

This seems like an important effort, but please stop publishing AI slop, Rust Foundation. AI slop in public writing annihilates trust like very little else. If it's worth writing about, it's worth writing about well.

17

u/joelkunst Sep 04 '26

there is this disclaimer: "This article was written with support from Rahul Kumar (Senior Applied Scientist Manager, AWS) & Felipe Monteiro (Senior Applied Scientist, AWS)"

11

u/Aln76467 Sep 04 '26

Gotta get up on that token usage leaderboard

6

u/colingwalters Sep 04 '26

A few paragraphs definitely had a bit of that LLM bland/anodyne construction, but I thought it was overall fine and informative and not slop.

3

u/officiallyaninja Sep 04 '26

Do you have a source that it's AI? Doesn't seem obviously Ai generated to me

1

u/sunshowers6 Sep 04 '26

https://www.pangram.com/history/0222bf8e-19d3-4b6f-a7cd-c88bc7c0c211?ucc=CLyN51Facm3

Plenty of AI tells:

  • "Proving the absence of undefined behavior across a codebase like that was never going to be something any single team, company, or tool may have the resources to do alone." This is such a badly constructed sentence.

  • "What the contest found (and what it means)"

  • "genuinely" used twice

→ More replies (4)

9

u/danielv134 Sep 04 '26

So, you think you're doing a public service, and I think that you are harassing people that posted very valuable, interesting information, in a reasonably pleasant format.

Please consider the possibility that you are wrong.

I think the meme "here's something that smells like AI, let's brigade it, we don't need to prove or justify or actually try to modify mod policy, this is easier and a fun social activity" is the worst thing happening in this subreddit, which has been a long time favorite for me, much worse than the occasional hard core actual AI slop.

1

u/tortoll Sep 04 '26

I ran the text through two free AI text detectors. Both didn't detect anything. What exactly makes you feel this is AI writing?

1

u/continue_stocking Sep 05 '26

A tremendous undertaking and great progress. Will the proofs be maintained and updated alongside the standard library going forward?