» Tag
software
190 postsAI Discovered a Linux Bug Missed for 15 Years
AI has identified a bug in the Linux kernel that has existed for 15 years. This discovery is critical for system security.
What 'Senior' Means When Typing Is Free
The concept of senior developer emphasizes judgment beyond typing speed.
Meta Enters AI Coding Wars with Muse Spark 1.2 and Muse Code
Meta's Muse Code and Muse Spark 1.2 launch signals a strong entry into AI coding.
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.comBuoyant Software: How Models Improve and Impact Engineering
Explore how buoyant software improves with AI model advancements and its engineering implications.
Protecting 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.
Graph 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.