Mission
At Type Theory Forall, we are on a mission to share our passion for computer science — not just as a tool, but as a profound lens through which we can explore the very fabrics of logic, nature, and reality. In an era dominated by AI hype and shallow engineering checklists, we offer a countercultural voice: one that re-centers the awe, wonder, and beauty at the heart of our discipline.
Computer science is not just about building products or optimizing pipelines. It is a science — rich with mystery, creativity, and conceptual depth. It holds within it treasures like the λ-calculus, the Turing machine, and the Curry-Howard isomorphism — ideas that illuminate not only what computation does, but what it is. These ideas are often locked away within the walls of academia, accessible only to those fluent in dense jargon or buried in obscure papers. But we believe that everyone has the right to see, feel, and understand just how deep and beautiful these ideas are — how essential they are to what it even means to compute. We're here to make them accessible, digestible, and palatable to a wider audience, without losing the depth that makes them so profound.
We see ourselves as part of a resistant, artistic movement: one that insists on depth over trend, meaning over metrics. Like Max Planck once said, “Science cannot solve the ultimate mystery of nature... because we ourselves are part of the mystery.” This insight is central to our approach. To understand someone's research deeply, we must understand the person behind it — their story, their values, their motivations. That's why we host long format conversations that blends rigorous intellectual exploration with heartfelt curiosity about our guests' lives.
And above all, we are here to have fun. To revel in ideas, to laugh, to think, to feel. Type Theory Forall is a celebration of the human spirit inside computer science.
People
Type Theory Forall is hosted by Pedro Abreu .
Some times Dan Plyukhin joins us as co-host.
Our design and branding is handled by Luiz Curado from Overblur.
Our store operations and design assistance are handled by Davi Bento.
