Staff engineer Sean Goedecke now uses LLMs to produce entire pull requests in familiar code areas, relying on agents for every change and pushing PRs after a single editing pass as of early 2026. He a…
Zed now allows users to sign in with their ChatGPT account to access OpenAI models directly through its agent, with usage included in existing ChatGPT subscriptions rather than billed per token. The i…
A developer created a PowerShell script that integrates GitHub Copilot's CLI statusline with Oh My Posh, using a Catppuccin theme. The script parses JSON payloads from Copilot to display real-time tok…
Lamport Agent**, an AI-assisted tool that uses large language models (LLMs) to automatically generate formal specifications and detect race conditions from production codebases. It demonstrates the ag…
Recent breakthroughs in AI have enabled it to autonomously generate accurate formal specifications from large production codebases, as demonstrated when GitHub Copilot produced precise TLA+ specificat…
Experiment evaluating the AI coding assistant Windsurf on a complex, real-world task: implementing a group ID feature in Microsoft's RSL (Replicated State Library), a 7,500+ line codebase used in Azur…
Several key challenges faced by the Cursor development team, including improving context retrieval by training a custom reranker to filter 500k tokens down to 8k, creating a "copilot for edits" to han…