Tootfinder

Good Morning #Canada
July 24th, 1534, the original Cross of Gaspé was erected overlooking the bay of Gaspé, by the crew of Jacques Cartier on his first trip exploration in the Gulf of St. Lawrence. Planting the cross symbolized the ownership of the territory on behalf of the King of France. Today, a granite Cross of Gaspé, erected in 1934, has replaced the original. Amazing that the installation of a religious artifact defined clear ownership of a continent you didn't know existed just days prior.
I have a small Easter Island statue in my garden that I'm going to install in the middle of my neighbour's yard. Wish me luck.
#CanadaIsAwesome #History #Colonization
https://youtu.be/aXZkwrI3V10?si=8abMJ6iEnSgGLUCr

The downgrading semantics of memory safety
Ren\'e Rydhof Hansen, Andreas Stenb{\ae}k Larsen, Aslan Askarov
https://arxiv.org/abs/2507.11282 https://

The downgrading semantics of memory safety
Memory safety is traditionally characterized in terms of bad things that cannot happen, an approach that is often criticized as unprincipled. Prior work suggest a connection between memory safety and noninterference, but no satisfactory semantic notion of memory safety is currently known. This work proposes a notion of gradual allocator independence that accurately captures many allocator-specific aspects of memory safety. We consider a low-level language with access to an allocator that prov…