continue…

Related to Are all BSDs created equally?
Dude, you broke the Future!
Dude, you broke the Future!
57 min
Coming Soon: Machine-Checked Mathematical Proofs in…
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min
Doping your Fitbit
Doping your Fitbit
22 min