Program Correctness Computerphile

Summary

Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ... Audible free book: audible.com/ The sights and sounds of sorting! - Alex takes inspiration from our BBC microcomputer film and combines BASIC programming ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ... The story of recursion continues as Professor Brailsford explains one of the most difficult We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... Part 1 of a Series on AI Safety Research with Rob Miles. Rob heads away from his 'Killer Stamp Collector' example to find a more ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... As communications become more complicated, the amount of bits required to succesfully