continue…

Related to How can you trust formally verified software?
Everything you want to know about x86 microcode, but…
Everything you want to know about x86 microcode, but might have been afraid to ask
57 min
Coming Soon: Machine-Checked Mathematical Proofs in…
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min
Demystifying Network Cards
Demystifying Network Cards
31 min