New blog post: Beliefs, Belief Propagation and Belief Clusters, by 𝕆𝕝𝕚𝕧𝕖𝕣 𝔹𝕖𝕚𝕘𝕖 econpatterns cybercat.institute/2024/08/15/bel…

New blog post! Foundations of Bidirectional Programming I: Well-Typed Substructural Languages, by julesh cybercat.institute/2024/08/26/bid…

New post: On Modelling, by 𝕆𝕝𝕚𝕧𝕖𝕣 𝔹𝕖𝕚𝕘𝕖 econpatterns cybercat.institute/2024/09/02/on-…

New blog post: Foundations of Bidirectional Programming II: Negative Types, by julesh cybercat.institute/2024/09/05/bid…

New blog post: Foundations of Bidirectional Programming III: The Logic of Lenses, by julesh cybercat.institute/2024/09/12/bid…

Last week we held a workshop "Mathematics for Governance Design" organised with Metagov & @the_IGRI, funded and hosted by ICMS It was a fascinating week of interaction between social scientists and category theorists. Blog post soon! icms.org.uk/GovernanceDesi…

New blog post: On Hopfield Networks and Boltzmann Machines, by 𝕆𝕝𝕚𝕧𝕖𝕣 𝔹𝕖𝕚𝕘𝕖 econpatterns cybercat.institute/2024/10/14/hop…

NEVER FORGET WHAT THEY TOOK FROM YOU

New blog post: Mathematics for Governance Design, by julesh cybercat.institute/2024/10/28/mat…

New blog post: Foundations of bidirectional programming IV: Running forwards and running backwards by julesh cybercat.institute/2025/01/03/bid…

New blog post: Programing Pipelines Using Dependent Types, by André Videla cybercat.institute/2025/01/13/pro…

New blog post, and the start of a new blog series: Optics for UI 1: Deconstructing React with Parametrised Lenses, by Zanzi Tangle, now at Monoidal Cafe cybercat.institute/2025/01/21/ui-…

New blog post: Bidirectional Typechecking is Bidirectional, by julesh cybercat.institute/2025/01/28/bid…

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

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

A short but important post by 𝕆𝕝𝕚𝕧𝕖𝕣 𝔹𝕖𝕚𝕘𝕖: What Is the CyberCat Institute? cybercat.institute/2025/03/03/wha…

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

New blog post! An Invitation to Neural Picture Alchemy, by Vincent Wang-Maścianica cybercat.institute/2025/05/07/neu…

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