#CHERI enabled hardware is cool. Every compiler engineer should be looking at the potential for using hardware-level pointer capabilities.
Hardware-enforced memory safety seems eminent.