Program Correctness Computerphile

Summary

In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ... Audible free book: audible.com/ Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ... Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, ... The story of recursion continues as Professor Brailsford explains one of the most difficult The sights and sounds of sorting! - Alex takes inspiration from our BBC microcomputer film and combines BASIC programming ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... There are different styles of programming, some quite closely resemble pure mathematics. Mathematician and Computer Scientist ... A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the ... Sizzle video for the Massive Open Online Course "LAFF - On Programming for The smarter way to dither. Dr Bagley takes us through the Floyd-Steinberg error diffusion dithering technique.