WiFi’s Hidden ____ Problem – Computerphile

From Computerphile. We’ve all got to the edge of the wifi coverage, but the idea of coverage produces a network problem, the Hidden Node Problem. Dr Steve Bagley explains. https://www.facebook.com/computerphile https://twitter.com/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…

Saving the Universe (Simulation) – Computerphile

From Computerphile. If your job involves simulating the creation of the universe, you’re going to need a big computer. Dr Julian Onions on the practicalities of saving your universe simulation when it’s terabytes in size, and in a different country! https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the…

Facebook’s Day Off! – Computerphile

From Computerphile. Just what was it that took Facebook, Instagram & WhatsApp offline on 4th October 2021? – Dr Steve Bagley investigates! https://www.facebook.com/computerphile https://twitter.com/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

Random Numbers with LFSR (Linear Feedback Shift Register) – Computerphile

From Computerphile. A simple bit-shift operation can generate amazing random strings of numbers. Dr Mike Pound explains then codes it in Python. If you want to know more about how XOR works: https://www.youtube.com/watch?v=VPw9vPN-3ac https://www.facebook.com/computerphile https://twitter.com/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…

Programming with Proofs – Computerphile

From Computerphile. Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, which could be invaluable in some industrial situations. https://www.facebook.com/computerphile https://twitter.com/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…

Hacking Out of a Network – Computerphile

From Computerphile. Multiple ways to break through restrictions in a network* demonstrated by Dr Richard G Clegg of Queen Mary University London. *Please only try these methods on machines where you have permission. Richard has kindly prepared some notes: https://bit.ly/C_RichCleg_HackOut https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the…

Eliminating Run-Time Errors with Agda – Computerphile

From Computerphile. A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda. https://www.facebook.com/computerphile https://twitter.com/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

The Hardest Problem in Type Theory – Computerphile

From 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 https://twitter.com/computer_phile This video was filmed and edited by Sean…

Javascript Card Trick – Computerphile

From 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 https://twitter.com/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…

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

From 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 https://twitter.com/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

From 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 https://twitter.com/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