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

Formal verification is one of the hardest things in software engineering. You need fluency in a proof assistant, deep understanding of invariant discovery, and months - sometimes years - of dedicated effort. This expertise barrier has limited formal verification to a handful of well-funded teams working on a handful of high-value targets. Formal verification is … Continue reading 📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour →

Adding Weighted Task Selection to a GitHub Agentic Workflow

In my previous post I introduced Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows. In my first version of Repo Assist, tasks were selected by round-robin: the agent tracked which tasks it had run most recently and rotated through them. This worked, but it had a problem - the agent was spending equal … Continue reading Adding Weighted Task Selection to a GitHub Agentic Workflow →

Generative AI and Changing Inputs

In previous posts I've written about Natural Language Programming, and Intent/Realization Toolchains as two grounding concepts in AI productivity tools, particularly AI for Code. In this post I want to explore another angle that comes up in features in AI productivity tools, particularly those that generate documentation, synthesize specifications, discover build rules or other "extractive" … Continue reading Generative AI and Changing Inputs →

Towards Semi-automatic Agentic Performance Engineering

(This blog post is written in personal tone, but relates to our work at GitHub Next and may be moved to https://githubnext.com in future. A huge thank you to Peli de Halleux, Joe Zhou, Eddie Aftandilian, Russell Horton, Idan Gazit and many others at GitHub Next, and the GitHub platform leadership of Mario Rodriguez. I'm … Continue reading Towards Semi-automatic Agentic Performance Engineering →

GitHub Agentic Workflows

I'm excited to share our latest research demonstrator from GitHub Next - "GitHub Agentic Workflows - Natural Language Programming for GitHub Actions" .https://githubnext.com/projects/agentic-workflows/Agentic Workflows focuses on expressing repository‑level behaviors in natural language and running them on GitHub. Agentic Workflows is not a product and not even a technical preview; it's a vehicle for exploring the agentic design space, … Continue reading GitHub Agentic Workflows →