I’m delighted to announce that “The Supervisionary proof-checking kernel, or: a work-in-progress towards proof-generating code”, which I co-authored with Nick Spinale, has been accepted for presentation at the workshop on Principles of Secure Compilation (PriSC 2022), co-located with POPL.