Media Summary: The smarter way to dither. Dr Bagley takes us through the Floyd-Steinberg The powers of two and the algorithm that helps them correct As communications become more complicated, the amount of bits required to succesfully correct an

Eliminating Run Time Errors With Agda Computerphile - Detailed Analysis & Overview

The smarter way to dither. Dr Bagley takes us through the Floyd-Steinberg The powers of two and the algorithm that helps them correct As communications become more complicated, the amount of bits required to succesfully correct an What good is knowing you have a problem if you can't fix it? - Professor Brailsford explains Hamming Codes and how Why some numbers just dont work when you're creating No need to understand Turing machines to comprehend the halting problem. Professor Thorsten Altenkirch has a way of using ...

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 ... Software doesn't deal well with missing data, so what can be done about it? Professor Uwe Aickelin talks about whether we need ... Equality sounds a straightforward idea, but there are subtle How does the "mystical" mind-reading computer program work? Spoiler, it can't read minds. Dr Tim Muller shows us a trick you ... Big Data sounds like a buzz word, and is hard to quantify, but the If your job involves simulating the creation of the universe, you're going to need a big computer. Dr Julian Onions on the ...

Photo Gallery

Eliminating Run-Time Errors with Agda - Computerphile
Error Diffusion Dithering - Computerphile
Correcting Those Errors - Computerphile
Multiple Dimension Error Correction - Computerphile
Error Correction - Computerphile
The Perfect Code - Computerphile
X & the Book Code - Computerphile
Halting Problem in Python - Computerphile
Programming with Proofs - Computerphile
Floating Point Numbers - Computerphile
The Trouble with Missing Data - Computerphile
The Hardest Problem in Type Theory - Computerphile
View Detailed Profile
Eliminating Run-Time Errors with Agda - Computerphile

Eliminating Run-Time Errors with Agda - Computerphile

A language designed to

Error Diffusion Dithering - Computerphile

Error Diffusion Dithering - Computerphile

The smarter way to dither. Dr Bagley takes us through the Floyd-Steinberg

Correcting Those Errors - Computerphile

Correcting Those Errors - Computerphile

The powers of two and the algorithm that helps them correct

Multiple Dimension Error Correction - Computerphile

Multiple Dimension Error Correction - Computerphile

As communications become more complicated, the amount of bits required to succesfully correct an

Error Correction - Computerphile

Error Correction - Computerphile

What good is knowing you have a problem if you can't fix it? - Professor Brailsford explains Hamming Codes and how

The Perfect Code - Computerphile

The Perfect Code - Computerphile

Summing up why Hamming's

X & the Book Code - Computerphile

X & the Book Code - Computerphile

Why some numbers just dont work when you're creating

Halting Problem in Python - Computerphile

Halting Problem in Python - Computerphile

No need to understand Turing machines to comprehend the halting problem. Professor Thorsten Altenkirch has a way of using ...

Programming with Proofs - Computerphile

Programming with Proofs - Computerphile

Continuing our look at the

Floating Point Numbers - Computerphile

Floating Point Numbers - Computerphile

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 ...

The Trouble with Missing Data - Computerphile

The Trouble with Missing Data - Computerphile

Software doesn't deal well with missing data, so what can be done about it? Professor Uwe Aickelin talks about whether we need ...

The Hardest Problem in Type Theory - Computerphile

The Hardest Problem in Type Theory - Computerphile

Equality sounds a straightforward idea, but there are subtle

Javascript Card Trick - Computerphile

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 ...

Dealing With Big Data - Computerphile

Dealing With Big Data - Computerphile

Big Data sounds like a buzz word, and is hard to quantify, but the

Saving the Universe (Simulation) - Computerphile

Saving the Universe (Simulation) - Computerphile

If your job involves simulating the creation of the universe, you're going to need a big computer. Dr Julian Onions on the ...