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 do you prove something without giving away all your data? Zero Knowledge Audible free book: audible.com/ Prepping for Post-Quantum, Mike Pound explains why now! -- Try Jane Street's neural net puzzle: ... Multitasking is a hoax - clever techniques mean that your CPU is shuffling between lots of tasks, but doing them one at a time. Using Pong to demonstrate the strengths of Object Oriented We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... 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 ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... Program Correctness is incredibly important in computing - particularly in hardware design. Professor Graham Hutton takes us ... A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad ... Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ...