Brendan Zabarauskas@brendanzabEnjoying this presentation! RISC-5, dependently types, post-C programming models, avoiding Spectre and Meltdown… all to turn on a light bulb! 💡🐓🤯 ”Proof Assistants At the Hardware-Software Interface” by Adam Chipala:youtube.comProof Assistants At the Hardware-Software InterfacePresenter: Adam ChipalaPresented at CPP'20, located at POPL 2020.11:23 AM · Jan 22, 2020·Twitter Web App1 Quote Tweet4 Likes
