@dsyme on software

We have a draft of new report from GitHub Next!

We have recently written a SIGPLAN PL Perspectives article: Repositories Are Human/Agent Knowledge Factories Here’s a simple example of what that means in practice: The Large File Simplifier Imagine you have problems where humans and AI produce code where…

Formal verification is one of the hardest things in software engineering.

I have been using GitHub Agentic Workflows to help automate the maintenance of software libraries and tools.

In my previous post I introduced Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows.

I have spent the weekend using GitHub Agentic Workflows to make Repo Assist, a generic, all-purpose automated repository assistant for software maintainers.

Happy to share my latest post to the GitHub Blog, with “Peli” de Halleux.

People using “coding agents in a loop” have discovered the joy of implementing programming language compilers using this technique.

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.

Developer tools are some of the most interesting, inspiring and satisfying jobs in the industry.