Hacker News: mav65https://news.ycombinator.com/user?id=mav65Hacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 24 Oct 2026 12:04:28 +0000<![CDATA[New comment by mav65 in "11 year old unsoundness bugs found in Rust borrow checker"]]>Not knowing anything about rust, the problem in these type of case is making it rejecting that bad code without also rejecting valid programs. But maybe this is indeed easy to fix, I don't know.

]]>Tue, 13 Oct 2026 13:02:23 +0000https://news.ycombinator.com/item?id=50071020mav65https://news.ycombinator.com/item?id=50071020https://news.ycombinator.com/item?id=50071020