CyberCat Institute
@CyberCatInst
Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
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…
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 short but important post by @oliverbeige: What Is the CyberCat Institute? cybercat.institute/2025/03/03/wha…
New blog post: Bidirectional Typechecking with Dependent Lenses, by @andre_videla cybercat.institute/2025/02/24/dep…
New blog post: Generalized Transformers from Applicative Functors, by Tuomas Laakkonen cybercat.institute/2025/02/12/tra…
New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ cybercat.institute/2025/01/28/bid…
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-…
New blog post: Programing Pipelines Using Dependent Types, by @andre_videla cybercat.institute/2025/01/13/pro…
New blog post: Foundations of bidirectional programming IV: Running forwards and running backwards by @_julesh_ cybercat.institute/2025/01/03/bid…
New blog post: Mathematics for Governance Design, by @_julesh_ cybercat.institute/2024/10/28/mat…
New blog post: On Hopfield Networks and Boltzmann Machines, by @oliverbeige @econpatterns cybercat.institute/2024/10/14/hop…
Last week we held a workshop "Mathematics for Governance Design" organised with @metagov_project & @the_IGRI, funded and hosted by @ICMS_Edinburgh It was a fascinating week of interaction between social scientists and category theorists. Blog post soon! icms.org.uk/GovernanceDesi…
New blog post: Foundations of Bidirectional Programming III: The Logic of Lenses, by @_julesh_ cybercat.institute/2024/09/12/bid…
New blog post: Foundations of Bidirectional Programming II: Negative Types, by @_julesh_ cybercat.institute/2024/09/05/bid…
New post: On Modelling, by @oliverbeige @econpatterns cybercat.institute/2024/09/02/on-…
New blog post! Foundations of Bidirectional Programming I: Well-Typed Substructural Languages, by @_julesh_ cybercat.institute/2024/08/26/bid…
New blog post: Beliefs, Belief Propagation and Belief Clusters, by @oliverbeige @econpatterns cybercat.institute/2024/08/15/bel…
