The k-server conjecture is true1 - 用编码可行路径的矩阵及扩展矩阵势函数,证明工作函数算法在任意度量空间达到 k 竞争比。
全文 ↓今日重点 · Today's Highlights
LoongForge2 - 将 Megatron 与 torch-native 分工到不同模型家族,公开具身训练相对官方基线 1.79 - 4.38 倍的同条件吞吐结果。
全文 ↓ContextVeil4 - 在工具结果进入模型上下文之前精确替换已登记凭据,保留本地程序使用秘密的能力,并明确 hook 的覆盖边界。
全文 ↓OpenDisplay5 - 用虚拟显示、硬件 H.264 和原生 USB 传输,把闲置 Apple 设备变成真正的 Mac 扩展屏而非单纯镜像。
全文 ↓论文 · Papers
1 项 · 论文本期重点The k-server conjecture is true1arxiv.org原文 ↗
Coester、Koutsoupias 和 Zbysiński 给出工作函数算法的 k 竞争比证明,结论覆盖任意度量空间中的确定性在线 k-server 问题。
开源 / 项目 · Projects
15 项 · 开源 / 项目tmux-seamless-remote9github.com原文 ↗
用统一的 Alt 加方向键,在当前 tmux 与 SSH 另一端的嵌套 tmux 之间切换焦点,免去按嵌套层数组合前缀。
本期重点LoongForge2github.com原文 ↗
百度百舸将训练框架分为两条技术栈:修改后的 Megatron-LM 负责 LLM、VLM 和扩散模型,torch-native 子系统负责 VLA 与世界动作模型,避免所有模型都服从同一并行方案。
本期重点ContextVeil4github.com原文 ↗
在 coding-agent 的受支持 hook 路径中,将工具结果里已登记的秘密值换成占位符,让程序仍能使用凭据而模型不必看到原值。
行业动态 · Industry News
10 项 · 行业动态Introducing System One Models and Jev18typesafe.ai原文 ↗
TypeSafe 公布 System One 模型系列及 Jev 产品。
An Update on Wayback Machine Access19blog.archive.org原文 ↗
Internet Archive 说明 Wayback Machine 访问服务的最新变化。
Gemini 3.8 Live and 3.8 Live Extended Thinking20blog.google原文 ↗
Google 发布 Gemini 3.8 Live 及 Extended Thinking 版本。
Java 2721mail.openjdk.org原文 ↗
OpenJDK 项目发布 Java 27。
Ubuntu 26.10 completes transition to Rust-based coreutils22omgubuntu.co.uk原文 ↗
Ubuntu 26.10 的开发版本完成 Rust `uutils` 替换,最后纳入的是此前在 26.04 LTS 因 TOCTOU 问题而保留 GNU 实现的 `cp`、`mv` 和 `rm`。
OpenAI buys smartphone camera maker Glass Imaging for $300M23glass-imaging.com原文 ↗
TechCrunch 援引《华尔街日报》报道,OpenAI 以超过 3 亿美元收购 Glass Imaging。
We got admin access to Baseten's production GitHub in 25 minutes24strix.ai原文 ↗
Strix 从无需认证的 Harbor 项目匿名拉取旧容器,在镜像配置的 `history[].created_by` 中找到构建命令展开后的 GitHub PAT,再以只读请求确认仓库权限。
America's Driver's License Breach Is a National Security Disaster25lawfaremedia.org原文 ↗
Lawfare 将驾照数据泄露从身份盗用问题扩展到情报关联风险:驾照号、住址和照片可以作为其他泄露或商业数据库连接到具体个人的锚点。
AI “kill switch” may need to be mandatory26bbc.com原文 ↗
BBC 报道 Anthropic 联合创始人关于强制 AI 关闭机制的观点。
The Inference Hardware Revolution of 202627spectrum.ieee.org原文 ↗
IEEE Spectrum 回顾 2026 年 AI 推理硬件的发展。
博客文章 · Blog Posts
14 项 · 博客文章The contagion of fear28simonwillison.net原文 ↗
Simon Willison 的这则 link blog 摘引 Bryan Cantrill 对前 Anthropic 员工 Jacob Coxon 灾难预测的回应,争论焦点是技术专家提出警报时应承担多大的解释责任。
1Password's AI patching benchmark is misleading29blog.trailofbits.com原文 ↗
Trail of Bits 质疑 1Password 发布的 AI 自动修补基准测试设计。
Building a Linux GPU Driver for the M4 Mac Mini in One Month30codyho.dev原文 ↗
作者记录为 M4 Mac mini 开发 Linux GPU 驱动的过程。
Subnormal floating-point numbers are expensive on Intel processors31lemire.me原文 ↗
Daniel Lemire 测量 Intel 处理器处理次正规浮点数时的性能成本。
Performance Improvements in .NET 1132devblogs.microsoft.com原文 ↗
Microsoft 介绍 .NET 11 的运行时与库性能改进。
The CSS Zen Garden dream, finally shipped34josprague.com原文 ↗
作者介绍一个实现 CSS Zen Garden 式样式切换的项目。
What we have learned at OpenShell applying formal methods to control AI agents35nvidia.github.io原文 ↗
OpenShell 团队总结使用形式化方法约束 AI agent 策略的实践。
Alternatives to MinIO for single-node local S337rmoff.net原文 ↗
作者没有做泛化的对象存储排行榜,而是用同一 Docker Compose demo,把 DuckDB、Iceberg REST Catalog 和本地 S3 的真实读写链逐个迁到替代实现,并为示例提供 `test.sh` 烟测。
Distributed Systems Classics38nvartolomei.com原文 ↗
这份清单将十篇经典原文集中到一个阅读入口,从 1978 年 Lamport 的事件排序,一直列到 2014 年 Raft,链接 DOI 或作者公开版本。
A beginning for mathematics39daniellitt.com原文 ↗
Daniel Litt 讨论的是 AI 时代数学制度如何调整,而不是数学基础入门:当数学文本的产出越来越不能代表作者的理解,证明成果和培养数学家就不应继续共用同一个评价信号。
How much of F-Droid is LLM generated?41tintotint.eu原文 ↗
文章分析 F-Droid 应用及代码中可能由 LLM 生成的部分。
GitHub 热门 · GitHub Trending
9 项 · GitHub 热门oh-my-hermes42github.com原文 ↗
在 Hermes 原生 skills 之上增加工作流治理层,负责选择任务类别、模型和思考强度,组织规划、研究、编码交接与长期记忆,而不替换 Hermes 本身。
SearXNG43docs.searxng.org原文 ↗
用元搜索服务聚合多个搜索引擎和数据库的结果,README 将不跟踪、不画像用户作为项目原则,代码采用 AGPL-3.0。
changedetection.io44github.com原文 ↗
定期抓取网页、PDF 或 JSON API,把变化保存成可比较的差异,再通过 Apprise 支持的邮件、Slack、Telegram、webhook 等渠道触发通知。
Aether45github.com原文 ↗
面向 DPI、UDP 限速及端点封锁常见的网络环境,以 Rust 用户态客户端自动寻找可用路由,使用 MASQUE HTTP/3 或 HTTP/2 建立隧道,再给应用提供 SOCKS5 入口。
Mailspring46github.com原文 ↗
延续 Nylas Mail 的跨平台邮件客户端,但将 JavaScript 同步代码换成基于 Mailcore2 的本地 C++ 引擎,Electron、React 和 TypeScript 主要承担界面与插件层。
Marinara Engine47github.com原文 ↗
将聊天、角色扮演和 AI Game Master 三种体验放到一个本地应用中,角色可以跨模式共享记忆,游戏模式继续组织队伍、任务和战斗。
JetKVM48github.com原文 ↗
通过 KVM over IP 提供键盘、视频和鼠标的带外控制,在目标电脑启动失败、安装操作系统或调整 BIOS 时仍能接管,而不是依赖目标系统里的远程桌面进程。
PasarGuard49github.com原文 ↗
用 Python 后端和 React 面板管理大量代理账户,统一控制 Xray-core、WireGuard 及多节点基础设施,同时提供 REST API。
本期重点OpenDisplay5github.com原文 ↗
在 Mac 上用 `CGVirtualDisplay` 建立真正的扩展显示,再由 ScreenCaptureKit 捕获、VideoToolbox 实时 H.264 编码,经直接 TCP 连接送到 iPhone、iPad 或另一台 Mac,并回传触摸与滚动事件。
引用来源 · References
49 条 · 引用- 1 The k-server conjecture is true. arXiv:2609.15979https://arxiv.org/abs/2609.15979 ↩ 回到正文 · back to text
- 2 LoongForge. GitHub:baidu-baige/LoongForgehttps://github.com/baidu-baige/LoongForge ↩ 回到正文 · back to text
- 3 Warp. GitHub:sqliteai/warphttps://github.com/sqliteai/warp ↩ 回到正文 · back to text
- 4 ContextVeil. GitHub:daniel-sc/contextveilhttps://github.com/daniel-sc/contextveil ↩ 回到正文 · back to text
- 5 OpenDisplay. GitHub:peetzweg/opendisplayhttps://github.com/peetzweg/opendisplay ↩ 回到正文 · back to text
- 6 Pizza Bot. GitHub:pizza-bot-app/pizza-bothttps://github.com/pizza-bot-app/pizza-bot ↩ 回到正文 · back to text
- 7 WangNet. GitHub:GraafHenk/numberwanghttps://github.com/GraafHenk/numberwang ↩ 回到正文 · back to text
- 8 Inkling. GitHub:MeetVys/inklinghttps://github.com/MeetVys/inkling ↩ 回到正文 · back to text
- 9 tmux-seamless-remote. GitHub:klntsky/tmux-seamless-remotehttps://github.com/klntsky/tmux-seamless-remote ↩ 回到正文 · back to text
- 10 Hazzel. GitHub:mukundzha/hazzelhttps://github.com/mukundzha/hazzel ↩ 回到正文 · back to text
- 11 Panel. GitHub:greentfrapp/panelhttps://github.com/greentfrapp/panel ↩ 回到正文 · back to text
- 12 Capsulehttps://withcapsule.app/ ↩ 回到正文 · back to text
- 13 Ordewell. GitHub:ordewell/ordewellhttps://github.com/ordewell/ordewell ↩ 回到正文 · back to text
- 14 DaiDocs. GitHub:Kerneta/daidocshttps://github.com/Kerneta/daidocs ↩ 回到正文 · back to text
- 15 Nenya. GitHub:gumieri/nenyahttps://github.com/gumieri/nenya ↩ 回到正文 · back to text
- 16 Visual HTMLhttps://kong75.github.io/visual-html-editor/ ↩ 回到正文 · back to text
- 17 Amikahttps://www.amika.dev/ ↩ 回到正文 · back to text
- 18 Introducing System One Models and Jevhttps://typesafe.ai/blog/introducing-system-one-models-and-jev ↩ 回到正文 · back to text
- 19 An Update on Wayback Machine Accesshttps://blog.archive.org/2026/09/15/an-update-on-wayback-machine-access/ ↩ 回到正文 · back to text
- 20 Gemini 3.8 Live and 3.8 Live Extended Thinkinghttps://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-8-live-gemini-3-8-live-extended-thinking/ ↩ 回到正文 · back to text
- 21 Java 27https://mail.openjdk.org/archives/list/announce@openjdk.org/thread/ORGGLMN75HFEWP7YL3ZLGHLYHVIBJDYT/ ↩ 回到正文 · back to text
- 22 Ubuntu 26.10 completes transition to Rust-based coreutilshttps://www.omgubuntu.co.uk/2026/09/ubuntu-2610-rust-coreutils-complete ↩ 回到正文 · back to text
- 23 OpenAI buys smartphone camera maker Glass Imaging for $300M. https://techcrunch.com/2026/09/14/openai-buys-smartphone-camera-maker-glass-imaging-for-300-million-report-says/ 技术背景:Glass Imaging Announces $9.3M Extended Seed Funding Round Led By GV (Google Ventures),2024-02-08https://www.glass-imaging.com/journal/glass-imaging-announces-9-3m-extended-seed-funding-round-led-by-gv-google-ventures ↩ 回到正文 · back to text
- 24 We got admin access to Baseten's production GitHub in 25 minuteshttps://www.strix.ai/blog/baseten-harbor-github-pat-takeover ↩ 回到正文 · back to text
- 25 America's Driver's License Breach Is a National Security Disasterhttps://www.lawfaremedia.org/article/america%27s-drivers-licence-breach-is-a-national-security-disaster ↩ 回到正文 · back to text
- 26 AI “kill switch” may need to be mandatoryhttps://www.bbc.com/news/articles/cqgk5e2j0gg8o ↩ 回到正文 · back to text
- 27 The Inference Hardware Revolution of 2026https://spectrum.ieee.org/inference-hardware-revolution ↩ 回到正文 · back to text
- 28 The contagion of fearhttps://simonwillison.net/2026/Sep/14/the-contagion-of-fear/ ↩ 回到正文 · back to text
- 29 1Password's AI patching benchmark is misleadinghttps://blog.trailofbits.com/2026/09/15/1passwords-ai-patching-benchmark-is-misleading/ ↩ 回到正文 · back to text
- 30 Building a Linux GPU Driver for the M4 Mac Mini in One Monthhttps://codyho.dev/blog/gpu-driver/ ↩ 回到正文 · back to text
- 31 Subnormal floating-point numbers are expensive on Intel processorshttps://lemire.me/blog/2026/09/15/subnormal-floating-point-numbers-are-expensive-on-intel-processors/ ↩ 回到正文 · back to text
- 32 Performance Improvements in .NET 11https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-11/ ↩ 回到正文 · back to text
- 33 Trying to Make a Loop Auto-Vectorizehttps://jsgroth.dev/blog/posts/trying-to-make-a-loop-auto-vectorize/ ↩ 回到正文 · back to text
- 34 The CSS Zen Garden dream, finally shippedhttps://josprague.com/blog/the-css-zen-garden-dream-finally-shipped/ ↩ 回到正文 · back to text
- 35 What we have learned at OpenShell applying formal methods to control AI agentshttps://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/ ↩ 回到正文 · back to text
- 36 Charts built for Chathttps://dbtcharts.com/blog/charts-built-for-chat/ ↩ 回到正文 · back to text
- 37 Alternatives to MinIO for single-node local S3https://rmoff.net/2026/01/14/alternatives-to-minio-for-single-node-local-s3/ ↩ 回到正文 · back to text
- 38 Distributed Systems Classicshttps://nvartolomei.com/dist-sys-classics/ ↩ 回到正文 · back to text
- 39 A beginning for mathematicshttps://www.daniellitt.com/blog/2026/9/13/a-beginning-for-mathematics/ ↩ 回到正文 · back to text
- 40 The terminal should not own the workhttps://lezli01.is-a.dev/vincent/docs/why/the-terminal-should-not-own-the-work.html ↩ 回到正文 · back to text
- 41 How much of F-Droid is LLM generated?https://tintotint.eu/whacky-corner/f-droid_slop/ ↩ 回到正文 · back to text
- 42 oh-my-hermes. GitHub:rlaope/oh-my-hermeshttps://github.com/rlaope/oh-my-hermes ↩ 回到正文 · back to text
- 43 SearXNG. GitHub:searxng/searxng. https://github.com/searxng/searxng 配置原文:engines: - SearXNG Documentationhttps://docs.searxng.org/admin/settings/settings_engines.html ↩ 回到正文 · back to text
- 44 changedetection.io. GitHub:dgtlmoon/changedetection.iohttps://github.com/dgtlmoon/changedetection.io ↩ 回到正文 · back to text
- 45 Aether. GitHub:CluvexStudio/Aetherhttps://github.com/CluvexStudio/Aether ↩ 回到正文 · back to text
- 46 Mailspring. GitHub:Foundry376/Mailspringhttps://github.com/Foundry376/Mailspring ↩ 回到正文 · back to text
- 47 Marinara Engine. GitHub:Pasta-Devs/Marinara-Enginehttps://github.com/Pasta-Devs/Marinara-Engine ↩ 回到正文 · back to text
- 48 JetKVM. GitHub:jetkvm/kvmhttps://github.com/jetkvm/kvm ↩ 回到正文 · back to text
- 49 PasarGuard. GitHub:PasarGuard/panelhttps://github.com/PasarGuard/panel ↩ 回到正文 · back to text