Mathematical logic was developed in an effort to provide formal foundations
for mathematics. In this quest, which ultimately failed, logic begat
computer science, yielding both computers and theoretical computer science.
But then logic turned out to be a disappointment as foundations for
computer science, as almost all decision problems in logic are either
unsolvable or intractable. Starting from the mid 1970s, however, there
has been a quiet revolution in logic in computer science, and problems that
With the rise of large-scale digitization efforts over the past ten years (such as those by Google Books, the HathiTrust, and the Internet Archive), we now have access to large textual datasets preserving our cultural record in the form of printed books. These text collections have driven research at the intersection of computational methods and the humanities, exploiting advances made over past thirty years in natural language processing and machine learning.
Join us as we dive into an ongoing engineering project to build an advanced traffic handling system that out-smarts and out-performs standard internet routing. Experience an insider’s view of research and engineering at Cloudflare as we hunt down latency to make the internet better for everyone. #SaveTheInternet