
CyberCat Institute
@CyberCatInst
Followers
1K
Following
4
Media
36
Statuses
95
Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Cyberspace
Joined May 2022
New blog post:. From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ .
0
6
21
New blog post, and the start of a new blog series:. Optics for UI 1: Deconstructing React with Parametrised Lenses, by @tangled_zans .
0
12
60
New blog post:. Foundations of bidirectional programming IV:.Running forwards and running backwards.by @_julesh_.
0
7
46
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!.
1
6
31
New blog post:. Foundations of Bidirectional Programming III: The Logic of Lenses, by @_julesh_.
3
8
27
New blog post!. Foundations of Bidirectional Programming I: Well-Typed Substructural Languages, by @_julesh_.
cybercat.institute
This is the first post in a new series documenting my work developing a bidirectional programming language, in which all programs are interpreted as optics. This is something I've been thinking...
0
6
31
New blog post: Beliefs, Belief Propagation and Belief Clusters, by @oliverbeige @econpatterns .
0
9
20