News for hackers. Stuff that matters.
Re:C++26: Trivial infinite loops are no longer undefined beh... by vlovich123 on Friday September 18, 2026 @12:18PM (#49756588)
That's a niche level thing that helps in some scenarios, and generally not as much for C++ which is much more weakly typed than Rust is. Weak typing + static typing is why safety problems in C++ are going to be really difficult to fix without fundamentally changing the language.
Re:C++26: Trivial infinite loops are no longer undefined beh... by bryanlarsen on Friday September 18, 2026 @01:30PM (#49757556)
I expect some changes to the language from this direction, some way to attach provenance information or limitations to a pointer. Presumably through a #pragma at first. Strict typing in the C++ sense, not the Rust sense. An annotation like "volatile".

Pointer provenance is just one example, there are others.