#coding
Every summary, chronological. Filter by category, tag, or source from the rail.
Formal Verification for AI-Generated Code with Lean4
As AI agents generate code at scale, traditional testing and human review fail to guarantee correctness. Formal verification using Lean4 allows developers to define specifications that machines prove mathematically, ensuring code is correct for every possible input.
AI EngineerRapid Prototyping and Deployment with Google AI Studio
Use Google AI Studio's build mode to generate, iterate, and deploy full-stack web applications via natural language prompts, bypassing manual coding for initial scaffolding.
7 Modular Design Patterns for AI Coding Agents
Improve AI coding agent performance by replacing long, confusing prompts with modular 'skills'—specialized text files that the agent loads dynamically only when needed.
Google Cloud TechAudit Your Coding Agent Configuration
Agent configuration files like CLAUDE.md and custom skills suffer from 'rot' and bloat. Regular audits using tools like /doctor are essential to remove stale instructions, as modern models often perform better with leaner, more focused context.
AgentRoom: Enabling Concurrent Multi-Agent Coding via CRDTs
AgentRoom introduces a shared, CRDT-backed workspace that allows multiple AI agents to collaborate on code concurrently, solving consistency and conflict issues in multi-agent software engineering.
Optimizing Code Models with Function-Level Execution Feedback
Improving code generation models by using granular, function-level execution feedback rather than binary pass/fail signals to guide preference optimization.
Building Real-Time Voice AI Agents with Gemini Live
Gemini Live enables bidirectional, audio-native conversations by using WebSockets for streaming and built-in voice activity detection to handle interruptions and tool execution.
Google Cloud TechKVBoost: Accelerating LLM Inference via Chunk-Level Cache Reuse
KVBoost improves LLM inference latency by 4.49x by enabling chunk-level KV cache reuse regardless of position, using a dual-hash keying scheme and deviation-guided recomputation to maintain accuracy.
Moving Beyond Fast Code: Building Context-Aware AI Agents
AI coding agents often create 'fast chaos' by ignoring architectural constraints. To be effective, agents must prioritize repository awareness, explicit planning, and systematic verification over simple code generation.
IBM TechnologyDesign Taste for AI Agents: Avoiding 'Vibe-Coded' Slop
To build high-quality AI apps, treat AI output as a base rather than a final product. Use specific 'slop gates' to block common AI design patterns, provide visual references, and iterate using smaller, faster models.
AI EngineerAdversarial Review: Improving Agentic Code Quality via Disagreement
Adversarial Review improves agentic code quality by forcing AI agents to engage in structured disagreement, moving beyond simple consensus to uncover hidden bugs and architectural flaws.
Modernizing Legacy Codebases with AI Agents
Tackle legacy code by treating AI as a coworker: use a three-step 'plan, execute, verify' workflow, prioritize test-driven development, and enforce strict guardrails to prevent hallucinations and errors.
Google Cloud TechPrototyping as Leadership: Shipping with AI Agents
CTOs and leaders can reclaim building time by using AI agents for overnight coding loops, allowing them to maintain technical intuition, prototype features, and model high-quality engineering standards.
Building a Custom AI-Powered Prototyping Playground
Patrick Morgan built a custom, agent-native prototyping environment for Sublime Security that bridges the gap between static design tools and production code, enabling rapid, interactive iteration without the overhead of traditional design handoff.
Dive ClubMoving Beyond Line-by-Line Code Reviews with AI
Code reviews are failing because they are bottlenecked and often ignored. Instead of reviewing diffs, teams should review intent and evidence by capturing AI-session decisions, codifying recurring feedback into a registry, and automating verification.
AI EngineerApplying RAD Methodology to AI-Driven Development
Rapid Application Development (RAD) provides a proven framework for AI coding: plan lightly, prototype iteratively, and use spec-driven development to bridge the gap between AI-generated prototypes and production-ready software.
Practical Loop Engineering for AI Agents
Loop engineering uses autonomous feedback cycles to automate repetitive tasks. By combining 'goal' primitives for bounded tasks and 'loop' primitives for scheduling, developers can build reliable agentic workflows while maintaining human oversight for critical judgment.
WebGrader: Self-Evolving Programmatic Evaluation for Web LLMs
WebGrader improves LLM web development capabilities by using a self-evolving programmatic grading system that automatically generates and refines test cases to ensure code accuracy.
Anthropic Enables Auto Mode by Default in Claude Code
Starting August 14, Anthropic will make 'auto mode' the default for Claude Code, citing higher safety efficacy compared to manual human review.
Agentic Engineering Patterns from the Claude Certified Architect Exam
Build robust AI agents by treating them as specialized, isolated units, managing context strictly, and designing loops that handle stop reasons rather than assuming successful execution.
AI EngineerSecure AI Coding: A Framework for Production-Ready Agents
To use AI agents securely, treat them like junior developers: enforce small, test-driven batches, provide scoped context, use hardened sandboxing, and verify output with traditional security tooling.
Google Cloud TechAgentic Engineering: From Writing Code to Orchestrating Systems
Agentic engineering shifts the developer's role from writing deterministic code to designing, constraining, and supervising autonomous AI systems that operate on probabilistic judgment.
IBM TechnologyAutomating Ascend C Operator Generation with AgenticCANN
AgenticCANN leverages a knowledge-augmented agentic evolution framework to automate the complex, manual process of writing high-performance Ascend C operators for AI hardware.
Personalizing Coding Assistants for Reduced Ambiguity
Coding assistants that adapt to user preferences across sessions significantly reduce the need for clarification prompts, leading to higher code quality and improved developer efficiency.
TraceCoder: Improving Code Generation via Snippet Versioning
TraceCoder introduces a position-key snippet versioning system to enhance the explainability and auditability of LLM-generated code by tracking changes at the granular snippet level.
Building AI-Powered Products: Workflows, Agents, and Community
A deep dive into modern design engineering, exploring how AI agents and mixed-media workflows are enabling builders to experiment faster, ship code directly, and foster community through interactive, live-demo projects.
Dive ClubKernel Forge: Automating CUDA Kernel Optimization with AI Agents
Kernel Forge is an agentic framework that automates the generation, compilation, and iterative optimization of CUDA kernels, bridging the gap between high-level LLM code generation and low-level hardware performance.
Shifting from Writing Code to Reviewing AI Output
AI coding agents don't replace developer craft; they shift the primary responsibility from writing code to rigorous review, verification, and production safety.
Google Cloud TechModernizing Scientific Software with Coding Agents
Coding agents accelerate scientific software development by automating tedious implementation tasks, allowing researchers to shift their focus from writing code to defining requirements, validating scientific accuracy, and ensuring long-term stewardship.
Execution-Grounded Security Testing for Coding Agents
Coding agents often introduce security vulnerabilities that static analysis misses. This paper proposes an execution-grounded testing framework that validates agent-generated code in sandboxed environments to detect runtime security flaws.
Showing 30 of 293