Facebook’s Code Checker – Computerphile


From 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


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 useful was this post?

Click on a star to rate it!

Average rating 0 / 5. Vote count: 0

No votes so far! Be the first to rate this post.

We are sorry that this post was not useful for you!

Help us improve our content!

Tell us if mBlip should continue to feature this YouTuber's content.