Program Correctness Computerphile

Summary

Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ... What good is knowing you have a problem if you can't fix it? - Professor Brailsford explains Hamming Codes and how errors can ... Audible free book: audible.com/ The story of recursion continues as Professor Brailsford explains one of the most difficult 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, ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the ... As communications become more complicated, the amount of bits required to succesfully Taking T-Diagrams to the next level, Professor Brailsford tries to improve last episode's intermediate codes. Grateful thanks to Dr ... 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 ...