Beating the frontier on NetHack
Summary
A detailed case study of NetHack as a testbed for AI-driven automation and fuzzing. It explains how Antithesis built a probabilistic programming-style system with a fuzzer, multiverse debugger, and LLM-assisted strategies to ascend NetHack, offering insights into automated testing, AI-assisted development, and the potential for applying these approaches to SMB IT automation.