AWS 在 Trainium 上推出 SGLang-Neuron
AWS 宣布 SGLang-Neuron 通过 AWS Deep Learning Container 公开可用，由 RadixArk 与 Annapurna Labs 合作发布，可在 Trainium 上用现有 SGLang 接口服务模型并生成强化学习 rollout。
#开源/仓库
AWS Machine Learning BlogAI 评分5858
Microsoft ResearchAI 评分5858 微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，再用证明和测试约束智能体生成的代码。
GitHub BlogAI 评分4242 Arnis：用 OpenStreetMap 数据把地球任意地点变成 Minecraft 世界
开源项目 Arnis 可将 OpenStreetMap 等真实地理数据转换为可自由探索的 Minecraft 世界，自 2022 年启动以来在 GitHub 上获得近 90 万次下载和约 70 名贡献者。
Ollama Blog精选AI 评分6262 Ollama 上线语音模型，首发 Gradium 的 Phonon 文本转语音模型
Ollama 现在可以把文本转成语音，首个语音模型是来自 Gradium 的 Phonon 系列小型文本转语音模型，目前支持 macOS，Windows 和 Linux 支持即将推出。
推荐理由：Ollama 新增语音模型支持，并给出与参考实现的吞吐和准确率对比，可据此判断本地 TTS 的可用性。
Ollama Blog精选AI 评分8080 Reflection 首个开放权重模型 Beam 上线 Ollama，限时免费
Reflection 的首个开放权重模型 Beam 于 10 月 16 日上午正式发布，Ollama 作为 day-zero 合作伙伴限时免费提供。Beam 是 MoE 模型，总参数约 501B、每 token 激活 23B，上下文窗口 100 万 token，面向软件工程、推理和长程智能体任务，采用 Apache 2.0 许可。
推荐理由：Reflection 首个开放权重模型 Beam 以 Apache 2.0 发布，读者可据此了解其 MoE 规模、百万 token 上下文与智能体定位。
Berkeley AI ResearchAI 评分5858 从 CUDA 到 MLX：K-Search 如何把内核优化经验带到 Apple Silicon
Berkeley AI Research 博客介绍将 K-Search 进化式内核搜索框架扩展到 MLX，通过结构化的 CUDA 到 MLX 翻译层，让已有 CUDA 内核经验适配 Apple Silicon。