» Tag
software-engineering
75 postsIntroducing Thales: TypeScript Compiler and JavaScript Engine
Thales is a compiler that converts TypeScript to Lean 4 modules, promoting safer code practices.
Go 1.23 Iterators: Understanding the Yield Contract and Traps
Learn about the yield contract and traps in Go 1.23 iterators.
Testing an AI Product Without Burning Credit: A Playwright Approach
Zephyr Cloud explains how it tests an AI course product built on The AI Platform by intercepting model calls while keeping the real UI and flow intact.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comNexFlow: Defining AI developer teams with YAML manifests
NexFlow defines AI agent teams through auditable YAML manifests instead of hidden prompts, separating capabilities from permissions to clarify approval gates.
AI Agents Powered Bun's Rewrite from Zig to Rust
Bun creator Jarred Sumner used AI coding agents to rewrite Bun from Zig to Rust, fixing memory bugs. Details on the process, cost, and results.
Does Code Cleanliness Affect Coding Agents?
Research explores the impact of code cleanliness on autonomous coding agents, highlighting its importance for efficiency in AI-driven development.
The Right Amount of Specification for Agentic Development
An exploration of the importance and costs of the right amount of specification for agentic development.
Infrastructure Patterns for Agentic Applications
Explore key infrastructure patterns for building resilient agent applications.
Best Practices for Go Middleware in Production
Learn about best practices and ordering rules for Go middleware in production.
Error cascades in multi-agent AI systems: the double pendulum problem
Why do small research errors snowball into massive coding failures in multi-agent pipelines? A look at error amplification and the case for human checkpoints.