Functional Programming is often considered the stuffy tool of academics, but can it be used for creative and entertainment applications? Dr Henrik Nilsson demonstrates one application built with Reactive Functional Programming.
Functional Programming is often considered the stuffy tool of academics, but can it be used for creative and entertainment applications? Dr Henrik Nilsson demonstrates one application built with Reactive Functional Programming.
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.
The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? Professor John Hughes shows us how a modern tool can automate the process of code checking.
The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? Professor John Hughes shows us how a modern tool can automate the process of code checking.
Characteristically ahead of his time, Clive Sinclair built his version of the iPad, back in the late '80's. Spencer shows us his "Cambridge Computer" Z88.
Characteristically ahead of his time, Clive Sinclair built his version of the iPad, back in the late '80's. Spencer shows us his "Cambridge Computer" Z88.
Bringing digital into interactive theatre. Roma Patel is a designer and member of the Mixed Reality Laboratory who is looking to computing to provide extra engagement with young theatre-goers.
Bringing digital into interactive theatre. Roma Patel is a designer and member of the Mixed Reality Laboratory who is looking to computing to provide extra engagement with young theatre-goers.
As communications become more complicated, the amount of bits required to succesfully correct an error increases, but by how much? Professor Brailsford talks multi-dimensional parity bits.
As communications become more complicated, the amount of bits required to succesfully correct an error increases, but by how much? Professor Brailsford talks multi-dimensional parity bits.
Turning exquisitely painted miniatures into high definition 3d models using a camera and a turntable. Dimitri Darzentas is a Horizon CDT PhD student & member of the Mixed Reality Lab.
Turning exquisitely painted miniatures into high definition 3d models using a camera and a turntable. Dimitri Darzentas is a Horizon CDT PhD student & member of the Mixed Reality Lab.
Using Optical Flow to position augmented reality content above wargaming scenes. Dimitri Darzentas is a Horizon CDT PhD student & member of the Mixed Reality Lab.
Using Optical Flow to position augmented reality content above wargaming scenes. Dimitri Darzentas is a Horizon CDT PhD student & member of the Mixed Reality Lab.
Putting search algorithms into practice. Dr Mike Pound reveals he likes nothing more in his spare time, than sitting in front of the TV coding.
Putting search algorithms into practice. Dr Mike Pound reveals he likes nothing more in his spare time, than sitting in front of the TV coding.
2017x17 General AI Won't Want You To Fix its Code Episode overview
Air date
Feb 28, 2017
Part 1 of a Series on AI Safety Research with Rob Miles. Rob heads away from his 'Killer Stamp Collector' example to find a more concrete example of the problem.
Part 1 of a Series on AI Safety Research with Rob Miles. Rob heads away from his 'Killer Stamp Collector' example to find a more concrete example of the problem.
Blockchain is the underlying technology behind cryptocurrencies bringing together Merkle trees, Hashing & Distributed Architecture. Christopher Ellis explains.
Blockchain is the underlying technology behind cryptocurrencies bringing together Merkle trees, Hashing & Distributed Architecture. Christopher Ellis explains.
NASA had to implement error correction for the spacecraft that travelled to Mars - Professor Brailsford explains how the Mariner series managed to send back pictures from another planet.
NASA had to implement error correction for the spacecraft that travelled to Mars - Professor Brailsford explains how the Mariner series managed to send back pictures from another planet.
2017x26 Reed-Muller Code (64 Shades of Grey pt2) Episode overview
Air date
Apr 07, 2017
Deriving the Reed-Muller Code, used by Mariner 9 to send back pictures from Mars. Professor Brailsford shows how it can be coded recursively.
Deriving the Reed-Muller Code, used by Mariner 9 to send back pictures from Mars. Professor Brailsford shows how it can be coded recursively.
Walk around inside a working processor and see all the components operating. Jason Fitzpatrick shows us the Centre for Computer History's MegaProcessor .
Walk around inside a working processor and see all the components operating. Jason Fitzpatrick shows us the Centre for Computer History's MegaProcessor .
How do we control our own data while allowing it to be mined? Dr Richard Mortier of The University of Cambridge discusses some of the issues behind data harvesting.
How do we control our own data while allowing it to be mined? Dr Richard Mortier of The University of Cambridge discusses some of the issues behind data harvesting.
A hacked car that could kill you should be more worrying than a thousand lightbulbs taking Facebook offline. University of Cambridge's Professor Ross Anderson explains why safety should be higher on the agenda than privacy.
A hacked car that could kill you should be more worrying than a thousand lightbulbs taking Facebook offline. University of Cambridge's Professor Ross Anderson explains why safety should be higher on the agenda than privacy.
OCR isn't just about scanning documents and digitizing old books. Explaining how it can work in a practical setting is Professor Steve Simske (Honorary Professor at the University of .. show full overview
OCR isn't just about scanning documents and digitizing old books. Explaining how it can work in a practical setting is Professor Steve Simske (Honorary Professor at the University of Nottingham as well as Director & Chief Technologist at HP Labs' Security Printing Solutions)
Which is faster? The results *may* just surprise you. Dr 'Heartbleed' Bagley gives us an in depth shoot-out - Arrays vs Linked Lists...
Which is faster? The results *may* just surprise you. Dr 'Heartbleed' Bagley gives us an in depth shoot-out - Arrays vs Linked Lists...
2017x50 Reason for ARM (Acorn Archimedes at 30) Episode overview
Air date
Jul 16, 2017
Another home computer hits the big 3 0 ! But even if you've never heard of it, the Acorn Archimedes is the reason the ARM chip exists...
Another home computer hits the big 3 0 ! But even if you've never heard of it, the Acorn Archimedes is the reason the ARM chip exists...
2017x51 Now Hiring? (What Computing Companies Look For) Episode overview
Air date
Jul 20, 2017
We ask Professor Steve Simske of HP Labs what it's like to interview for one of the big computing companies, what they're looking for and about his experiences of hiring...
We ask Professor Steve Simske of HP Labs what it's like to interview for one of the big computing companies, what they're looking for and about his experiences of hiring...
After seemingly insurmountable issues with Artificial General Intelligence, Rob Miles takes a look at a promising solution: Cooperative Inverse Reinforcement Learning
After seemingly insurmountable issues with Artificial General Intelligence, Rob Miles takes a look at a promising solution: Cooperative Inverse Reinforcement Learning
2017x55 Essentials: Brian Kernighan on Associative Arrays Episode overview
Air date
Aug 11, 2017
The 'Swiss Army Knife' of data structures, Professor Brian Kernighan talks about the associative array with beer & pizza.
The 'Swiss Army Knife' of data structures, Professor Brian Kernighan talks about the associative array with beer & pizza.
2017x56 Essentials: Functional Programming's Y Combinator Episode overview
Air date
Aug 16, 2017
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.
The 'magic' trick of pointers to pointers - Professor Brailsford explains how what might seem complicated will actually simplify your code. (See Extra Bits video for a code walkthrough)
The 'magic' trick of pointers to pointers - Professor Brailsford explains how what might seem complicated will actually simplify your code. (See Extra Bits video for a code walkthrough)
Converting a single 2D photo into a 3D model of your face. Convolutional Neural Networks are clever things. Aaron Jackson is part of the Computer Vision Laboratory at University of Nottingham.
Converting a single 2D photo into a 3D model of your face. Convolutional Neural Networks are clever things. Aaron Jackson is part of the Computer Vision Laboratory at University of Nottingham.
Generating YouTube comments with a neural network trained on YouTube comments. What could possibly go wrong? Dr Mike Pound replied to our comment...
Generating YouTube comments with a neural network trained on YouTube comments. What could possibly go wrong? Dr Mike Pound replied to our comment...
2017x70 Homotopy Type Theory: Vladimir Voevodsky Episode overview
Air date
Oct 06, 2017
Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles and applied them to Mathematics. Professor Thorsten Altenkirch remembers him.
Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles and applied them to Mathematics. Professor Thorsten Altenkirch remembers him.
2017x71 ESSENTIALS: Subroutines & The Wheeler Jump Episode overview
Air date
Oct 10, 2017
A true essential, the subroutine saves time, effort and helps avoid bugs. Dr Bagley explains why he has two essentials!
A true essential, the subroutine saves time, effort and helps avoid bugs. Dr Bagley explains why he has two essentials!
How do you prove something without giving away all your data? Zero Knowledge Proofs could hold the answer. Alberto Sonnino, Research Student at UCL explains.
How do you prove something without giving away all your data? Zero Knowledge Proofs could hold the answer. Alberto Sonnino, Research Student at UCL explains.
In 1991 the web could only do text, but scientists at Cambridge Computer Laboratory were working with networked video.... Quentin Stafford-Fraser explains how this led to the first webcam.
In 1991 the web could only do text, but scientists at Cambridge Computer Laboratory were working with networked video.... Quentin Stafford-Fraser explains how this led to the first webcam.
Sinclair computers (Timex in the US) was born out of a little known kit machine produced by 'Science of Cambridge' - Jason Fitzpatrick is from the Centre for Computing History in Cambridge.
Sinclair computers (Timex in the US) was born out of a little known kit machine produced by 'Science of Cambridge' - Jason Fitzpatrick is from the Centre for Computing History in Cambridge.
Correction : as oodles of commenters have pointed out, the clock face should go from 0 to n-1. Also, worth reminding people that Mike has simplified the notation in this video (as he mentions).
Correction : as oodles of commenters have pointed out, the clock face should go from 0 to n-1. Also, worth reminding people that Mike has simplified the notation in this video (as he mentions).
Fractals aren't just fascinating computer generated patterns, they could also be the key to future computer architecture. Professor Phil Moriarty explains.
Fractals aren't just fascinating computer generated patterns, they could also be the key to future computer architecture. Professor Phil Moriarty explains.
