Program Correctness Computerphile

Summary

Moving on from crude error correction to more sophisticated methods, Professor Brailsford demostrates using the ISBN 'book ... 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 ... Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, ... 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 ... Bashing out low-level code, it can be annoying to re-type the same commands over and over when you need to repeat a routine. Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... Knuth talked about "Literate Programming" over forty years ago, but what does it mean to have code that a developer and a client ... The story of recursion continues as Professor Brailsford explains one of the most difficult Why some numbers just dont work when you're creating error proof codes. Professor Brailsford continues with the story of ISBN.