Coding a Web Server in 25 Lines – Computerphile

From Computerphile. Just how simple can a web server be? Laurence Tratt, Shopify / Royal Academy of Engineering Research Chair in Language Engineering at Kings College London builds it up. More about Laurie: https://bit.ly/C_LaurenceTratt 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…

Mechanizing Mathematical Proofs – Computerphile

From Computerphile. A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad Abdulaziz, Lecturer in Artificial Intelligence, King’s College London 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…

Discussing Digital Twins – Computerphile

From Computerphile. Digital Twin – a new buzz word or a useful piece of technology? We asked Dr Steffen Zschaler, Reader in Computer Science at Kings College London. #ComputerScience #DigitalTwin #CS #computing 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…

How CPUs Do Math(s) – Computerphile

From Computerphile. Matt Godbolt continues the story of the CPU and explains how machines do addition 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 https://www.bradyharanblog.com Thank you to Jane Street for their support…

Python Regular Expressions – Computerphile

From Computerphile. Continuing the exploration of Regular Expressions and Automata with Professor Thorsten Altenkirch. The professor’s code: https://bit.ly/C_PythonRegEx 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 https://www.bradyharanblog.com Thank you to Jane Street for…

Machine Code Explained – Computerphile

From Computerphile. Explaining machine code from the ground up! Famous for ‘Compiler Explorer,’ Matt Godbolt’s code has appeared before on Computerphile but this is his debut. EXTRA BITS: https://youtu.be/9gXeS8BoLmE Find out more about Matt from his blog: https://bit.ly/C_MGodbolt 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…

What Was Your First Computer Game? (Soundcheck Question 2023) – Computerphile

From Computerphile. All through 2023 we’ve been asking Computerphile contributors to tell us about their first brush with computer games. This is the 2023 sound-check compilation! Links etc: https://docs.google.com/document/d/17VH5BuYun5ApNGmkChMnm4ppkQrw8pLHsu1roODAC24/edit?usp=drivesdk Playable: Horace & the Spiders: Horace & the Spiders (torinak.com) Horace goes Skiing: Horace Goes Skiing (torinak.com) Painter: Complete BBC Micro Games Archive – Play The…

Defining Regular Expressions (RegEx) – Computerphile

From Computerphile. Ahead of an upcoming Python implementation, Professor Thorsten Altenkirch goes through the details and definitions of Regular Expressions. 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 https://www.bradyharanblog.com Thank you to Jane…

Bug in Binary Search – Computerphile

From Computerphile. Mike talks through a binary search bug that was undiscovered for years! 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 https://www.bradyharanblog.com Thank you to Jane Street for their support of this…

Defining Cybersecurity with Gene Spafford – Computerphile

From Computerphile. Legendary cyber-security expert Professor Gene Spafford joins us to try to define what cyber-security even is! "Spaf" as he’s known, is a faculty member at Purdue University and now Honorary Professor at the University of Nottingham. Dr Spafford is a Fellow of the American Academy of Arts and Sciences, the Association for the…

True Random Numbers – Computerphile

From Computerphile. Programs aren’t capable of generating true random numbers, so how can we? Are they even useful? Dr Valerio Giuffrida demonstrates how to get a true random number from most computers. 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…

Binary Search Algorithm – Computerphile

From Computerphile. Back to basics as Dr Mike Pound explains a simple but incredibly useful algorithm, binary search. #algorithm #ComputerScience 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 https://www.bradyharanblog.com Thank you to Jane…

Oblivious Transfer – Computerphile

From Computerphile. Share part of a secret without knowing which part? Dr Tim Muller explains how Oblivious Transfer works. 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 https://www.bradyharanblog.com Thank you to Jane Street…