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 ... The ultimate example of trouble from digital promiscuity. HTML is more tolerant than C because it has to be. Professor Brailsford ... A high level look at Reed Solomon - Professor Brailsford explains the basics of this complicated encoding technique. Git doesn't actually perform magic, but it's pretty neat. Dr Max Wilson takes us through the various elements that make Git such a ... Part 1 of a Series on AI Safety Research with Rob Miles. Rob heads away from his 'Killer Stamp Collector' example to find a more ... How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: youtu.be/Airi85CPdPk Angle Brackets: ... Audible free book: audible.com/ Why is C such an influential language? We asked ardent C fan Professor Brailsford. Brian Kernighan Playlist: ... 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 ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ...