跳到正文
#编码
10月21日周三
  2. prompts.chat · 每日 prompt39

    新增 prompt：TypeScript 后端工程师的错误处理品味

    prompts.chat 新增一条 "Error Handling taste" prompt，汇总 TypeScript 后端工程师的错误处理实践共 23 条，每条附置信度评分。要点包括用 Zod 在边界校验输入、区分预期领域错误与意外 bug、用 Result 类型建模失败、禁止空 catch 吞错、集中式错误处理器统一映射 HTTP 响应，以及只对幂等操作做指数退避重试并强制网络调用超时。

  3. GitHub · 灵魂体仓库37

    Zen：面向所有 LLM 的免费 AI 编程 Agent VSCode 扩展发布

    开源仓库 KhanhRomVN/Zen 推出 VSCode 扩展 Zen，将编辑器变成可读写文件、运行终端命令和执行 Git 操作的 AI 编程 Agent，免费且无需订阅。它支持两层连接：通过 API key 接入 OpenAI、DeepSeek、Anthropic Claude、Google Gemini、Qwen、Ollama 等，或用 Chromium 自动化登录 ChatGPT、Gemini、Claude.ai、Qwen、GitHub Copilot 等免费网页版，无需 API key。扩展提供 3 级权限系统、修改前自动 checkpoint 并支持一键回滚、多账号管理与用量跟踪，并集成 LSP 诊断自动修复错误。

  4. GitHub · 灵魂体仓库49

    minunglee/spring-llm-gateway：用 Spring Boot 保护 Claude API 公开演示的网关项目

    开发者 minunglee 在 GitHub 开源 spring-llm-gateway，一个用 Spring Boot（Java 21 虚拟线程）搭建的网关，保护公开 AI 演示中的 Claude API 不因脚本滥用、故障导致费用失控。系统用 Redis Lua 脚本原子化限流与预算预扣再按实际用量结算，配合 Cloudflare Turnstile 人机验证；压测显示吞吐从 91 条/秒升至 190 条/秒，p95 从 5.16s 降至 2.19s，预算利用率从 17.5% 提升到 92%，超限 0 次。项目在 vCPU 4、RAM 2GB 的服务器上运行，默认假响应模式可零成本启动。

  5. GitHub · 灵魂体仓库59

    MAGI-Systems-AI 开源 OpenTenet 工作区，为 AI 编码助手加跨工具纪律层

    MAGI-Systems-AI 发布开源项目 OpenTenet，一个纯 markdown 工作区，让 AI 编码助手在会话启动时读取硬规则宪法、六阶段算法和验证准则，解决无状态、幻觉路径和虚报完成的问题。它兼容 Claude Code、Gemini CLI、Cursor、Codex、Aider 和 Copilot Chat，pre-commit 钩子扫描 16 种凭据模式，为 Claude Code 生成约 13k 精简上下文、为 Codex 和 Aider 生成约 57k 完整上下文，并支持 Ollama + Aider 离线本地模型。项目附本地 Web 控制台和可选团队模式，MIT 协议。

    推荐理由：开源工作区把验证规则写进文件而非模型，给出六阶段算法与探针表，跨六种 AI CLI 可复用，方法可直接迁移。

  6. arXiv · cs.AI54

    Stratified Sparse Attention 论文提出确定性检索结合分数引导采样以缩小极端稀疏下与稠密注意力的差距

    Sahil Joshi 等在 arXiv 发布论文，提出 Stratified Sparse Attention（SSA），将确定性检索与分数引导采样结合以缩小稀疏注意力与稠密注意力在极端稀疏下的差距。在 RULER、LongBench、LOFT、AIME 及 3B 至 27B 五个模型上，SSA 均优于基线；RULER-HARD 用 Ministral-3-8B 在 50 倍注意力稀疏下，32K 和 128K 准确率从 81.8% 提至 84.2%、从 63.8% 提至 69.3%，分别恢复稠密注意力性能的 94% 和 85%。优化 CUDA 内核后，1M 上下文解码速度相对 FlashInfer 最高加速 2.96 倍，代码已开源。

    推荐理由：论文给出 SSA 在 RULER 等基准和 50 倍稀疏度下的精度与解码加速数据，方法可复用，代码已开源。

  7. arXiv · cs.AI35

    RTL 修复基准实际测量的是什么？

    研究者构建 RTLRepairDataset（5,784 组（broken, fixed）训练对）和 RTLRepairBench（459 个保留测试用例，含 374 个语法变异和 85 个行为变异），并支持仿真与形式等价评测。审计发现两个测量混淆：仿真与形式化评分对是否提供规格说明的效应符号相反，六款模型上规格基线与条件化恢复的点估计相差 -8.5 到 +18.3 个百分点。团队据此提出评测控制协议并开源了基准与复现材料。

  8. arXiv · cs.CL46

    从抽象到行动：用 DSL 解析并执行自然语言抽象指令

    一项 arXiv 研究提出用领域专用语言（DSL）作为表示层，帮助语言模型将抽象自然语言指令展开为具体动作。在 Hexagons 任务上，基于人工策划 DSL 的代码生成比直接推理最高提升 10 个绝对 F1 点、达到人类水平，且提升集中在高抽象层级；Text2CAD 基准也验证了这一模式。但模型自行归纳的 DSL 仅能恢复部分增益，跨运行不一致且逊于人工策划版本。

  9. arXiv · cs.CL29

    DeclineCraft：一个联合衡量检索与参数知识的 RAG 弃答基准

    研究者推出 DeclineCraft，一个以语料截止后 Minecraft 新特性问题为不可答题、联合衡量检索与参数知识的 RAG 弃答基准，并评估 27 个 LLM 的正确弃答率（CAR）。实验显示：单次检索在 38/40 配置中显著提高 CAR；迭代 RAG 反而在 30/40 配置中降低 CAR（均值 46.4%），答案准确率基本不变（68.5% 至 69.3%）；模型越大回答越准（Spearman ρ = +0.60），但模型规模与发布时间均与 CAR 无显著关联。

  10. arXiv · cs.CL44

    CopyGen：面向精确片段复现的复制约束解码方法

    研究者提出 CopyGen，一个面向冻结 LLM 的轻量复制约束解码插件，将复制分解为是否进入复制模式、预测复制长度和逐 token 验证三个决策，并只输出最长有效前缀。在涵盖合同、科学文献、代码和随机序列的 benchmark 上，CopyGen 无需微调即可将平均 exact match 相对提升 35%，与 SFT 结合再提升 4%，同时显著加速生成。代码已开源。

  11. GitHub · 3D 生成新仓库32

    StackAlchemist 开源仓库：自然语言描述一键生成可编译部署的 SaaS 项目

    StackAlchemist 可将自然语言需求生成完整可编译、可部署的 SaaS 仓库，包含 PostgreSQL schema、.NET Web API + Next.js 16（或 FastAPI + React）前端及可选 IaC 脚本。其 Compile Guarantee 会真实执行构建，失败时通过 LLM 修复循环重试最多 3 次，付费构建仍失败则自动退款。项目底层默认使用 Claude Sonnet 5.5，支持 BYOK 接入 Claude Opus 5.5、Haiku 4.5、OpenAI 及 OpenRouter，采用专有及源码可用许可，个人可免费本地评估，商用需付费购买。

  12. GitHub · 3D 生成新仓库36

    tuikit：为 Bubble Tea 应用提供 Claude Code 式 TUI 引擎保障的 Go 包集合

    GitHub 新仓库 tuikit 发布，提供一组 Go 包，让独立 Bubble Tea 应用获得类似 Claude Code 模态 UI 引擎的保障：单一按键表、自动过期 toast、独立失败的窗格、不遮挡帧的 overlay、异步结果不落错行、重启后可存活的 UI 状态。所有类型均以值形式嵌入 Bubble Tea model，依赖 bubbletea v1.3.10 与 lipgloss v1.1.0。

  13. arXiv · cs.CL45

    SDDC：用于代码生成的自分解扩散框架

    SDDC（Self-Decomposing Diffusion for Code）提出先由扩散语言模型生成程序分解契约、再据此并行实现各单元的代码生成框架。在五个 benchmark 和两个 7B 扩散骨干上，SDDC 的 pass@1 最高提升 31.1 个百分点，解码比基座模型快 7.5–13.7 倍，并比微调基线最高高出 23.5 分且延迟更低。

  14. arXiv · cs.CL22

    追踪 Text-to-SQL 分解生成中的复现性与涌现性幻觉模式

    研究者提出一个下钻式评测框架，将 Text-to-SQL 查询分解为逐步更复杂的可执行子查询，沿生成路径考察基于规则的幻觉类别，区分“复现性幻觉”与“涌现性幻觉”。在 BIRD-mini 扩展基准上对五个 LLM 的评测显示，多个类别有可观的复现概率，clause abuse 的条件涌现相对更高；加入对话历史后复现概率普遍升高、涌现概率普遍降低。代码与评测工件已在项目仓库开源。

  15. arXiv · cs.CL46

    从 token 到文件：AI 参与代码的多粒度检测与定位

    一项 arXiv 研究提出在 token 级别建模 AI 代码署名、并同时在行、块、文件三个粒度预测的检测框架：冻结的代码语言模型配两个低秩适配器，用逐 token 对数似然比提供局部证据。该方法在含 11,773 个 AI 参与文件的内部测试集上达到 72.4 macro F1（1% FPR），在未适配的 HybridCodeAuthorship 外部基准上行级 F1 达 62.5，高于原文报告的 56。在 19,445 个 2022 年前仓库的人工代码文件上，假阳性率保持在 0.55% 至 0.81%。

  16. GitHub · 去对齐工具与仓库40

    Forge：面向终端的 AI 编程智能体（forgecode）

    tailcallhq 开源的 Forge 是一个集成到终端的 AI 编程智能体，通过 curl -fsSL | sh 即可安装，支持 OpenAI、Anthropic 等多家 LLM 提供商。它提供交互式 TUI、一次性 CLI（-p）和 ZSH 插件（: 前缀）三种模式，可完成代码讲解、调试、代码审查、重构、Git 操作等任务，并具备受限 shell 沙箱与零配置特性。

  17. GitHub · 灵魂体仓库57

    开源大战略游戏 GulfOfTrump 发布，用 ChatGPT 当历史推演游戏主持人

    Artem Okhten 开源了 GulfOfTrump，一款架空历史大战略游戏：玩家选 1914 萨拉热窝到 2022 俄乌开战共 8 个起点和任意国家，用自然语言下达政令，大语言模型扮演世界其余部分，通过官方 Sign in with ChatGPT 跑在玩家自己的 ChatGPT 套餐上，免费无内购。核心设计是模型只负责叙事并按回合返回 JSON 结果，引擎保存约 2700 个省的归属、战争、联盟、经济与军队等结构化状态，用 sanitizeOutcome 剔除无效改动、把数值波动钳制在 ±15，失败答案有一次带解析错误的修复机会。游戏含各国内政议会、以资源为基础的贸易、有名字和忠诚度的部长内阁、按城镇划分的前线与占领机制，代码 MIT 许可，地图数据 GPL-3.0。

    推荐理由：这个开源战棋游戏把 LLM 的叙事和引擎的账本分开，模型每回合只出 JSON 结果并被钳制校验，思路可以直接借鉴到其他 Agent 项目。

  18. GitHub · 灵魂体仓库64

    contraagent 开源：把 Claude Code、Codex CLI 等编码智能体编排成可校验的 Python 流水线

    GitHub 开源项目 contraagent 将 Claude Code、Codex CLI、opencode、oh-my-pi 和 pi 作为 Python 流水线中的步骤运行，每个任务是类型化函数，输出文件需通过 pydantic 模型和校验器检查。运行器负责调度、failover、配额、截止时间和断点续跑，浏览器监控器实时展示每次运行的会话记录、token、成本和订阅用量。任务在干净上下文中启动，支持按 fallbacks 链在模型、编码智能体和凭证之间切换，支持 --stub 与 --replay 零成本试跑，MIT 许可。

    推荐理由：把 Claude Code 等 5 个编码智能体当作流水线步骤统一调度，任务输出经 pydantic 校验，失败可换模型换账号续跑。

  19. arXiv · cs.AI21

    RELAY：通过规则复用与智能体修复扩展历史构建复原

    一项研究针对 14,159 个 OSS-Fuzz 案例分析了历史软件构建的环境退化问题，发现 69.7% 的案例无法完成重建与验证，且多数失败呈现少量重复出现的症状。研究提出 RELAY 框架，用 LLM 从代表性失败中推导并验证确定性修复规则，规则可无需模型调用直接复用，未解决案例再交由逐案智能体处理。评估显示混合方法比单独使用规则或智能体都能恢复更多构建，且成本低于纯智能体方案。

  20. arXiv · cs.AI32

    LLM 跨语言代码翻译中的幻觉：现象与缓解研究

    一项系统性实证研究分析了 LLM 在跨语言代码翻译中的幻觉现象。研究覆盖 3 个 benchmark 数据集、6 组语言对、7 个 LLM，人工标注了 13,919 个幻觉案例，并归纳出语义一致性冲突、事实知识冲突和项目上下文偏差三类分类体系。基于该分类，研究者提出 HaluCodeTran 缓解框架，结合基于 BM25 的相关翻译示例检索与分类感知的反思式精炼，为构建更可靠的 LLM 代码迁移工具提供实用基线。

  21. GitHub · 3D 生成新仓库29

    LLMOJ：基于 LibreOJ 的开源在线评测系统发布

    LLMOJ 是一个基于 LibreOJ 的开源在线评测系统，集题库、比赛、评测和权限管理于一体，主体代码采用 MIT 许可。系统支持 C/C++、Python、Java 等 12 种语言及 NOI/OI、IOI、ICPC 等赛制，提供远程评测机接入。AI 辅助出题功能可整理题面、查找出处和生成测试数据，测试数据需经参考算法对拍至少 64 组并交叉检验后才安装。

  22. GitHub · 3D 生成新仓库21

    Zero-State-LLC 开源仓库 BlackDog：编译器验证的 Faust DSP 代码生成模型项目（前称 FaustCoder）

    Zero-State-LLC 的 BlackDog 仓库（前称 FaustCoder，2026-10-17 更名）是一个编译器验证的 Faust DSP 代码生成模型项目，基于 NVIDIA DGX Spark 开发，目前处于 specification-first 阶段。V0.1 里程碑已完成内容寻址工件存储（T02）、沙盒 Faust 编译器 harness（T03，faustwasm 0.19.0）、数据集权利清单（T05）及 T06 归一化去重快照等基础设施，尚无训练好的模型，也未提出任何模型质量声明。仓库采用拆分许可：specs/ 和 docs/ 为 Apache-2.0，其余代码、模型权重、数据集为 Zero State Proprietary License 1.0。

  23. GitHub · 3D 生成新仓库50

    dark-factory 开源自主编码流水线，提示词进、提交出

    bborbe 在 GitHub 开源 dark-factory，一个自主编码流水线工具，用户放入提示词文件即可自动执行并生成 commit，从规格到提交之间无需人工干预。工具用 Go 编写，在 claude-yolo Docker 容器内执行提示词，默认模型为 claude-sonnet-4-6，支持 spec 到 prompt 生成、PR 创建、CHANGELOG 打 tag 等配置，并附带 Claude Code 插件用于编写和审计 spec 与 prompt。设计原则包括 YOLO Agent 无 git 权限、顺序执行提示词、用目录 frontmatter 表示状态、每个提示词使用全新上下文、失败即停止。

  24. GitHub · 3D 生成新仓库41

    CulinaAI 开源项目发布：用现有食材生成菜谱并用代码核验过敏与营养

    开发者 SumitYadav2003 在 GitHub 发布 CulinaAI 项目，根据用户现有食材、饮食限制和过敏原生成菜谱，可从冰箱拍照识别食材，约一分钟出结果。菜谱由 OpenAI gpt-4.1-mini 撰写，再经 10 项代码质量检查核验过敏原、饮食合规等，营养、成本和碳排数据取自 CoFID 2021 等 UK 食物数据库而非 AI 输出。项目提供膳食计划、购物清单、离线使用等功能，部署在 Render 免费套餐，演示账号可免注册试用。

  25. AIHOT · 精选56

    Meta 开源权重模型 Muse Spark Open 在 Fireworks 上线，816B MoE 支持 1M token 上下文

    Meta 的开源权重模型 Muse Spark Open 在 Fireworks 上线，提供 Day-0 serverless 调用。该模型为 816B 参数 MoE 架构，每 token 激活 42B 参数，上下文窗口 1M token，主打长上下文编码与 Agent 工作。

    推荐理由：给出了参数规模、激活参数和上下文窗口等关键配置，读者可据此判断该模型是否适合长上下文和 Agent 场景。

  26. Reddit · r/LocalLLaMA38

    Spark-X2.6-4B 发布：基于 Spark-X2.5-4B 后训练升级的端侧小模型

    Spark-X2.6-4B 发布，架构与 Spark-X2.5-4B 完全相同，能力提升来自改进的后训练，在编程、智能体、长上下文、多语言和推理等方面显著增强。该模型在同等规模开源模型中达到 SOTA，可匹敌约 9B 参数的模型，并提供 none、low、high 三档可配置思考预算以平衡推理质量、延迟与推理成本，面向端侧部署。

  28. GitHub · 3D 生成新仓库34

    VeriContest：面向 Rust + Verus 可验证代码生成的竞赛编程 Benchmark 开源

    HIPREL-Group 开源可验证代码生成 benchmark VeriContest，基于 Rust 与 Verus，当前包含 1,006 道题目（722 道 LeetCode、284 道 Codeforces），每题配有形式化规范、judge 通过的 Rust 代码及 Verus 验证过的证明。数据集完整发布在 Hugging Face（Gax-c/VeriContest），另有固定 300 题的 VeriContest Lite 子集；仓库现已开放 Model 与 Agent 两个赛道的提交，以 pull request 形式进行，支持 SpecGen、CodeGen、ProofGen 和 End2End 四种评测。论文配套版本（arXiv:2605.08553）的主要评测使用 946 题范围。

  29. GitHub · 去对齐工具与仓库30

    deepseek-coder-6.7b-instruct 量化 PEFT 自动修复 Java 缺陷的复现研究仓库（WahidSaeed/peft-code-eval）

    这是一个 MEng 论文的复现包，实证研究 4-bit NF4 QLoRA、8-bit、16-bit bf16 LoRA 三种位宽与 LoRA rank（r ∈ {8, 16, 32}）在微调 deepseek-coder-6.7b-instruct 修复 Java 缺陷时对正确性、GPU 显存、速度和能耗的权衡。实验基于 CodeXGLUE Code Refinement（10,000 训练 / 1,000 验证 / 1,000 测试对）和 HumanEvalFix（164 Python + 164 Java 缺陷），在单张 24 GB GPU 上进行。目前数据管线和指标已验证，训练与评测脚本仍在开发中。

  30. GitHub · 去对齐工具与仓库43

    Ryou-Koshimizu 发布 japanese-invoice-workflow：AI 读取发票并自动验证日本发票制度合规

    Ryou-Koshimizu 在 GitHub 发布 japanese-invoice-workflow，用 AI 读取发票 PDF 与图片，以规则引擎自动验证日本发票制度（インボイス）的登记号、税额、源泉征收（10.21% / 20.42%）等要件，并走确认→审批→分录 CSV 输出流程。实测用 Codex CLI 0.162.1 与模型 gpt-6.1-sol 对 40 张虚构发票两次读取，必填项全部完全一致，6 张含错发票全部检出、误报 0/34，单张中位数 8.1 秒。权限、组织隔离（RLS）与审计日志由数据库强制，支持 Claude（PDF/图片）与 Codex 两种抽取后端。

  31. GitHub · 去对齐工具与仓库61

    uah：Go 编写的终端编码 Agent 框架在 GitHub 开源

    viktordanov 在 GitHub 开源 uah，一个用 Go 编写的功能完整的终端编码 Agent 框架。它通过 Codex 登录复用 ChatGPT 订阅或 API key 运行，支持 macOS 和 Linux（arm64 与 x86_64），无 Windows 版本。功能包括基于 Markdown 模块的上下文准备、磁盘会话存储与 SQLite 索引、并行子智能体、/goal 目标驱动执行、Seatbelt/bubblewrap 沙箱与审批规则、MCP 支持、Claude Code 兼容的 hooks，以及 uah exec 与 uah review 等无头模式；作者称在 agent 基准中 v1.8.0 比无上下文消息的 v1.7.5 减少 13% 墙钟时间和 39% 失败命令。

    推荐理由：作者开源了自研终端编码 Agent 框架，README 详列沙箱、会话、子智能体等实现细节，可作同类工具的参考实现。

  32. GitHub · 灵魂体仓库52

    woynich-wiki 开源项目知识库蓝图：每个答案都链接到原始出处

    woynich-wiki（代号）是一个项目知识库蓝图仓库，收集文档、Jira、代码、会议记录等原始来源，构建只读的 LLM Wiki，每条陈述都链接到确切出处；仓库本身只含通用代码和模板，不含项目数据。Windows 上双击 doctor.cmd、setup.cmd、serve.cmd 即可部署，依赖 GitHub Copilot 运行时（预选 gpt-6-luna），并提供 kb add、kb ingest、kb ask、kb code-ask、kb jira 等命令和 Copilot CLI 技能 /kb-add、/kb-ingest、/kb-ask 等。项目文档（https://github.com/brudnypiotr/woynich-wiki）含架构说明、ADR 与示例流程。

  33. GitHub · 灵魂体仓库36

    @cbuff/ai：基于 Vercel AI SDK 的类型安全 AI 客户端库

    C41M50N 发布 @cbuff/ai，一个基于 Vercel AI SDK 的类型安全 AI 客户端封装库，通过 bun 或 npm 安装。它提供模型注册表（模型别名全量自动补全、provider 编译期校验）、首次使用时才加载的懒加载 provider、按模型配置的美元成本追踪（每 1M tokens 输入/输出费率）以及基于 ToolLoopAgent 的 ai.agent() 智能体接口，统一收敛到一个 createAI() 配置入口。reasoning 参数支持 AI SDK v7 的 "none" 到 "xhigh" 等标准化推理级别。

  34. GitHub · 灵魂体仓库48

    psyb0t 开源 pibox：将 pi-coding-agent 封装进 Docker 容器，支持 API、Telegram、Cron、MCP 多种模式

    GitHub 项目 psyb0t/docker-pibox 将 pi-coding-agent 封装进 aicodebox 容器，一个镜像提供交互式 shell、一次性提示词、OpenAI 兼容的 HTTP API（:8080）、Telegram bot、YAML 定义的 cron 定时任务和 MCP server 多种接入方式。pibox 包装器会把工作目录挂载进容器并转发 PIBOX_* 配置，提供 minimal 和 full 两种镜像变体，可通过 ANTHROPIC_MODEL 等环境变量指定 glm-4.6 等模型。

  35. AIHOT · 精选39

    Tessl 团队分享：不再逐行审查 AI 生成代码，改为验证意图

    Tessl 工程师 Ankit Jain 分享，团队 PR 量翻四倍、代码几乎全部由 AI 生成后，放弃逐行 diff 审查，改为在代码生成前审查意图并逐条验证验收标准。关键实践包括维护 offer-skill 技能理解代码变更，以及把重复最多的审查评论固化成机器自动执行的不变量规则；作者预计第二个月起审查负担明显缩小。

10月20日周二
  1. Reddit · r/LocalLLaMA53

    Qwen3.8-Flash-Next 与 Opus 5.5 六组实测对比：真实 Rust 功能任务上 Opus 平均 82% 对 68%

    /u/deepu105 在 r/LocalLLaMA 发布受控对比：用 LlamaStash 路线图中的真实 Rust 功能（卸载前保存并恢复 llama-server 的 KV cache）作为统一任务，六种组合各跑两次共 12 个 PR，全部通过端到端测试。Claude Code + Opus 5.5 平均得分 82%，Claude Code + Flash-Next 为 68%，Pi + Flash-Next 为 66%，差距主要在边界情况、测试和文档；Flash-Next 耗时为 Opus 的 1.1 到 2.1 倍，但本地运行（Strix Halo 笔记本上约 Q4 量化、4.16 bpw、70W TDP）几乎零成本。

  2. GitHub · 3D 生成新仓库45

    SimpleCADforDSH：DeepSeek Harness 的文本转参数化 CAD 开源插件

    SimpleCADforDSH 是一个基于官方 dsh 插件契约的开源（MIT 协议）插件，可将文本提示转为真实的参数化 CAD 模型。智能体用 build123d 生成 Python 脚本并导出 STEP + GLB，内置 single_body、watertight 及 0.2 mm 容差的 overall_dimension 几何 QA 检查，并在 dsh UI 右侧打开同窗 CAD 面板，支持点击面或通过 simplecadfordsh_apply 修改 length / width / height / hole_d 等参数后自动重新生成，另可导出 STL。

  3. GitHub · 灵魂体仓库36

    Matlab2PythonLLMBenchmarker：用本地 LLM 评测 MATLAB 转 Python 代码的基准项目

    一个基于 Inspect (inspect-ai) 的个人基准项目，测试小型本地 LLM 将 MATLAB 代码翻译为 Python 的能力，在作者自己机器上运行，模型由 llama.cpp 的 llama-server 提供。主模型为 OLMo 3 7B Instruct，对比模型为 OLMo 3 7B Think（均为 Q8_0 GGUF），答案键由 GNU Octave 生成，评测指标包括通过率、失败模式、校准度（Brier 分数）和歧义处理。五个试点任务、评测框架和 Inspect 集成已构建并测试完成，尚未在模型上正式运行。

  4. GitHub · 灵魂体仓库48

    ActFold：面向 Diffusion LLM 投机解码的跨分支激活复用（Branch Folding）研究框架

    ActFold 是一个通过 Branch Folding（分支折叠）降低 Diffusion LLM 投机解码验证阶段算力的研究框架，逐层逐 token 判定复用父分支激活或重计算，目标削减验证阶段 TFLOPs 21%–62%。最新 AR022 交付在 Fast-dLLM-v2-1.5B 真实生成回路上实现贪心锚定批量投机 7.02× 于 baseline，且质量面逐位对齐（post-hoc 置信 gap = 0.0）。AR029 还交付了端侧有界内存金字塔激活缓存，机制基准 E1-E4 全 supported。

  5. GitHub · 灵魂体仓库59

    divemorb 开源 local-llm-harness 让本地 LLM 无人值守完成编码计划

    divemorb 开源了 local-llm-harness，一个让本地 LLM（llama.cpp 上跑 Qwen 27B）按计划步骤无人值守编码的工具，每步在全新 podman 沙箱中运行、经独立验证容器跑项目测试，通过后才提交。作者称在一个真实项目中用几周时间让本地模型写了大部分代码，约 80% 的步骤首次尝试即通过，仓库附带经验总结 LESSONS.md；安全模型靠容器隔离实现，沙箱无网络、只读 root、API 密钥不进入沙箱，仅通过 llmproxy.py 的 chat completions 代理通信。

    推荐理由：作者把一个真实项目中跑通本地模型无人值守编码的完整工具链开源，隔离沙箱和验证容器设计可直接复用。