“In search of precision and grace.”

We are senior engineers, each leading our own engagements from first audit to final handover. How the practice is organised — the roster, the policies, the contracts — is written down on the about page.

Our engineers have spent their careers in the places where high-assurance software is made. Much of that history is public — see our track record.

What We Have Built

• The tooling the ecosystem runs on. Founding authors of the build tooling and package infrastructure behind production deployments worldwide — we will point you to it.
• The bookshelf. Published books and training programmes on practical typed functional programming, written by our engineers, taught to working teams, and read by them.
• The teams. Our engineers have hired, mentored, and led more than a hundred engineers through real delivery pressure.
• The stage. Our engineers write for the industry’s journals and speak at its conferences — we will point you to the talks and publications.
• Open source in production. Encrypted secrets in version control, correct process supervision for containers, health checks for the failure modes people forget — built by us, and running in production for years.
• Skin in the game. Our partners write open-source code every week.