The author announces joining Antithesis to promote formal verification and deterministic testing as essential tools for producing defect‑free software amid rising code volume.
About Antithesis · pre-commit Filed #ai #automation #developer-tools #software-engineering Related 9 theses on AI | Sarthak Munshi AI progress is constrained by long-task reliability, labor reallocation, cost inefficiencies of general APIs, the declining value of raw coding skills, inadequate benchmark testing, the limits of formal verification without strong specs, memory-bound local hardware advantages, the shift from data to environment-driven training, and the rising competitiveness of US open-weight models.
also on Antithesis , #automation , #ai , #developer-tools 
engineer away the slop