Blog

Dependent optics II: Optics via forcing costates - October 16, 2025
From equilibrium checking to learning with the Open Game Engine - June 26, 2025
Bidirectional typechecking is bidirectional - January 28, 2025
Foundations of bidirectional programming IV: Running forwards and running backwards - January 3, 2025
Mathematics for governance design - October 28, 2024
Foundations of bidirectional programming III: The logic of lenses - September 12, 2024
Foundations of bidirectional programming II: Negative types - September 5, 2024
Foundations of bidirectional programming I: Well typed substructural languages - August 26, 2024
The yoga of contexts I - June 28, 2024
Exploring best response dynamics - May 9, 2024
Enriched closed lenses - April 12, 2024
Colimits of selection functions - April 1, 2024
Learning with invariant preferences - March 18, 2024
Iteration with optics - February 22, 2024
Passive inference is compositional, active inference is emergent - February 6, 2024
AI safety meets value chain integrity - December 11, 2023
The cursed families fibration - August 16, 2023
Monadic lenses are the optic for right monad modules III - June 28, 2023
Monadic lenses are the optic for right monad modules II - June 24, 2023
Monadic lenses are the optic for right monad modules I - June 7, 2023
Geometry of interaction is the optic for copointed functors - January 28, 2023
Making Haskell lenses less pointless - January 14, 2023
What is categorical cybernetics? - May 29, 2022
Selection functions and lenses - March 30, 2021
Free publishing - February 16, 2021
Probabilistic programming with continuations - August 15, 2020
Towards dependent optics - June 10, 2020
Subgame perfection made difficult - May 26, 2020
Open games with stateful payoffs - May 17, 2020
Lax functors describe emergent effects - December 2, 2019
Categorical cybernetics: A manifesto - November 27, 2019
Symmetric polymorphic lenses (maybe) - October 16, 2019
Are open games useful for my problem? - October 13, 2019
Folklore: Monoidal kleisli categories - April 18, 2019
Lenses for philosophers - August 16, 2018
The pre-history of open games - April 2, 2018
The rising sea in applied mathematics - February 27, 2018
Towards compositional game theory - January 16, 2018
A first look at open games - September 29, 2017
Breaking the rules - August 16, 2017
A generalisation of Nash's theorem with higher-order functionals - June 1, 2017
Blockchains with institutions - May 27, 2017
On compositionality - April 22, 2017
Academia and branding - April 8, 2017
Abusing the continuation monad - September 22, 2016