Tag
The paper introduces OpEmbed, a framework for learning operational fingerprints of LLM cloud services from production incident metadata to enhance operational forecasting and reliability management in cloud environments.
A NASA/JPL researcher discusses the ineffectiveness of traditional coding standards and introduces 'The Power of Ten' rules to prevent defects in safety-critical software through simplicity and metrics-driven practices.
This article draws parallels between reliability in manufacturing and modern software engineering, highlighting principles like redundancy, root cause analysis, and observability to build resilient systems.
The article argues that the real bottleneck for AI is not compute power but software reliability in long multi-step tasks, suggesting that even orbital data centers won't fix the fundamental issues with agent drift and failure detection.
An opinion piece that explores common misconceptions about formal verification and highlights its critical role in ensuring software and AI system reliability.
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.