受 Geoffrey Litt 启发,他造了用英文事实与规则推理的逻辑解释器
narphorium · x · 2026-09-21
narphorium 展示其项目 jev:因为认为 LLM 无法可靠推理,他构建了一个用纯英文表达事实与规则的逻辑语言解释器,由解释器替模型完成推理。项目灵感来自 Geoffrey Litt 本周的做法——用 Claude 生成一个自定义调试器 UI,可视化 Prolog 解释器的执行轨迹;'AI 生成的定制开发工具'成为亮点。原帖还附讨论:有用户质疑 jev 需要预先提供选项输入,与开放式 LLM 对比的公平性存疑。
「编程与Agent」频道最新
- 一个 token 就够：logit_bias 单 token 约束采样把 LLM 变分类器 — AAAzzam · 2026-09-21
- Expanso 用 agent 读 pod 日志自动修复 K8s 失效标签 — aronchick · 2026-09-21
- GPT-6 Astra 做 15 秒广告：逐帧拆解后重做，18 分钟出 5 版 — PrajwalTomar_ · 2026-09-21
- Sentry CEO 力挺 headless:每天让 agent 读监控告警,标出 P0/P1 — zeeg · 2026-09-21
- Clairvoyance 发布:给 AI 模型接上你的数据并生成元数据索引 — draginol · 2026-09-21
- 用 MCP 让 Astra 与 Fable 联机玩过山车大亨,实测 computer use 能力 — scaling01 · 2026-09-21