Programming With Proofs Computerphile

Summary

Continuing our look at the Agda Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ... Audible free book: audible.com/ How ambiguity is dangerous! Professor Brailsford simplifies parsing. EXTRA BITS: youtu.be/Airi85CPdPk Angle Brackets: ... You can optimise for speed, power consumption or memory use & tiny changes can have a negligible or huge impact, but what ... How do you prove something without giving away all your data? Zero Knowledge Prepping for Post-Quantum, Mike Pound explains why now! -- Try Jane Street's neural net puzzle: ... We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... Correction : as oodles of commenters have pointed out, the clock face should go from 0 to n-1. Also, worth reminding people that ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he uses Lisp code to generate ... If you pick the wrong prime numbers, cracking RSA becomes a cinch. Dr Mike Pound explains the findings of researcher Hanno ... Multitasking is a hoax - clever techniques mean that your CPU is shuffling between lots of tasks, but doing them one at a time.