Tag
Jane Street, previously skeptical of formal methods, announces a shift in perspective and plans to build a team focused on formal methods, driven by the emergence of agentic coding which changes the cost/benefit calculus by reducing the cost of verification and increasing the need for reliable code.
This 1996 paper explores the reasons behind the increasing reliability of software despite the lack of formal proofs, discussing informal methods and engineering practices.
Turso is retiring its bug bounty program due to an overwhelming influx of low-quality, AI-generated submissions, highlighting the growing challenge of AI slop in open source maintenance.