I'm Conor Svensson — a technical founder in London. I've spent a decade building developer tools and infrastructure for blockchains. These days I write here about how AI is changing the way I build things.
Latest writing
-
How agents are making software provably secure
Agentic development is fuelling a resurgence in formal verification, enabling engineers to go beyond simply testing, to mathematically prove the robustness of software.
-
From private chats to shared agents
Shared agents are changing how teams work with LLMs. But running them yourself can be a significant undertaking with security implications.
-
Why non-engineers ship unmaintainable code with AI agents
Coding agents are optimised to appease the operator, not to think critically. Without an operator who understands engineering, you get working demos that fall apart when someone tries to maintain them.