Bombadil: Property-based testing for web UIs

Post by object-a » Mon, Mar 23, 2026, 3:31 PM UTC

pythonaut_16 wrote: post #22

NoraCodes wrote: post #16

My kingdom for a way to stop this godforsaken industry from stripping Tolkien's fiction for parts.

Makes me want to name a project or company Sauron in response.

Post by dymk » Mon, Mar 23, 2026, 3:37 PM UTC

terpimost wrote: post #38

pythonaut_16 wrote: post #22

Earlier quoted context omitted.

Makes me want to name a project or company Sauron in response.

The Eye of Sauron for some Observability tool

Post by sifar » Mon, Mar 23, 2026, 3:38 PM UTC

NoraCodes wrote: post #16

My kingdom for a way to stop this godforsaken industry from stripping Tolkien's fiction for parts.

Post by logicprog » Mon, Mar 23, 2026, 3:43 PM UTC

owickstrom wrote: post #39

logicprog wrote: post #35

This looks genuinely awesome! I've been thinking about how to do good property based testing on UIs, and this elegantly solves that problem — I love the language they've designed here. It really feels like model checking or something.

Thanks, glad you like it! Do you mean the temporal logic aspect of it?

Post by _doctor_love » Mon, Mar 23, 2026, 3:49 PM UTC

NoraCodes wrote: post #16

My kingdom for a way to stop this godforsaken industry from stripping Tolkien's fiction for parts.