Generated code arrives faster than any human review process can absorb. We work on the layer underneath: contracts in the configuration, checks in the build, evidence in the outputs.
the work
A short first look at where failures surface too late, and which check was missing. No code changes.
Module systems and validators that catch misconfiguration before anything builds.
Pipelines whose outputs trace back to the exact code, model, and data that produced them.
Coordination layers that carry the audit trail agent-driven work needs.
The shape of an engagement follows the problem. We work in your stack, alongside your team.
We're currently running the complete technical infrastructure for the Lie-Størmer Center, Norway's national center for mathematics, out of Tromsø. The same stack runs this site.
We built and maintain nix-effects, an open Nix toolkit for typed descriptions and generic walkers (github.com/kleisli-io/nix-effects).
If something here matches, the fastest next step is an email describing what broke and when.