I'm a senior software engineer with a solid academic background and more than a decade of industry experience.

I specialise in high-integrity software that creates new possibilities at scale.

My main areas of interest are:

• byzantine distributed consensus — Trust is an expensive currency. Keep the cheats and liars out of spaces of honesty and certainty;
• socio-digital protocols — Combine essential primitives of social interaction to create new spaces of voluntary cooperation;
• local-first software — Each computer is sovereign and self-sufficient, the server is optional.

Range of expertise and thoroughness of action trump specialisation and expediency. Specialists reinvent wheels, fall for myths of exceptionalism and over-apply their tools. Solving a problem so we can forget about it is cheaper than solving just the part of immediate concern, if there is a non-immediate concern to be had.

I tend towards immutability, determinism, explicitness, completeness, boundedness and parsimony of expressivity as principles that help us keep software performant, reliable and maintainable in face of combinatorial explosion, unbounded indeterminacy and entropy. I thus prefer technologies and techniques such as strongly-typed functional programming languages, containerised runtimes, log-orientated architectures, infrastructure as code, immutable infrastructure, and content-addressed storage.

The apparent alchemy of socio-technological factors that make knowledge-working teams perform, or not, has long fascinated me. More recently I've delved deeper into the topic of organisational structures and emergent leadership, and have been fortunate enough to work with great people with whom I explored healthier, truer and more productive ways of working.

I always have an ear for a crazy idea in need of dependable technical execution for fun, fulfillment and profit. If you have one, DM me maybe.