buttondown.com/hillelwayne2月11日证明什么是可能的作者从形式化方法咨询的角度，讨论用两个时序算子（如“始终为真”）来数学化表达系统性质，并以数据库约束、状态机等为例说明。系统性质形式化方法时序逻辑Read Original
grantslatton.com1月31日把制造视为维护文章探讨把“制造”理解为一种“维护”行为：通过持续修复、更新与重建，让系统、产品或社会结构得以延续，而不是把制造仅看作一次性的创造。系统维护重建制造业Read Original