testing

Turso used the Quint formal verification tool to model SQLite's C API and discovered over 10 bugs in SQLite itself, enhancing the reliability of their SQLite rewrite.

Drizz, an AI agent for mobile/web app testing that uses plain English and visual understanding, is launching on Product Hunt after securing 14 pilot customers through cold outreach and referrals.

cargo-crap is a Rust tool that uses the CRAP metric to identify functions that are both complex and poorly tested, helping developers manage risk in AI-generated code.

The author explains switching to a Markdown-based test suite for EndBASIC's compiler and VM, motivated by making the tests serve as canonical documentation for LLMs to learn the language's idiosyncrasies.

Tesla is testing its Cybercab robotaxi in Texas with full steer-by-wire technology, indicating faster-than-expected progress toward autonomous ride-hailing.

Jarred Sumner shares a favorite test failure during Bun's Rust rewrite: TOML and YAML parsers stack overflow tests failed because the Rust implementation could handle deeper nesting than expected.

AnyFrame provides sandboxes for AI agents, enabling safe testing and development.

Savepoint is a command watcher tool that automatically creates a git commit when a specified command (e.g., tests) runs successfully, helping developers save progress after fixing errors.

This tweet summarizes an OpenAI article on Harness Engineering and Codex, discussing challenges and insights from building a 1M-line internal product using AI agents.

A user describes a CLI tool that controls the entire desktop via hybrid mouse, keyboard, and screenshot methods, successfully performing tasks like sending email screenshots and remote desktop control. They seek challenging tests to validate its robustness.

Introducing the /goal feature of Claude Code, paired with the prompt "/goal all tests pass and lint is clean" to automate testing and linting, equivalent to a highly efficient QA engineer.

Blog post offering guidelines for writing Elixir tests, including using @subject module attributes, describe blocks, and avoiding module mocking in favor of dependency injection.

The article discusses the problem of flaky tests in software development and proposes a simple mechanical habit: when using a merge queue, continue to run the full test suite on main and maintain a visible list of recent main failures to help identify and eradicate flaky tests.

A developer argues that end-to-end testing is more important than unit tests in the age of AI coding agents, after an agent-coded refactor passed all unit tests but broke a critical feature that was only caught by manual end-to-end checks.

A tutorial covering various strategies for mocking network calls in Rust, using the example of a Kubernetes controller that emits events, with emphasis on not degrading production code for testability.

The post argues that the primary value of AI in programming is not just writing code faster, but enabling sustainable high-level verification and testing that was previously too costly in terms of human effort.

The author describes implementing golden/visual regression testing for the Waterfall-CAD Haskell library using SVG output and the tasty-golden library.

A shared resource linking to an interview preparation playbook focused on RAG evaluation and testing for LLMs.

Announcement of a course on React end-to-end testing with Playwright, covering browser automation, user journeys, auth, search, test setup, and debugging tips.

Fabraix is a tool that helps developers identify gaps in their AI agents before users encounter them.