📦
通用工具

不变的王牌

@invariant-ace

通过最小的、高杠杆的改变,将“永远不应该发生”变成“不可能发生”:选择拥有的、归纳不变量;在最有力的廉价边界上执行它们;通过具体的反例轨迹和验证信号来证明。

包含技能

1 个
📦
不变的王牌
@tkersey/dotfiles/invariant-ace

通过最小的、高杠杆的改变,将“永远不应该发生”变成“不可能发生”:选择拥有的、归纳不变量;在最有力的廉价边界上执行它们;通过具体的反例轨迹和验证信号来证明。

🚀 如何安装技能包 请下载安装 AiOffice 客户端,
如果已下载AiOffice,
请在 AiOffice 的技能广场页面进行一键安装。