This has been a long time coming! Have you ever wondered what lenses and UI programming have in common? Can we recreate React, Elm, and Redux entirely using pure category theory? Read this series to find out.

New blog post: Bidirectional Typechecking is Bidirectional, by julesh cybercat.institute/2025/01/28/bid…

this is unbelievable, the cybercat institute has done it again! type-checking is a lens!

New blog post: Generalized Transformers from Applicative Functors, by Tuomas Laakkonen cybercat.institute/2025/02/12/tra…

There's a lot that's exciting in here, but personally the thing that really caught my attention was the idea of replacing matrices by continuous probability distributions. Speaking as a true believer in Bayesian learning, I want to know what is a "Bayesian transformer"

I'm writing a new blog series on practical implementation of substructural type systems, in Idris! The first blog post will look at substructural polymorphism and why it's *hard*, harder than people assume on first glance! zanzix.github.io/posts/5-substr…

Nice... I have no very strong opinion on this so far, besides that I really like the title, which I used as a subheading in a 1 year old blog post about compositional active inference, where I sketched (at a very high level) *my* vision of AGI cybercat.institute/2024/02/06/pas…

The sequel to my blog post a few weeks ago on implementing typechecking using lenses. I am not in any way surprised to see going to dependent lenses (aka containers / polynomial functors) reveals additional structure

A short but important post by 𝕆𝕝𝕚𝕧𝕖𝕣 𝔹𝕖𝕚𝕘𝕖: What Is the CyberCat Institute? cybercat.institute/2025/03/03/wha…

A year ago we kicked off the CyberCat Institute to revolutionize one of the most abstract fields in math (category theory) and show that it can be 1⃣ quite useful and 2⃣ actually simplify some things. One of the "some things" is to make building big game theory models workable. /1

New blog post: Pipelines part 2: Dependent Pipelines by André Videla cybercat.institute/2025/03/13/cat…

Next week we're organising a workshop on the role of analogies in (artificial) intelligence, with: Melanie Mitchell (Melanie Mitchell), Martha Lewis (Martha Lewis), Jules Hedges, and Han van der Maas. Register here: d-iep.org/workshopanalog…

New blog post! An Invitation to Neural Picture Alchemy, by Vincent Wang-Maścianica cybercat.institute/2025/05/07/neu…

New blog post: The Untapped Potential of Game Theory in Revenue Management, by Nicolas Eschenbaum cybercat.institute/2025/05/16/gam…

New blog post: From Equilibrium Checking to Learning with the Open Game Engine, by julesh cybercat.institute/2025/06/26/equ…

mom: we have CyberCat Institute at home

The Institute would like to congratulate CyberCat Institute on being the second best type-safe institute on X. We are hoping for a long and fruitful collaboration.

Who is doing the most exciting work at the intersection of PL and LLMs right now?