HOW ANTITHESIS FINDS BUGS (WITH HELP FROM THE SUPER MARIO BROS.)

Summary from the TLDR Web Dev newsletter

Antithesis, a bug-finding platform, explores complex system state spaces to uncover bugs quickly.