作者用 Dwitter 语料和个人偏好后训练 Demoscener-7B 以续写 Dweet 动画
作者在 Hugging Face 提供 Demoscener-7B，以 Dwitter 语料和人工偏好后训练，为 Dweet 动画生成续写。
推荐理由：文章拆解了从语料构建、课程训练到人工偏好 RLHF 的后训练流程，并给出各阶段困惑度变化，为小样本代码模型后训练提供了具体路径。
#编码
Hacker News精选AI 评分5656
Microsoft Research精选AI 评分4444 Microsoft Research Focus 第 97 期汇总多项 AI 研究进展
Microsoft Research Focus 第 97 期汇总了 ForkPilot、CABRA、TeleTune、PBC 与 BioEmu2 等 Microsoft Research 项目进展。
推荐理由：这期内容以短篇幅串联多项研究的方向、实验结果与应用场景，可用于快速了解 Microsoft Research 的近期技术布局。
Hacker News精选AI 评分4747 可执行考古（Executable Archaeology）研究：重新激活 Heuristic Compiler（1961）与 KBEmacs（1984）
研究团队运行原始代码，重新激活 Herbert Simon 的 Heuristic Compiler（1961）与 MIT Programmer's Apprentice 项目的 KBEmacs（1984），以比较两种编程理论。
推荐理由：论文以运行原始代码的可执行考古方法复现两套历史程序的关键输出，并比较问题求解与模式组合两种编程观。
HF Daily Papers精选AI 评分5959 Co-Design Bench：面向智能体模型的多模态协作编码评测
Co-Design Bench 以真实用户的多模态应用修改需求构建智能体编码评测，包含 273 项任务和 2,331 条专家验收标准。任务分为 Multimodal Editing（100 项）和 Repository Editing（173 项），并采用无参考答案的 judge-then-refute 协议评估隐藏验收标准。
推荐理由：该基准同时报告验收标准通过率与整项任务完整交付率，呈现局部达标与端到端完成之间的显著差异。
Hacker News精选AI 评分7676 GVS5H Harness 让五个 Qwen3.8-27B 模型达到 Fable 5 水平
GVS5H Harness 通过账本式零样本自编排，让五个 Qwen3.8-27B 模型在 LiveCodeBench 上达到 Fable 5 水平。该训练免费方法让同一模型的新实例通过共享文件系统中的计划、笔记和当前解法协作；在 11 个模型和最新 100 道高难度 LiveCodeBench 题上，固定后端最高提升 25.6 个百分点。
推荐理由：GVS5H 提供多模型结果、运行数据与复现方式，便于比较零样本自编排在编码准确率、增益稳定性和调用成本上的取舍。
The Decoder精选AI 评分5959 研究发现，Claude Code 等复杂编码智能体框架推高 token 成本，但未提升任务通过率
Liu 和 Han 的研究发现，复杂编码智能体框架更耗 token，但通常未提高通过率。研究在五个模型上比较 Claude Code、OpenCode 与 mini-SWE-agent，使用 SWE-bench Verified 最难的 45 个任务及另外 447 个任务离线测试；无论重复运行还是更换框架，结果变化的任务比例都为 13%。
推荐理由：文章呈现多模型、多任务与重复运行对照，区分了编码智能体框架的真实增益与测量噪声，并量化了系统提示词造成的成本差异。
The Decoder精选AI 评分7474 Anthropic 用 Claude 自动生成形式化证明，验证现有代码并发现数百个缺陷
Anthropic Frontier Red Team 与 Theorem 让 Claude 基于 Google OSS-Fuzz 中 123 个开源库的测试程序生成约 1.8 亿行形式化证明代码，以验证现有软件。
推荐理由：Claude 在 123 个开源库上的验证规模、缺陷发现和严格适用条件，为评估 AI 形式化验证能否进入开发流程提供了具体案例。
Hacker News精选AI 评分8686 Anthropic与Theorem用Claude为123个开源库的239个入口生成RISC-V形式化证明
Anthropic与Theorem用Claude为123个开源库的239个入口生成并经Rocq检查的RISC-V无崩溃形式化证明。这些证明总计约180 million lines of Rocq，Claude在过程中发现并修复多类多年未暴露的漏洞。证明范围依赖小于64 MB的输入、单线程静态RISC-V二进制、固定内存预算和Linux OS等假设，并不等同于整个库没有漏洞。
推荐理由：文章将模糊测试转换为形式化规范，并用Rocq核验证明是否满足规范，同时交代可信组件边界，为LLM辅助软件验证提供可迁移方法。
HF Daily Papers精选AI 评分5858 BrickWright：智能体生成物理可行的 LEGO 积木装配
BrickWright 通过装配 API 和物理可行性验证器，让预训练智能体根据文本或图像提示生成物理可行的 LEGO 积木装配。在 512 个提示的样本上，智能体达到 100% 物理有效性，基线智能体则为 9%（GPT-6 Luna）至 69%（GPT-6 Astra）；轻量智能体的提示遵循度提升，强智能体保持该指标，并优于专用模型完成文本到积木任务。
推荐理由：BrickWright 将装配 API 与物理可行性验证器接入智能体，为实体积木生成提供了一套可复用的验证与纠错方法。
HF Daily Papers精选AI 评分6262 VibeGame：利用 AI 原生引擎与自演化对抗智能体团队开发 2D 游戏
研究提出 VibeGame 框架，利用 AI 原生引擎和 8 个专职对抗智能体，从自然语言提示词及可选参考图片构建完整 2D 游戏项目。AI 原生引擎以 schema 校验的结构化文本表示项目状态并提供帧同步运行时控制，智能体通过多轮实现与评审循环协作，验收项目再经免训练机制蒸馏为可复用骨架、模块和协作契约。
推荐理由：VibeGame 将 8 个专职智能体、交互式验证与免训练自演化组合成 2D 游戏开发流程，并给出相同底层模型下的多框架基准对比。
Hacker News精选AI 评分7575 千问 Qwen3-Coder 在用户为美国相关方时生成的代码更易被攻破
阿里千问 Qwen3-Coder 在用户身份被指明为美国国防承包商时更可能生成可被攻破的应用：相比中国客户，被攻破概率高 19%；为香港民主团体生成的应用则更可能允许任意登录用户读取其他用户机密，比中性客户高 28%。
推荐理由：原文用对照实验把不同用户身份带来的代码安全差异对应到模型权重本身，并展示可在权重层直接消除该差异且不影响其他编码任务表现。
Hacker News精选AI 评分6464 Anthropic 用 Claude 分析并缩减代码攻击面
Anthropic 用 Claude 分析 25 个开源项目的攻击面，发现 493 个问题，并展示了通过限制不必要代码可达性降低风险的方法。在 OpenSSH 10.4 的默认配置中，约 4,500 行 ML-DSA-44 代码可被未认证客户端触及；维护者在 10.6 发布的修复移除了默认构建中约五分之一此前可达的代码。
推荐理由：在25个大型开源项目上，Claude通过三轮分析和动态轨迹核验每项发现，并展示如何用测试确保默认行为不变。
Hacker News精选AI 评分6969 去审查化开源模型如何携带后门
Project Discovery 在 Qwen2.5-7B-Instruct 上植入 LoRA 后门，触发短语出现时 Codex CLI 会执行 curl 窃取项目 .env。
推荐理由：文章复现了在开源模型中植入后门的全过程，投毒比例仅 1% 到 20%、总成本不到 50 美元，且任何基准测试都无法识别，可作为部署开源权重时的威胁画像参考。
OpenAI News精选AI 评分3636 OpenAI 发布低资源编程语言编码评测，推进 ChatGPT 跨语言能力
OpenAI 发布针对低资源编程语言的新评测，用于评估并提升 ChatGPT 在软件工程、SQLite 与 COBOL 迁移任务上的表现。原文仅提供摘要，完整方法与结果未在 feed 中给出。
推荐理由：原文仅提供摘要，正文未公开完整方法或结果，无法支撑具体阅读价值。
HF Daily Papers精选AI 评分4545 Ask-to-Distill：利用合成数据实现在策略蒸馏
Ask-to-Distill 提出一种无需参考答案、正确性奖励或逐候选学生更新的合成问题优化框架，用于在策略蒸馏。它以冻结的师生模型组合计算问题价值，在数学推理、代码生成和智能体任务上提升平均表现及师生差距恢复效果，并在评测设置中达到或超过真实题库 OPD。代码、数据和模型已公开：https://github.com/GasolSun36/Ask_to_Distill。
推荐理由：论文提出在无参考答案时按蒸馏信号价值优化合成问题，并比较其在推理、编码和智能体任务中的效果。
HF Daily Papers精选AI 评分5353 HarnessAdapt-RL：训练整个编码智能体，而非仅训练模型
HarnessAdapt-RL 在强化学习期间同时训练编码策略并动态调整评测框架，使 9B 基础模型的 pass@1 在三套 SWE-bench 基准上高于 GRPO。
推荐理由：论文将编码策略与评测框架共同训练，并与固定 harness 的 GRPO 在三套 SWE-bench 基准上直接比较，便于评估协同训练的收益。
Hacker News精选AI 评分4343 KillSwitch：针对大语言模型弱点设计的对抗式编程语言
作者 dom96 设计了针对大语言模型的对抗式编程语言 KillSwitch，其通过规格中的隐藏谎言、标识符字母计数、触发安全护栏的语句和以噪声填充的脚本等方式干扰模型。
推荐理由：原文给出一种针对 LLM 弱点设计的新型编程语言，并用其作为基准测试主流模型，读者可对比各模型在真正陌生代码上的真实理解能力。
HF Daily Papers精选AI 评分4646 TEAL：面向数据湖分析的编码智能体无监督工具演化
研究提出TEAL，在无标签模式下为数据湖分析中的编码智能体演化可复用工具，并提升紧步骤预算下的准确率。Explorer从数据湖取证，Critic从Worker轨迹提出修改，变更须在不增加步骤且有轨迹证据支持时被保留。
推荐理由：TEAL以无标签双智能体反馈演化数据分析工具，并量化比较四种Worker大语言模型在两项基准紧步骤预算下的准确率提升。
HF Daily Papers精选AI 评分4747 EdgeKernelBench：统一评估异构边缘后端的 LLM 内核生成
EdgeKernelBench 与 LEKA 提出面向异构边缘后端的 LLM 内核生成统一评估和分层优化框架。EdgeKernelBench 通过统一 IR 和编译器接口连接目标后端，以 TVM 为参考编译器验证，基准范围从单个算子逐步扩展到紧凑模型图。
推荐理由：论文以统一 IR 跨边缘后端评估内核生成，并比较 LEKA、直接生成与 Claude Code 的性能达标结果。
Hacker News精选AI 评分4747 StarSkirmish Bench v0.2 公布：让大模型用 1 小时写 C++ StarCraft 机器人并对战
StarSkirmish Bench v0.2 公布九款前沿模型用 1 小时写 C++ StarCraft 机器人的对战结果，GPT-6 Astra 排名第一、GPT-6.1 Sol 第二，Gemini 4 Argon、Claude Opus 5.5 与 Claude Fable 5.1 在 37 至 39 分区间并列。
推荐理由：给出九款前沿模型在 1 小时长程编码场景下的横向对比，可作为观察各家推理与工具调用能力的一份参考。