InfoQ· Hillel Wayne·· 4 小时前AI 评估 · 43/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Hillel Wayne 演讲：如何在尚不存在的系统中发现韧性 Bug
Presentation: How to Find Resilience Bugs in Systems that Don't Exist
AI 导读
形式化方法专家 Hillel Wayne 在演讲中演示了如何仅凭系统描述就发现 Bug：一个"thing doer"流程因先标记完成再执行任务，导致重试时任务被跳过，而调整顺序后又出现两个实例重复执行的"two-thing doer"问题。他将这类问题归纳为属性、验证与环境三个层面，并指出属性是布尔值，如 99.999% 可用性或单元测试断言，为假即说明系统有误。
来源：InfoQ · infoq.com