Towards a Theory of Bugs: The Ruliology of the Unexpected
Summary
This paper proposes a new theoretical framework for understanding software bugs via the concept of 'ruliology', likely drawing from Stephen Wolfram's computational thinking.
Similar Articles
Games Between Programs: The Ruliology of Competition
A systematic exploration of all possible strategies in a repeated two-player game using computational methods, analyzing cumulative payoffs and winning strategies through ruliology.
Finding Bugs
The blog post explores the effectiveness of generative testing versus unit tests in discovering bugs, using the Rust regex crate as a case study. It demonstrates how a custom fuzzer found multiple bugs and provides techniques for improving testing approaches.
@stephen_wolfram: What happens when agents with all possible strategies compete? That's a question for ruliology. With some surprising an…
Stephen Wolfram explores what happens when agents with all possible strategies compete, using ruliological methods to systematically analyze strategies in a match-or-not game.
@VitalikButerin: "Even more bugs are inevitable, software is all going to become probabilistic now" is cope. "AI bug-finding means we ha…
Vitalik Buterin argues against the narratives that bugs are inevitable and that AI bug-finding necessitates closed-source, stating that writing secure code has become harder but not impossible.
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
This Microsoft Research paper introduces a randomized scheduling technique designed to provide probabilistic guarantees for uncovering bugs in software systems. Published for the ASPLOS conference, it focuses on systematic fault detection through algorithmic randomness.