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 ... Standard progamming libraries - but how do they work? Dr Steve Bagley links us to the details. What Happend When ... Functional or Combinator Parsing explained by Professor Graham Hutton. Professor Hutton's Functional Parsing Library: ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: youtu.be/Airi85CPdPk Angle Brackets: ... Pointers are fundamental in programming and Professor Brailsford couldn't live without them! Professor Brailsford's Websites can still be hacked using SQL injection - Tom explains how sites written in PHP (and other languages too) can be ... A high level look at Reed Solomon - Professor Brailsford explains the basics of this complicated encoding technique. Mike explains a paper from the University of Maryland, proposing a neat trick to 'watermark' the output of large language models ... Language Models' Achilles heel: Rob Miles talks about "glitch" tokens, those mysterious words which, which result in gibberish ... The ultimate example of trouble from digital promiscuity. HTML is more tolerant than C because it has to be. Professor Brailsford ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ... How does your computer arrange with a server to start talking in