• 0%
    0 votes
  • Rate this episode
    What did you think?
  • 4
    watchers
  • 6
    plays
  • 6
    collected

Computerphile: Season 2020

2020x48 Facebook's Code Checker
TV-G

  • 2020-10-13T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
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.
Loading...