Yes. Yes it did.

RT @tangled_zans: Who is doing the most exciting work at the intersection of PL and LLMs right now?.

RT @typememetics: The Institute would like to congratulate @CyberCatInst on being the second best type-safe institute on X. We are hoping….

RT @scheminglunatic: mom: we have @CyberCatInst at home.

RT @CyberCatInst: New blog post:. From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ . h….

RT @CyberCatInst: New blog post:. The Untapped Potential of Game Theory in Revenue Management, by Nicolas Eschenbaum. .

RT @Abelaer: Next week we're organising a workshop on the role of analogies in (artificial) intelligence, with:. Melanie Mitchell (@MelMitc….

RT @CyberCatInst: New blog post!. An Invitation to Neural Picture Alchemy, by @vinnylarouge . .

RT @CyberCatInst: New blog post:. Pipelines part 2: Dependent Pipelines.by André Videla.

RT @oliverbeige: A year ago we kicked off the @CyberCatInst to revolutionize one of the most abstract fields in math (category theory) and….

RT @CyberCatInst: A short but important post by @oliverbeige: What Is the CyberCat Institute?. .

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.

RT @tangled_zans: I'm writing a new blog series on practical implementation of substructural type systems, in Idris!. The first blog post w….

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".

RT @CyberCatInst: New blog post:. Generalized Transformers from Applicative Functors, by Tuomas Laakkonen. https://….

RT @tangled_zans: this is unbelievable, the cybercat institute has done it again!. type-checking is a lens!.

RT @CyberCatInst: New blog post:. Bidirectional Typechecking is Bidirectional, by @_julesh_.

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?.

RT @tangled_zans: This has been a long time coming! . Have you ever wondered what lenses and UI programming have in common? . Can we recrea….

This is the start of something big. The potential of @tangled_zans's research in frontend alone is big enough, but combined with @andre_videla's work on backend also using Para(Lens), we are going to build *the first ever full stack language based on sound theoretical principles*.