Yes. Yes it did.

New blog post: Dependent Optics II: Optics via Forcing Costates, by @_julesh_ https://t.co/lf3MmtXeZI

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

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

mom: we have @CyberCatInst at home

New blog post: From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ https://t.co/iDtjD0qAVy

New blog post: The Untapped Potential of Game Theory in Revenue Management, by Nicolas Eschenbaum https://t.co/TMK1LfDx4g

Next week we're organising a workshop on the role of analogies in (artificial) intelligence, with: Melanie Mitchell (@MelMitchell1), Martha Lewis (@marthaflinders), Jules Hedges, and Han van der Maas. Register here:

New blog post! An Invitation to Neural Picture Alchemy, by @vinnylarouge https://t.co/YR8Iij7MUO

New blog post: Pipelines part 2: Dependent Pipelines by André Videla https://t.co/6uwG5VGnJb

A year ago we kicked off the @CyberCatInst 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

A short but important post by @oliverbeige: What Is the CyberCat Institute? https://t.co/reryrTwJCo

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

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 https://t.co/z6l7p0fqN2

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! https://t.co/1vdpjgysPs

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"

New blog post: Generalized Transformers from Applicative Functors, by Tuomas Laakkonen https://t.co/AkUNYrk2uY

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

New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ https://t.co/fvA17yYVOF

I have a question for the hivemind. It's very early days because we don't even have a baby prototype yet, but in principle, who might fund the development of the first actually good full stack programming language?

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.