Tag
Discusses the debate on whether libraries should log errors themselves or propagate them to the calling application, highlighting differing practices across ecosystems like Go's slog.
A tech commentator notes that success stories about rewrites and migrations published by companies are half-truths, omitting negatives and internal incentives, and warns that copying them without understanding context leads to disappointment.
The article critiques Anthropic's narrative that AI will replace software engineering, discusses the controversy surrounding Bun's rewrite from Zig to Rust, and praises Zig creator Andrew Kelley's blunt response to the migration's justification.
The article explores loop engineering as a potentially missing discipline for developing robust production agents in AI systems.
This paper formalizes the 'patchwork problem' where LLM-generated code is locally correct but structurally incoherent across a codebase, proposes a taxonomy of eight failure categories and a hybrid verification framework, and demonstrates that many failures evade current tools.
Amy J. Ko shares her critical perspective on AI-assisted software development, exploring the promises and pitfalls of using LLMs for coding, and recounts her three-month experiment to evaluate the real impact on productivity and practice.
Gergely Orosz observes that the discussion about AI enabling mainstream formal verification has faded, and questions why AI hasn't impacted that field.
The article argues that in large codebases, it's acceptable and often necessary to have only partial understanding, contrary to the ideal of complete comprehension advocated by Peter Naur's 'Programming as Theory Building'. It defends the practice of working with limited understanding in high-turnover, large-scale environments.
This paper introduces an Agent-Computer Interface (ACI) for autonomous coding agents, replacing raw bash with purpose-built commands for navigation, editing, and feedback, achieving state-of-the-art results on SWE-bench and HumanEvalFix.
A discussion with Lucas Wargha on how software engineers can shift toward product engineering by focusing on customer outcomes, with examples like Gmail's background inbox loading.
Gergely Orosz hosts his first AMA episode, answering questions on AI-native SDLC, AI in hiring, engineering management, and sharing how the pandemic led to his writing career.
Argues that despite AI coding agents, humans still benefit from writing code for better understanding, ownership, and maintaining software quality.
The article warns that relying on LLMs to write code without maintaining good patterns teaches the AI bad habits, leading to a codebase full of duplicated logic and ever-worsening code quality.
A tweet questioning why AI-powered apps haven't significantly improved in quality despite claims that building with AI is easier than ever.
The article discusses how the development of AI agents may increasingly become a challenge of operational efficiency rather than just technological advancement.
Summarizes the professional terminology used in Matt Pocock's Grill-Me series of Skills (such as Tracer Bullet, Seam, Design Tree, Throwaway Prototype), and explains how they help AI understand and generate more efficient development solutions.
The article analyzes how, after the release of AI Agents like Claude Code, software development job postings in the US have increased rather than decreased. It points out that the market is shifting from needing executors to needing senior developers who can steer Agents, and that Agents are redefining the role of programmers.
A tweet from @Franc0Fernand0 advises engineers to master 12 fundamental data structures and algorithms topics before jumping into LeetCode, suggesting one topic per week.
A tweet arguing that software rewrites can be good, cheap, and fast, especially as AI models improve at filling testing and verification gaps.
OpenAI describes its audit of SWE-Bench Pro using model-based investigator agents and independent reviews from experienced software engineers to ensure thorough evaluation at scale.