News for hackers. Stuff that matters.

A comment on Forget Borrow Checkers: C3 Solved Memory Lifetimes with Scopes. Parent comment

Re:Forget Borrow Checkers: C3 Solved Memory Lifetimes with S... by _bent on Monday July 14, 2025 @10:11AM (#44560517)
well there's MIRI
[ Parent | on HN ]
Re:Forget Borrow Checkers: C3 Solved Memory Lifetimes with S... by pjmlp on Monday July 14, 2025 @02:18PM (#44563451)
However you cannot use it as a general purpose implementation.
[ Parent | on HN ]
Re:Forget Borrow Checkers: C3 Solved Memory Lifetimes with S... by nextaccountic on Monday July 14, 2025 @08:48PM (#44566833)
miri is godawful slow though
[ Parent | on HN ]