ShuTing 听书
本地电子书阅读与听书工具，支持 EPUB、PDF、TXT、MOBI、AZW3 等格式，可扫描本地书库、重排正文、逐句朗读并高亮跟读，支持任意倍速且不变调，还能导出整本 MP3，内置章节统计、全文搜索、划线笔记、阅读与收听进度分开记录等功能，基于微软神经网络语音合成，书籍、缓存和阅读记录均保存在本地，免费开源。
https://github.com/zanbinxu/shuting
频道 @WidgetChannel
NVIDIA 推出了 OpenShell，一个开源项目，旨在为 AI 代理构建安全的运行环境。它为 AI 代理提供了必要的权限来读取文件、安装包、调用 API 和使用凭据，同时通过细粒度策略控制，避免代理对你的数据、机密或网络进行无限制访问。即使代理行为异常或被劫持，也会受限于 OpenShell 设定的安全边界
OpenShell 通过两种方式管理 AI 代理行为：首先，它会修改内核以在运行时对文件访问、系统调用和网络连接强制执行策略；其次，它会使用形式化验证，在策略更改生效前检查其可能带来的新权限，确保不会意外开放高风险访问。这意味着用户可以精确设定每个代理的权限，例如允许读取 GitHub API 但禁止发布
该项目支持 Claude Code、Codex、OpenCode 和 GitHub Copilot CLI 等多种代理，以及 Ollama、OpenClaw 和 Hermes Agent。NVIDIA 在去年 10 月还在此基础上构建了企业参考架构，支持 Anthropic、Cohere、Google、Meta、OpenAI 等八家模型厂商的代理。OpenShell 仍在早期阶段，版本号从 0.0 开始，公开的生产实践经验尚不多
🔗 信源
🗝 Roller | AI 中文社区
FlashProve 有望解决 AI 服务中的信任问题。例如，第三方 API 中转商可能将用户购买的高级模型替换为低成本模型，而用户难以察觉。通过密码学证明，未来用户可以独立验证模型身份，同时保护服务商的专有模型权重。
Anthropic 于 11 月 2 日通过博文公布了一项大型语言模型可验证推理研究成果，推出开源原型系统 FlashProve。该技术利用零知识证明（zkSNARK），让用户无需获取模型权重或重新运行模型，就能验证 AI 回答是否确实由指定模型生成。
• 演示使用了 Llama 4 Maverick，采用 4 位权重、整数运算、贪心解码，上下文长度最高为 1,024 个词元。
• 在一台配备 24 线程 CPU 的机器上，验证耗时 17 秒；据报告，每份证明仅验证 1,024 词元请求窗口中的一个词元。
• Anthropic 将此次发布称为早期演示，而非 Claude 推理性能基准测试，并表示一些可能的优化尚未纳入。
该原型面向客户和评估方对模型身份进行审计，而非评估答案质量；代价是证明方需要承担大量额外开销：据报告，生成证明所耗费的 GPU 时间是使用 vLLM 处理同等提示词的 70 至 95 倍。
早些时候，Anthropic更新使用政策：禁止通过消费者订阅转售Claude访问权限
OpenAI CEO Sam Altman今天在 ADIPEC上宣布：证明了第一个千禧年大奖问题（纳维-斯托克斯方程）的下一个GPT模型即将发布，该模型在证明纳维-斯托克斯方程时协调了一万个agent，连续工作大约四天，不停协作，彼此配合得很好。
Sam Altman表示：那是他在AI史上见过最不可思议的时刻之一。没有层级、没有老板，完全去中心化，agent自己选方向、互相同步进展、互相学习、自己决定下一步干什么。这款模型的最低计算点已超过Astra的最高点。
via 匿名
MIT CSAIL 是麻省理工学院（MIT）旗下的 计算机科学与人工智能实验室
他表示，只直接改动了 0.016% 的权重，就修复了 0.8B 的推理循环问题，使数学能力最高提升 6 倍，指令遵循能力也提升了 3 倍，而且无需梯度或训练。
修改后，MATH-500成绩从约7.9%提升到48.1%（约6倍），指令跟随（IFEval）也提升约3倍，且这些改进是泛化的。
他将这种方法称之为 Weight-Space Programming（权重空间编程），并表示前沿 LLM 如今已能原生读写神经网络权重。
他还在其他实验介绍道：Astra仅凭权重就能识别游戏策略网络（Breakout、Pong等）、从零写出比PPO训练500M步更强的小游戏网络、以及修复卡在坡道上的小车策略等。
🔗 https://rikiyat.github.io/blog/weight-space-programming/
像话 MirrorSay
英语口语练习工具，说出自己想表达的句子，即可查看母语者更自然的说法、修改原因和参考发音，再跟读并逐词对比节奏，支持直接说中文获取对应英文表达，也可粘贴文章、截图或拍照提取句子，收藏后反复练习，还内置每日句式和桌面小组件，免费使用，无需注册，适用于 iOS 和 Android 系统。
https://mirrorsay.com
频道 @WidgetChannel
PortGames
游戏移植项目收集站，收录 165 个社区移植项目，涵盖 Switch、PC、N64、GameCube、Wii、Xbox、PS1、PS2 等 18 种原始平台，可按 iOS、iPadOS、tvOS、Android、macOS、Windows、Linux 等目标平台筛选，每个项目提供游戏名称、原始平台、移植平台及来源链接，部分附有审核标记和原版游戏评分，方便查找经典游戏在不同设备上的运行方案与相关项目。
这个好这个好，游戏爱好者可以关注一下，无需主机也能玩心爱的游戏了。
https://www.portgames.fun/zh
频道 @WidgetChannel
前特斯拉AI高级总监Andrej Karpathy用Claude Opus 5.5做了个 HackerTube，从Hacker News二十年的4300万条评论里筛出常被推荐的视频，他认为显著改善了观看体验，他表示Opus 5.5（Medium推理强度）大约花了两个小时完成这个网站。
https://hackertube.org
via 匿名
Just Free Slide
PPT 模板下载站，同时收录 Keynote 模板、Google Slides 模板、WordPress 主题、名片模板和图标，支持按类别浏览和搜索，整体模板质量很高，免费下载，无需注册。
这个质量确实不错，经常制作 PPT 的可以收藏一下。
https://justfreeslide.com/zh
频道 @Edgebyte
Gemini API CLI—赋能你的现有Agent
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
