» Tag
software
227 postsProtecting the Rust Standard Library from Accidental Breakage
The Rust standard library now uses cargo-semver-checks to prevent accidental breakage.
Creusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
REFLEX: Record a GUI Workflow, Replay Without LLM Calls
REFLEX allows you to record GUI workflows and replay them quickly without LLM calls.
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.comGraph Engineering Needs a Compiler
Graph engineering offers a vital approach to understanding interactions in AI-generated code.
Why Standard Test Automation Misses the Failures That Matter in AI Agent Systems
Explore the failures standard tests miss in AI agent systems and the need for specialized quality engineering.
AI and Compilers: A New Approach to Software Development
AI is reshaping the role of compilers in software development, offering new tools and systems.
The Right Amount of Spec for Agentic Development
An analysis of the necessity and importance of proper specification in agentic development.
Do It by Hand First: Keeping Critical Thinking Alive in the AI Era
The importance of solving problems manually before automation and its relation to AI.
Six Questions to Consider Before Adding an LLM
Critical questions to ask before integrating an LLM into your workflow. Assess your process carefully.
What a 2019 API Client Teaches About Modern .NET
The 2019 .NET client from SerpApi reveals key lessons for modern application development.