@gregkh I'm pretty sure now that Torvalds goes all in on vibe coding, Linux will get the bad Rust code it deserves rather sooner than later.
@gregkh Oh well, it's in an unsafe { } block, so all bets are off!
@penguin42 @gregkh Rust's type system persists into `unsafe` blocks, including e.g. lifetime checks. The remove function itself depends on two lifetime-bound entities and relies on the fact that the references are real to prove certain operations are correct to perform.
The problem is the safety requirement for this function is "leaky", because it includes a requirement about *other* lists. This safety requirement was one chosen by the kernel programmers, though, not Rust.
@gregkh Is this vulnerability specific to Rust version of Binder or was/is this also present in the C version?
I remember another vulnerability in Rust Binder Alice Ryhl talked about in this presentation: https://youtu.be/Kt3hpvMZv8o?t=961 β and it turned out it was also present in C except there it was a use-after-free error and not βjustβ a simple logic error.
@nik @gregkh You managed to remove all of the cautious nuances and details he said before stating that vibe coding could allow beginners to get excited and build fun things, without being scared of complexity.
So nope, not "all in on vibe coding" at all, at most he is considering AI as a potential tool for programmers, and vibe coding a way for 8yo to have fun