pretty impressive results on ReactBench!
Introducing TLA-ts
A 2× faster drop-in replacement for TLC, written 100% in TypeScript
Why? TLA+ for formal verification and model checking is great!... but is written in Java (ew), unusable in browser, and slow
Show more
Grok 4.6 is exceptional at fixing React code
It ranks #2# on ReactBench:
Introducing cnfast
A 3x faster drop-in replacement for `cn`
npx cnfast migrate
kinda crazy there's still not a single UI testing solution that _actually_ works
just a bunch of companies that claim it works but end up miserably testing the stuff that doesn't even matter
