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? 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 ... A high level look at Reed Solomon - Professor Brailsford explains the basics of this complicated encoding technique. Cross compile or 'invade' the machine you want to work with - Professor Brailsford discusses various options to making a system ... Pointers are fundamental in programming and Professor Brailsford couldn't live without them! Professor Brailsford's Most of us deal with data compression on a daily basis, but what is it and how does it work? Professor David Brailsford introduces ... Functional or Combinator Parsing explained by Professor Graham Hutton. Professor Hutton's Functional Parsing Library: ... How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: youtu.be/Airi85CPdPk Angle Brackets: ... Fuzzing is a technique to find programming bugs by In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ... 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 ...