当前:最新 · 共 209 条

Use Case团队协作与项目管理11月6日

设计个人网站

【产品研发】作者使用Codex CLI读取设计规范,并在此基础上迭代设计个人网站,规范可复用于其他项目。

应用入口:#Codex

0 浏览 · 0 顶 · 0 踩

Agent Loop团队协作与项目管理11月6日

夜间调试长运行代理

【产品研发】作者长时间运行 Codex CLI,添加调试打印并测试重现单元测试,通常只能找到错误。

应用入口:#Codex

0 浏览 · 0 顶 · 0 踩

Use Case团队协作与项目管理11月6日

修复验证垃圾回收器的形式化证明

【知识研究】使用Codex编辑文件并运行构建来修复CertiGC证明;它很好地处理了局部修复,但人类需要检查其不变量是否保留了规范。

应用入口:#Codex

0 浏览 · 0 顶 · 0 踩

Use Case团队协作与项目管理11月6日

将手写购物清单转换为订单

【个人效能】TechRadar编辑将手写购物清单扫描至Alexa,并从中创建Amazon Fresh或Whole Foods的订单,以避免拥挤的商店。

应用入口:#Alexa+

0 浏览 · 0 顶 · 0 踩