Facebook's Code Checker - Computerphile

Watch on YouTube

Show annotations

64,865

2,891

62

Genre: Education

Family friendly? Yes

Wilson score: 0.9732

Rating: 4.916 / 5

Engagement: 0.0455%

Computerphile

Subscribe | 1.78M

Shared October 13, 2020

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_...
How Turing Machines Work: https://www.youtube.com/watch?v=dNRDv...

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