Propositions As Types Computerphile

Summary

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss This session is a gentle introduction to " It's all about the input. You can't always give all a function's inputs at the same time. Professor Graham Hutton explains about ... Audible free book: audible.com/ You don't just 'run a cipher' - you need a mode of operation. Dr Mike Pound explains some relative to the Feistel cipher. Substitution-permutation networks are the basis for almost all modern symmetric cryptography. Dr Mike Pound explains. Share part of a secret without knowing which part? Dr Tim Muller explains how Oblivious Transfer works. Meetup: bit.ly/1MXU3fT Paper: bit.ly/QkZ5K1 Slides: bit.ly/1FcrMM3 Audio: bit.ly/1KXo22T ... What's going on when we search for *.docx? Dr Steve Bagley talks us through wild cards. EXTRA BITS: ... Using Pong to demonstrate the strengths of Object Oriented Programming. Dr Steve Bagley explains The Singularity & Friendly AI: ... As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Why can't floating point do money? It's a brilliant solution for speed of calculations in the computer, but how and why does moving ...