Beyond the &(lwn.net)
83 points by PaulHoule | 10 comments
LWN.net report on Tyler Mandry's RustConf 2026 talk about the "Beyond the &" effort to make Rust smart pointers as flexible as built-in references via places and handles.
#borrow-checker on Hacker News
3 stories tagged borrow-checker, newest first.
11 year old unsoundness bugs found in Rust borrow checker(github.com)
723 points by formerly_proven | 406 comments
A rust-lang/rust GitHub issue reporting that a struct's lifetime requirements can be bypassed via covariant field assignment, an unsoundness bug in the borrow checker.
Some notes on Rust, mutable aliasing and formal verification(graydon2.dreamwidth.org)
323 points by todsacerdoti | 119 comments
A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.