发布 pstack v0.15.27 的 /create-formal-verification-skill，可生成 TLA+ 或 kani 形式化验证套件𝕏
10/19
L
Lauren Tan关注
关系近 30 天在 1 个对象上开口，和 21 人同场被 Thibault Sottiaux 提过在地图上看他从哪来 →
正在看：Anthropic这个对象近两周只有 1 条判断 —— 要不要放宽到 90 天？看这个对象的完整账本 →
要闻
正在看：Anthropic这个对象近两周只有 1 条判断 —— 要不要放宽到 90 天？看这个对象的完整账本 →
10/10 · 1 条
Lauren Tan 称会选 Opus 5.5
14:32
别人也这么说 · Max For AIMax For AI：Opus 5.5 用着不烧心，宁可速度慢额度少也要智商不掉
11:09
别人也这么说 · Miles BrundageMiles Brundage 称 Astra 与 Opus 5.5 通过 computer use 加共享文件夹协作顺畅
02:49
别人也这么说 · TeortaxesTeortaxes 判断 Astra 是最具智识勇气的模型，但不如 Opus 5.5 细致（GPT-6）
更多
更早
转述 提出四层 agent 可信度框架提出四层 agent 可信度框架：代码改进、静态分析、prose 规则、人工审查代码改进、静态分析、prose 规则、人工审查𝕏
引用分享 pstack 0.15.9 的 /correct skill 与 power prompts，用架构、类型和检查修正 agent 重复错误𝕏
引用发布 pstack 技能集，含 /setup-pstack、/poteto-mode、/poteto-help 三步用法𝕏
近三个月的发言订阅后才能看。去订阅
关注后，他的新主张会进你的「我的人」
带走这份存下来是纯文本，发给 AI 就能读
本包 = 匿名档 · 1 天 · 本次含 3 条 · 材料截止 2026-10-18
外部 AI 读取的是公开档，不继承当前登录权益。
下载研究包今天 · 2 条 · Lauren Tan 发布 pstack v0.15.27 的 /create-formal-verification-skill，可生成 TLA+ 或 kani 形式化验证套件
Lauren Tan 认为约70%受访者反对聊天是最终形态，因脑机接口可能取代输入框