News for hackers. Stuff that matters.
Re:Evergreen: A Provably Safe Systems Language by jordan_bonecut on Wednesday November 04, 2026 @12:55PM (#50369147)
Overflow is allowed. Overflow behavior is unspecified, like C++
Re:Evergreen: A Provably Safe Systems Language by jordan_bonecut on Wednesday November 04, 2026 @12:57PM (#50369177)
If you want to assume that overflow wraps either:

Your hardware does this OR You implement it in software

Re:Evergreen: A Provably Safe Systems Language by renox on Thursday November 05, 2026 @03:53PM (#50384335)
Which contradicts the claim 'safer than Rust' given that in Rust it either panic or wrap.