From my cursory glance, the real magic (InvisiCaps) appears to be a unique take on fat pointers to track types, access rights, etc. Pretty clever, and the website is a great technical read.
Do I understand correctly that this project is based on the work of just one person, Filip Pizlo? If so, that's amazing.