DEV-TOOLSMarch 19, 20261 min read15 views

Bombadil: Property-based testing for web UIs

Bombadil is a new tool for property-based testing of web UIs, autonomously exploring and validating correctness properties to find complex bugs earlier in the development cycle.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier.

Runs in your local developer environment, in CI, and inside Antithesis.

Note

Bombadil is new and experimental. Stuff is going to change in the early days. Even so, we hope you'll try it out!

Learn all about Bombadil with the following resources:

Or, if you want to hack on it, see Contributing.

Old Tom Bombadil is a merry fellow,

Bright blue his jacket is, and his boots are yellow.

Bugs have never fooled him yet, for Tom, he is the Master:

His specs are stronger specs, and his fuzzer is faster.

Built by Antithesis.

Source: Hacker News

More in this category

dev-tools

Linux kernel will support $ORIGIN, sort of

Farid Zakaria shares his journey of proposing a patch to the Linux kernel to support relocatable binaries in Nix, which evolved into a powerful eBPF-based solution for binfmt_misc.

dev-tools

Five US tech giants' hidden debts soar to $1.65T on opaque AI funding

A Nikkei study reveals that off-balance-sheet debts at five major US tech companies have surged eightfold to $1.65 trillion, driven by massive AI investments like data center leases and GPU contracts.

dev-tools

Running Doom on Our Custom CPU and Going Viral

Two developers successfully built a custom CPU from scratch at the logic gate level, deployed it on an FPGA, and optimized its memory architecture to run the classic game DOOM.

dev-tools

Incremental – A library for incremental computations

Incremental is a library designed for building complex computations that update efficiently when inputs change. Inspired by self-adjusting computation research, it is highly useful for large-scale calculations, GUI views, and data synchronization.

dev-tools

Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public

Flock Safety, a prominent provider of automatic license plate readers (ALPR), is facing a severe credibility crisis after being caught repeatedly misleading city councils, police departments, and the public about its surveillance capabilities and data practices.

dev-tools

Human mathematicians are being outcounterexampled

In just a few weeks, advanced AI models like ChatGPT Sol and Claude Fable have disproved long-standing mathematical conjectures by finding precise counterexamples and auto-formalizing them in Lean.