Media 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 ...
Code Checking Automation Computerphile - Detailed Analysis & Overview
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 ... The ultimate example of trouble from digital promiscuity. HTML is more tolerant than C because it has to be. Professor Brailsford ... How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: Angle Brackets: ... Functional or Combinator Parsing explained by Professor Graham Hutton. Professor Hutton's Functional Parsing Library: ...
Pointers are fundamental in programming and Professor Brailsford couldn't live without them! Professor Brailsford's 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 ... 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 ...
