News for hackers. Stuff that matters.
Re:Unsoundness in Pin by withoutboats on Sunday December 01, 2019 @06:59PM (#21678695)
The name for that reference type is a shared reference. It's literally the default reference type. It's not a sufficient guarantee for the use cases Pin supports.

There are no comments on this comment yet.