The Hardest Problem in Type Theory – Computerphile

Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten Altenkirch explains how his late friend Martin Hofmann solved one of the biggest problems. More of Thorsten on Type Theory: https://bit.ly/C_Thor_playlist Thorsten’s paper dedicated to Martin: https://bit.ly/C_Thor_Paper https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean […]

TPM (Trusted Platform Module) – Computerphile

With new operating systems requiring security hardware, what is this hardware and why do we need it? Dr Steve Bagley takes Sean’s bet to see how many times he can mention Trusted Platform Module in one video! https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University […]

Javascript Card Trick – Computerphile

How does the “mystical” mind-reading computer program work? Spoiler, it can’t read minds. Dr Tim Muller shows us a trick you can play on people. Tim’s Code: https://pastebin.com/YheE3kJQ https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to […]

Post Office Horizon Scandal – Computerphile

Computer bugs were found to be the reason many sub-postmasters and sub-postmistresses were wrongly convicted of stealing and false accounting. Professor Steven Murdoch, a professor of Security Engineering and a Royal Society University Research Fellow at UCL explains the sorts of faults that were found. EXTRA BITS: https://youtu.be/1GnRlOgEIlo BBC Podcast about the Post Office Scandal: […]

Who’s Telling the Truth? Using “Gobble” – Computerphile

Matching pictures on playing cards could have something in common with trying to guess which router has the correct routing table. Dr Tim Muller takes us through ‘Gobble’! https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to […]

Driverless Cars – Computerphile

Discussing autonomous vehicles aka driverless cars with Prof. Subramanian “Ram” Ramamoorthy, Personal Chair of Robot Learning and Autonomy, University of Edinburgh. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Types of PDF – Computerphile

“Just send me a PDF!” – but what kind of PDF? As Professor Brailsford explains, PDF is simply a wrapper which can contain a variety of joys! https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady […]

How bad is Exponential Growth? – Computerphile

Exponential growth is a term that’s used a lot, but our intuition can play tricks on understanding it. Dr Tim Muller takes us through some examples that demonstrate just how quickly things get out of hand. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of […]

Is DeepFake Really All That? – Computerphile

How much of a problem is DeepFake, the ability to swap people’s faces around? Dr Mike Pound decided to try it with colleague Dr Steve Bagley. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s […]

Recreating Dennis Ritchie’s PhD Thesis – Computerphile

Professor Brailsford has been toiling away on a faithful recreation of Unix co-creator Dennis Ritchie’s unsubmitted PhD thesis. The Computer History Museum material on Dennis’s lost thesis is at: Discovering Dennis Ritchie’s Lost Dissertation The Ritchie family’s Web site about the devices (hardware and software) that Dennis used to create his thesis is at: Unpacking […]

3D Printing with a Robot Arm – Computerphile

With dozens of affordable 3D printers out there, why re-invent the (filament) wheel? Feng Zhou has a plan, to improve the strength of 3D printed objects. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s […]

Rog-O-Matic, Game Playing Program – Computerphile

Once the Unix games arrived, it wasn’t long before coders were looking for ways to game the games. Enter Rog-O-Matic – the program designed to play Rogue. Dr Julian Onions has been tweaking his copy for decades! https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University […]

Kidnapped Robot Problem – Computerphile

When you relocate a robot, how does it work out where it is? Dr Ayse Kucukyilmaz explains how there’s uncertainty at every turn. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at […]

Kidnapped Robot Problem – Computerphile

When you relocate a robot, how does it work out where it is? Dr Ayse Kucukyilmaz explains how there’s uncertainty at every turn. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at […]

Why Attachments are Larger in Emails – Computerphile

To send binary files via a text based system, they’ll need encoding. Dr Steve Bagley takes us through the attachment system used in email. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More […]

Building a Data Center Inside Your Laptop – Computerphile

Build a virtual switching network inside your own computer. Dr Richard G Clegg of Queen Mary University London demonstrates building a software network configured with Python. Richard’s Github link: http://bit.ly/C_RichardGC-OpenFlow https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister […]

Cracking Enigma in 2021 – Computerphile

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 against his laptop. Mikes Code: http://bit.ly/C_Mike_enigma Cryptool v2 is here: http://bit.ly/C_Cryptool The original paper that Mike’s attack is based off https://web.archive.org/web/20060720040135/http://members.fortunecity.com/jpeschel/gillog1.htm https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed […]

Atomic Brain? – Computerphile

How about a Neural Net where the neurons are actual atoms? Professor Phil Moriarty shows a paper demonstrating the principle from researchers at Radboud University in The Netherlands. Professor Moriarty’s blog with more detail: http://bit.ly/C_AtomicBrain https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: […]

Early Unix Computer Games – Computerphile

Games like rogue were revolutionary for terminal based Unix systems – Dr Julian Onions on some of the tricks they used. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Reflections on Trusting Trust – Computerphile

Professor Brailsford discusses Ken Thompson’s ACM Turing Award acceptance paper “Reflections on Trusting Trust” Ken Thompson’s Paper: http://bit.ly/C_trustingtrust https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

How Shazam Works (Probably!) – Computerphile

Looking at the audio mechanics and algorithms behind music identifier apps. David Domminney Fowler built a demo you can try yourself. EXTRA BITS: https://youtu.be/T6OLVCQfuBE Play with Dave’s demonstrator here: https://bit.ly/3qRo9t9 More about David Domminney Fowler: https://bit.ly/38IhX0p https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of […]

When Unix Landed – Computerphile

Professor Brailsford recalls the advent of Unix v7 and AT&T’s licensing procedure. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Discussing node.js – Computerphile

The hidden technology that’s behind apps like Visual Studio Code & Skype is web based. David Domminney Fowler chats Google’s V8, node.js & HTML5 More about David Domminney Fowler: https://youtube.com/c/DavidDomminneyFowler https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister […]

Chacha Cipher – Computerphile

The only viable alternative to AES? Dr Mike Pound unravels the clever ChaCha cipher. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Ubicomp (Ubiquitous Computing) – Computerphile

The Internet of Things wouldn’t be here if not for Mark Weiser and the team at Xerox Parc. Dr Stuart Reeves explains the vision. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More […]

RFC (Request For Comment) Explained – Computerphile

RFCs are standards. Aren’t they? – Dr Julian Onions on how Request for Comments started, and aren’t always what they seem. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

How Traceroute Works (Building a Movie Scene ‘Trace’ Map) – Computerphile

Traceroute is a standard networking tool, but can it be used to recreate all those film scenes where a ‘trace’ is put on a signal? Dr Richard G Clegg, Queen Mary University of London shows us the neat hack that makes it work and has a go at that supervillain map! Richard’s github: https://github.com/richardclegg/vis_route https://www.facebook.com/computerphile […]

“Anonymous” Location Data Problems – Computerphile

How many times have you been asked to share ‘anonymous’ location data? Andrea shows just how simple it can be to work out who’s who. Andrea Gadotti is a researcher in the Computational Privacy Group at Imperial College London (https://cpg.doc.ic.ac.uk/) Papers referenced by Andrea: Unique in the Crowd: The privacy bounds of human mobility (https://www.nature.com/articles/srep01376) […]

How NOT to Sample Audio! – Computerphile

Could Dave recreate audio from a wav file preview image grabbed from a screen cap? More about David Domminney Fowler: https://youtube.com/c/DavidDomminneyFowler https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com Dave’s […]

Prime Numbers & RSA Encryption Algorithm – Computerphile

RSA is widespread on the Internet, and uses large prime numbers – but how does it work? Dr Tim Muller takes us through the details. Apologies for the poor audio quality of this video which is due to the remote nature in which it was recorded. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and […]

ALOHAnet: Grandfather of All Computer Networks – Computerphile

How do you share a 1960’s computer across a bunch of islands? Wireless networking of course – although, like Norman Abramson & his team, you’d have to invent it first. Dr Steve Bagley on Hawaii’s Aloha Net. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University […]

How the Computer Mouse Works – Computerphile

Used by millions every day we’re dissecting mice today. Dr Steve Bagley takes us through the workings, starting with a ball-powered rodent. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Brute Forcing The Countdown Numbers Game – Computerphile

Billions of possibilities – Dr Alex Turner borrowed some cluster time to obtain all of the potential results from all the possible games of Countdown’s Numbers Game. Thanks to David Domminney Fowler for creating our ‘quiz show counting’ music – more about Dave here: https://youtube.com/DavidDomminneyFowler https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited […]

What are Digital Signatures? – Computerphile

How do you verify that someone is who they say they are? Dr Mike Pound on digital signatures. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

RWALL (Remote Write to All) – Computerphile

When Sun added network abilities to a messaging feature, one user managed to contact more people than he’d bargained for. Dr Julian Onions takes us through the rwall incident of 1987. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a […]

Program Correctness – Computerphile

Program Correctness is incredibly important in computing – particularly in hardware design. Professor Graham Hutton takes us through a simple example using arithmetic. EXTRA BITS: https://youtu.be/TByzerWLKg8 https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s […]

Distance Vector Algorithm (Bellman Ford) – Computerphile

Underpinning the Internet are countless network routers – how do they work out the route to send your data along? Dr Richard G Clegg, Queen Mary University of London explains the Bellman Ford distance vector algorithm. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of […]

Random Boolean Networks – Computerphile

Demonstrating how complex systems can arise from simple rules, random boolean networks also have some surprising properties… sometimes! Dr Alex Turner generates some. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at […]

TLS Handshake Explained – Computerphile

How does your computer arrange with a server to start talking in code? Dr Mike Pound explains the TLS handshake where the server and client organise everything. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady […]

The First Internet Worm (Morris Worm) – Computerphile

In November 1988 the first worm caused huge problems on the Internet. Dr Julian Onions remembers the story. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

Transport Layer Security (TLS) – Computerphile

It’s absolutely everywhere, but what is TLS and where did it come from? Dr Mike Pound explains the background behind this ubiquitous Internet security protocol. Heartbleed, Running the Code: https://www.youtube.com/watch?v=1dOCHwf8zVQ Secure Web Browsing: https://www.youtube.com/watch?v=E_wX40fQwEA Network Stacks & The Internet: https://www.youtube.com/watch?v=PG9oKZdFb7w&t=2s https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science […]

Facebook’s Code Checker – Computerphile

Millions of lines of code – how do you keep them bug free? Facebook’s Professor Peter O’Hearn talks us through “Infer” their code checker which dallies with the idea of undecidability. EXTRA BITS: https://youtu.be/7rYr6EQS7Co Turing & The Halting Problem: https://www.youtube.com/watch?v=macM_MtS_w4 How Turing Machines Work: https://www.youtube.com/watch?v=dNRDvLACg5Q https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited […]

Story of Mel – Computerphile

Breaking the unbreakable loop. More on how self-modifying code can be a neat hack, that’s almost unmaintainable. Dr Julian Onions recalls the “Real Programmer” story that circulated in the early ’80s. Earlier Episodes about Mel: https://www.youtube.com/playlist?list=PLzH6n4zXuckoXiDGh3c16nMCPABZKHc9I Wheeler Jump: https://youtu.be/zR8V0lq029c Alderson Loop: https://youtu.be/Rh1IQwXy3Y8 Inside the CPU: https://youtu.be/IAkj32VPcUE https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and […]

The Knapsack Problem & Genetic Algorithms – Computerphile

Tournament selection, roulette selection, mutation, crossover – all processes used in genetic algorithms. Dr Alex Turner explains using the Knapsack Problem. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com

ALGOL 68 Instead of Pascal? – Computerphile

Computer Scientists had to make choices for what system to use for different student use cases. Professor Brailsford on whether to choose Algol 68 or Pascal. Or both. https://www.facebook.com/computerphile Tweets by computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to […]