@dsyme on software

Lean Squad: Automated Software Verification with Near-Zero Human Labour

Start Your Day With Code That’s Better 🌤️

Adding Weighted Task Selection to a GitHub Agentic Workflow

🌈Repo Assist: A Repository Assistant

On the GitHub Blog: “Automate repository tasks with GitHub Agentic Workflows”

July 2025: Creating a compiler with a swarm

Generative AI and Changing Inputs

Three Laws of Developer Tools

Goethe on Coding Agents

Towards Semi-automatic Performance Engineering

Intent, meet Toolchain: Specifications, Agents and Tools

What Kind of Programming is Natural Language Programming?

The Joys of King’s College London

On Natural Language Programming

On Continuous AI for Test Improvement

GitHub Agentic Workflows

Introducing “Continuous AI”

AI-assisted Software Development – Trends and Lessons (lecture to 1st year students, KCL)

LLMs Love Python

Extract, Edit, Apply – a design pattern for AI