Since last fall, Neven has been doing an internship to develop a new aliasing model for Rust: Tree Borrows. Hang on a second, I hear you say – doesn’t Rust already have an aliasing model? Isn’t there this “Stacked Borrows” … Read more
But the theory of algebraic stacks was never spelled out as comprehensively as Grothendieck had done with schemes. This is the void that de Jong stepped in to fill in 2008. “I thought it would be good to collect all … Read more
Last week Computex Taipei 2021 was held virtually. While the event was largely a hit or miss among the chip vendors, one of the more interesting announcements that were delivered at the event was AMD’s 3D V-Cache – a 3D … Read more