Bitte nutzt auch die anderen Instanzen, wenn es hier mal nicht funktioniert und um die Last auf alle zu verteilen.

Facebook's Code Checker - Computerphile

Watch on YouTube (Embed)

Show annotations

Download is disabled.




Genre: Education

Family friendly? Yes

Wilson score: 0.9754

Rating: 4.9217 / 5

Engagement: 3.9203%


Subscribe | 1.92M

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.

Turing & The Halting Problem:
How Turing Machines Work:

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at