Programming With Proofs Computerphile

Summary

Continuing our look at the Agda Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ... How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: youtu.be/Airi85CPdPk Angle Brackets: ... Audible free book: audible.com/ Prepping for Post-Quantum, Mike Pound explains why now! -- Try Jane Street's neural net puzzle: ... How do you prove something without giving away all your data? Zero Knowledge Correction : as oodles of commenters have pointed out, the clock face should go from 0 to n-1. Also, worth reminding people that ... The story of recursion continues as Professor Brailsford explains one of the most difficult Where does it all start? How is it was say "C is written in C" - Matt Godbolt breaks it down by building it up! Find out more about ... We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten ... We look at and run the code that exploits the Heartbleed bug. Dr. Steven Bagley takes us through the code and shows us how it ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ...