Why Visual Programming Doesn’t Suck

I’m here to tell you that visual programming, and diagrammatic reasoning in particular, is a…

Elliptic Curve Pairings

I

At Statebox we are exploring using boolean circuits to model computation. One thing we’d…

Modularity vs Compositionality: A History of Misunderstandings

I claim that compositionality is extremely delicate, and that it is so powerful that it is worth going to extreme lengths to achieve it. [Jules Hedges]

Fun with Categories

In the past years there’s been a lot of talk about category theory in the functional programming community. This is because…

Visual Programming: What Went Wrong and Is There Room For Improvement?

On Lawful Lenses

Lately there has been a lot of hype around lenses and optics in general, both in the…

Boolean Circuits in Libsnark

At Statebox we use category theory to model computation, where the objects of a category represent the…