Code Checking Automation Computerphile

Summary

The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus. Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ... Dicussing implementation with Professor Brailsford. Professor Brailsford emailed me after we recorded this to say that of course ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... Standard progamming libraries - but how do they work? Dr Steve Bagley links us to the details. What Happend When ... Audible free book: audible.com/ Websites can still be hacked using SQL injection - Tom explains how sites written in PHP (and other languages too) can be ... Cross compile or 'invade' the machine you want to work with - Professor Brailsford discusses various options to making a system ... A high level look at Reed Solomon - Professor Brailsford explains the basics of this complicated encoding technique. It's all about the input. You can't always give all a function's inputs at the same time. Professor Graham Hutton explains about ... Turing Machines are the basis of modern computing, but what actually is a Turing Machine? Assistant Professor Mark Jago ... A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the ... Most of us deal with data compression on a daily basis, but what is it and how does it work? Professor David Brailsford introduces ...