julesh
@_julesh_
Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
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…
We’re very proud to share the @noumenal_labs white paper, “How To Build A Brain”: noumenal.ai/how-to-build-a… 1/7
Who is doing the most exciting work at the intersection of PL and LLMs right now?
mom: we have @CyberCatInst at home
The Institute is thankful for the official Blue Checkmark recognition. Working tirelessly for the benefit of humanity is only a part of our mission. Spreading the awareness and not cognitohazards is another. The Institute is hopeful.
New blog post: From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ cybercat.institute/2025/06/26/equ…
New blog post: The Untapped Potential of Game Theory in Revenue Management, by Nicolas Eschenbaum cybercat.institute/2025/05/16/gam…
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: d-iep.org/workshopanalog…
New blog post! An Invitation to Neural Picture Alchemy, by @vinnylarouge cybercat.institute/2025/05/07/neu…
New blog post: Pipelines part 2: Dependent Pipelines by André Videla cybercat.institute/2025/03/13/cat…
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? cybercat.institute/2025/03/03/wha…
A short but important post by @oliverbeige: What Is the CyberCat Institute? cybercat.institute/2025/03/03/wha…
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
New blog post: Bidirectional Typechecking with Dependent Lenses, by @andre_videla cybercat.institute/2025/02/24/dep…
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…
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 cybercat.institute/2025/02/12/tra…
New blog post: Generalized Transformers from Applicative Functors, by Tuomas Laakkonen cybercat.institute/2025/02/12/tra…
this is unbelievable, the cybercat institute has done it again! type-checking is a lens!
New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ cybercat.institute/2025/01/28/bid…
New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ cybercat.institute/2025/01/28/bid…
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, and the start of a new blog series: Optics for UI 1: Deconstructing React with Parametrised Lenses, by @tangled_zans cybercat.institute/2025/01/21/ui-…