学者吐槽「验证即服务」：按行数收费再偷偷改成按钱数

tianyin_xu · x · 2026-10-25

PL 学者 ShriramKMurthi 玩梗推出「验证即服务（VaaS）」，分银/金/白金等级：初期按提交文件数或代码行数升级，然后悄悄改成按花钱多少升级，每年寄给你一个（假的）银金白金「花瓶」。tianyinxu 接梗：自己的商业点子是收 1 美元证明一个「平凡性」性质并给 commit 盖绿勾，人人满意——除了想要「深度」spec 的那位。这是形式化验证圈对验证服务商业化的自嘲式段子。