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: [ Ссылка ]
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 [ Ссылка ]

свернуть