Programming With Proofs Computerphile

Summary

Continuing our look at the Agda 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: ... Audible free book: audible.com/ How do you prove something without giving away all your data? Zero Knowledge Learn this caching trick for faster code from Dr Mike Pound -- Brilliant's courses and start for free at ... The story of recursion continues as Professor Brailsford explains one of the most difficult We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... Build your own passkey system Mike! -- Brilliant for free at brilliant.org/ Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten ... We look at and run the code that exploits the Heartbleed bug. Dr. Steven Bagley takes us through the code and shows us how it ... In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ...