⟴ circuits

agents are repls (and so are you)

Wed, 15 Jul 2026 00:00:00 +0000

Usage has two ends. You push text in. You pull text out. They are not the same operation, and they are not synchronised — there’s no clock ticking between a push and the next pull. You can push three messages before reading one reply, or read stale output from an hour ago, or push nothing and just watch. The ends are free.

Tea-Leaf Fingerprints

Tue, 16 Jun 2026 00:00:00 +0000

Circuits is an experiment in bundling very simple functions. Three constructors — Lift a plain function, Compose two circuits, Knot a feedback loop — and the whole thing stays open. You can rearrange, measure, annotate, or run it backwards before it ever executes. Version 0.2 adds Net, the piece we were missing for contravariant tracking: a value that flows backwards through the computation, letting us run circuits in reverse.

Haskell and the elegant attack.

Sat, 05 Jun 2021 00:00:00 +0000

Welcome back to the Happy Haskell HAckers Tour. As we approach our next stop, let me firstly apologise for the recent detours. Our bus driver, Yoneda, mixed up the maps and started following the GHC After Dark¹ script. But now we’re back on track, and coming up on your left is our monument to the Haskell literals:

lowercase haskell

Tue, 15 Dec 2020 00:00:00 +0000

Type-level trickery, UpperCase Haskell, is the showy rock-star of Haskell and all power to the Type. I like a good Type as much as anyone, but what keeps me using the language is the work-a-day value-level coding tool-kit - lower case haskell.

Machine Learning

Tue, 28 Jul 2020 00:00:00 +0000

Much advocacy of Haskell, in general, boils down to type-safety and elimination of bugs. How boring. My personal experience is that bugs are trickier in Haskell and I can write bad code in an extraordinary variety of ways.