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 ... Audible free book: audible.com/ Standard progamming libraries - but how do they work? Dr Steve Bagley links us to the details. What Happend When ... Fuzzing is a technique to find programming bugs by A high level look at Reed Solomon - Professor Brailsford explains the basics of this complicated encoding technique. You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... 'Beast' cracks billions of passwords a second, Dr Mike Pound demonstrates why you should probably change your passwords. Cross compile or 'invade' the machine you want to work with - Professor Brailsford discusses various options to making a system ... Enigma is known as the WWII cipher, but how does it hold up in 2021? Dr Mike Pound implemented it and shows how it stacks up ... Functional or Combinator Parsing explained by Professor Graham Hutton. Professor Hutton's Functional Parsing Library: ...