New blog post: Autodiff through function types: Categorical semantics the ultimate backpropagator, by @_julesh_ cybercat.institute/2026/02/2…

New blog post: Dependent Optics II: Optics via Forcing Costates, by @_julesh_ cybercat.institute/2025/10/1…

New blog post: From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ cybercat.institute/2025/06/2…

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

New blog post! An Invitation to Neural Picture Alchemy, by @vinnylarouge cybercat.institute/2025/05/0…

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

A short but important post by @oliverbeige: What Is the CyberCat Institute? cybercat.institute/2025/03/0…

New blog post: Bidirectional Typechecking with Dependent Lenses, by @andre_videla cybercat.institute/2025/02/2…

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

New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ cybercat.institute/2025/01/2…

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/2…

New blog post: Programing Pipelines Using Dependent Types, by @andre_videla cybercat.institute/2025/01/1…

New blog post: Foundations of bidirectional programming IV: Running forwards and running backwards by @_julesh_ cybercat.institute/2025/01/0…

New blog post: Mathematics for Governance Design, by @_julesh_ cybercat.institute/2024/10/2…

New blog post: On Hopfield Networks and Boltzmann Machines, by @oliverbeige @econpatterns cybercat.institute/2024/10/1…

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/GovernanceDesign

New blog post: Foundations of Bidirectional Programming III: The Logic of Lenses, by @_julesh_ cybercat.institute/2024/09/1…

New blog post: Foundations of Bidirectional Programming II: Negative Types, by @_julesh_ cybercat.institute/2024/09/0…

New post: On Modelling, by @oliverbeige @econpatterns cybercat.institute/2024/09/0…