Sieve: Cache eviction can be simple, effective, and scalable(usenix.org)32 points by belter 2 years ago | 2 comments
Memory safety is necessary, not sufficient(steveklabnik.com)163 points by weinzierl 2 years ago | 118 comments
Violating memory safety with Haskell's value restriction(welltypedwit.ch)62 points by fanf2 1 year ago | 14 comments
Understanding Software Dynamics [book review](usenix.org)32 points by signa11 2 years ago | 7 comments