proomt

Search

Search posts, papers, and topics

All posts

Lobsters

Grow and control a swarm

Related reading

  1. Why we taught agents to break distributed safety properties

    The post introduces an Antithesis skill that lets AI agents perform mutation testing on distributed systems, injecting subtle bugs to check whether generated test suites can falsify safety properties. Using rqlite, the agents ran ~24 hours of tests, falsified 11 of 13 properties, and uncovered three real upstream bugs, demonstrating the technique’s practical value.

    Antithesisantithesis.com7 minHN3