Program Correctness Computerphile

Summary

Audible free book: audible.com/ Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ... 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 A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... Sizzle video for the Massive Open Online Course "LAFF - On Programming for We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... The original version of text messaging had a flaw, but how can we investigate problems with We use undo daily, but have you thought about what goes into making a functional undo in a There are different styles of programming, some quite closely resemble pure mathematics. Mathematician and Computer Scientist ...