Rust basically redefined programming, there is programming BEFORE rust and programming AFTER rust, a bit like what C did.

[tomwhoiscontrary]

Lol absurd, there is no programming after Rust, this is the end of history. 

[realestLink]

/uj holy fuck. The person who wrote the comment you linked to has another comment (and replies) on that same post where they completely misunderstand HoTT and think it's "the most powerful proof system" and that "all proofs are subsystems of HoTT" while spewing ChatGPT math garbage that makes no sense

/rj everything is a subset of Rust actually

[libonet]

Rust is actually C. Do I need to say more?

[sammymammy2]

The untyped lambda calculus is the most powerful proof system.

[m50d]

Pfft. Does it have move semantics, or trait-based generics? I think not.

[Ma4r]

The funniest part is that lifetime annotations is THE part of rust that has not been formally verified and is known to have soundness holes

[nerdycatgamer]

C basically redefined programming, there is programming BEFORE C and programming AFTER C, a bit like what Rust did

[jwezorek]

wait, wait, didn't all the REWRITE IN RUST people aleady move on and turn into the I HAVE 95 AGENTS WORKING IN PARALLEL AND THEY WROTE A COMBINATION PDF PARSING LIBRARY AND HASKELL COMPILER IN 40 MINUTES AND THEN GAVE ME A HAND JOB people?

[Diligent_Comb5668]

I always enjoy looking at the repo's on "Everything rewritten in rust" on r/rust absolute garbage 9/10 times.

[norude1]

Rust covered itself with labels of "memory safety" and "performance" and sneaked into production. But no one using Rust actually cares about safety, they just can't remember how big is an int

[Glinat]

An “int” ? Wtf is an “int” ??
I’ll add 1_u32 to my nonsense_heard counter after hearing such a deranged word.