迈向漏洞理论：意外之规则学

Hacker News Top 2026/07/24 09:30 论文

bugs theory ruliology software-errors complex-systems

摘要

本文提出了一种通过'规则学'概念理解软件漏洞的新理论框架，可能借鉴了Stephen Wolfram的计算思维。

暂无内容

查看原文

相似文章

Hacker News Top

对重复双人博弈中所有可能策略的系统性探索，使用计算方法分析累积收益和获胜策略，并通过Ruliology进行研究。

X AI KOLs Timeline

Stephen Wolfram 探索了当所有可能策略的代理相互竞争时会发生什么，使用规则学方法系统分析匹配或不匹配游戏中的策略。

X AI KOLs Following

Vitalik Buterin 反驳了漏洞不可避免以及 AI 查找漏洞就不得不闭源的说法，他指出编写安全代码已变得更加困难，但并非不可能。

Lobsters Hottest

Microsoft Research 的这篇论文介绍了一种随机调度技术，旨在为发现软件系统中的 Bug 提供概率性保证。该成果已发表于 ASPLOS 会议，核心在于利用算法随机性来实现系统化的故障检测。

Hacker News Top

这篇文章汇集了计算机科学和软件开发中引人入胜的历史故事和轶事，突出了著名的错误、失败和设计见解。