Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
Not just development, distribution of software may change as well - <antirez>
Control the ideas, not the code - <antirez>
GNU and the AI reimplementations - <antirez>
How Antithesis Turned exe into a Sandbox for Agentic Software Tests - exe.dev blog
Carl Sverre spends a lot of time thinking about how to give AI agents the right amount of power. Give them too little, and they can’t do real work. Give them too much, and they might blow up your tech stack. As a software engineer at Antithesis, an autonomous software testing platform, that question is core to how Sverre thinks about designing tools in the era of advanced AI.
Being Linux Torvalds - <antirez>
Don't fall into the anti-AI hype - <antirez>
Hypothesis, Antithesis, synthesis
Introducing Hegel, our new family of property-based testing libraries.
Anti-patterns | Impeccable
37 deterministic detection rules that flag the visible tells of AI-generated interfaces and common quality issues. Used by npx impeccable detect and the browser extension.
Code Worth Writing - Ray Myers | SSW 2026
The Spoofax language workbench | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
</> htmx ~ Codin' Dirty
In this article, Carson Gross discusses an alternative approach to software development that challenges the principles outlined in 'Clean Code.' Carson advocates for allowing larger functions in certain cases, preferring integration tests over unit tests, and minimizing the number of classes and interfaces. He shares examples from successful software projects that demonstrate these practices can lead to maintainable, high-quality code.
Tests Are The New Moat | Daniel Saewitz
As AI becomes better at cloning people's open source work, what ends up becoming most valuable are software contracts, tests, and API surface area. This clashes the incentives of clearly defining your commercialized open source software with protecting it.
The real AI risk is inside the labs - <antirez>
regex101: build, test, and debug regex
Regular expression tester with syntax highlighting, explanation, cheat sheet for PHP/PCRE, Python, GO, JavaScript, Java, C#/.NET, Rust.
Quint, an executable specification language for reliable systems
Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.
