# kleisli blog
> Applying effect systems and type theory to infrastructure.

## Blog posts

- An Experiment in Heterogeneous Software Builds (2026-06-10, 43 min read)
  https://blog.kleisli.io/raw/metabuilder-an-experiment-in-heterogeneous-builds

- Dependent Types in Pure Nix (2026-02-24, 19 min read)
  https://blog.kleisli.io/raw/dependent-types-in-pure-nix

- Trampolining Nix with genericClosure (2026-02-22, 12 min read)
  https://blog.kleisli.io/raw/trampolining-nix-with-generic-closure

- Agent Coordination Is a Distributed Systems Problem (2026-02-20, 24 min read)
  https://blog.kleisli.io/raw/agent-coordination-distributed-systems

## Feeds

- RSS: https://blog.kleisli.io/feed.xml

## Canonical doc corpus

- https://docs.kleisli.io/llms.txt
- Docs site: https://docs.kleisli.io
- Architecture: https://docs.kleisli.io/kli/reference/architecture