Blog

arXiv 2610.13823 来自 IBM。1.2M 次模型调用证明 temperature 0 不等于确定性,item 翻动 0.07%~24%,plan 算子指数级放大,质量分藏住一半以上答案变化;附 7+5 条 benchmark 报告与引擎设计建议。

lyogavin/airllm 38K stars,3500 行 Python。meta 空壳 + forward hook 临时驻 GPU + 预取下一层 + per-expert 流式,让 70B/671B/2.8T 模型跑进单卡 4GB 显存,完整保留 transformers 推理路径,新架构当日支持。

storytold/artcraft 是 Tauri 桌面端,双壳共用一套 API 客户端,Rust router 用 5 文件模型装下 62 个 AI 模型,Draft→Request 异步 finalize 解决参考图上传。深度拆解 192 个 Tauri 命令背后的工程取舍。

mksglu/context-mode 14MB TS 仓库 + 7 个 esbuild bundle,3 种 hook 范式统一 18 个 AI 编程 agent 平台,BM25 + Trigram + RRF 搜索,FloodGuard 限流,拆解工业级 MCP context 治理方案。

arXiv 2610.08962 来自葡萄牙 NOVA LINCS。Go 运行时只检测已发生的全局死锁,部分死锁抓不到。本文把 Go 转 MiGo IR,扩展 CCS 加 external choice,符号分析得 19 TP / 0 FN(25 个真实案例),修复策略产 Go diff。

REA 6.4 用 Composition 装配 + Provider 排序 + Evidence 账本三件套,把 Hopper / Ghidra / IDA / mitmproxy 协议差异压成同一份 CLI + MCP 接口,31 万行 TS 还稳得住。

openai/math 不是代码库,是一个内部数学研究模型产出的 719 篇论文 + 300 个 Lean 形式化 + 2026-10-07 的真实撤稿事件。从 17 学科 / 372 家族 / 4 阶段流水线 / 形式化率 42% 这套组织学里,能读出 AI 时代学术仓库的标准做法。

本文针对 C/C++ 数据库系统中内存安全漏洞持续存在的现状，提出数据库三难（database trilemma）形式化框架，对 Arm MTE 与 CHERI 在六类数据结构与六款主流数据库上的性能、可移植性与检测覆盖度展开自下而上的横向对照评测。