MiniMax 发布用于智能体任务的 M3.1 Flash 模型
MiniMax 推出了 M3.1 Flash，这是一款旨在平衡高速推理与复杂智能体工作流、编程及网络安全性能的新一代大语言模型（LLM）。
阅读全文 →最新解读
KillSwitch：一种旨在对抗大语言模型的晦涩语言
Dominik Picheta 开发了 KillSwitch，这是一种基于栈的编程语言，专门通过利用大语言模型（LLMs）特定的架构弱点来对抗 LLMs 和代码智能体。
阅读全文 →
复古游戏移植：PalmOS 版 Lemmings
一个 GitHub 仓库现已公开，其中包含经典益智游戏 Lemmings 的克隆版，该版本已移植到 PalmOS，这是一个经典的移动操作系统。该项目突显了人们对“复古”软件工程的持久兴趣，以及对小众硬件历史的保护。
阅读全文 →KiviDB：基于 Rust 的集成向量搜索的 Redis 替代方案
KiviDB 是一个用 Rust 编写的多线程、兼容 Redis 的内存数据库。它旨在提供高吞吐量性能，同时提供内置的全文本和向量搜索功能。
阅读全文 →
GitHub 报告 Actions、Pages 和 Webhooks 服务可用性下降
GitHub 承认发生了一起导致 Actions、Pages 和 Webhooks 服务性能下降的事件，该事件在解决之前影响了工作流处理和网站构建。
阅读全文 →
Free Pascal 编译器新增完整动态包支持
Free Pascal Compiler (FPC) 和 Lazarus IDE 推出了完整的动态包支持，允许开发者在无需重新构建整个 IDE 或应用程序的情况下安装组件和插件。
阅读全文 →
研究发现狗也拥有人类的“Bouba/Kiki”声音与形状关联
一项新研究表明，家犬可能拥有通用的声音到形状的认知映射，具体表现为将圆润的声音与圆润的形状联系起来，将尖锐的声音与尖锐的形状联系起来。
阅读全文 →
CERN与Mistral合作开发对撞机物理基础模型
CERN与人工智能实验室Mistral签署了意向书，旨在开发“大型物理模型”（Large Physics Model），这是一个旨在简化大型强子对撞机中复杂粒子碰撞重建的基础模型。
阅读全文 →
人工智能时代数学领域的变迁景观
数学家兼教育工作者 Grant Sanderson (3blue1brown) 认为，人工智能的兴起为人类探索数学新前沿提供了独特机遇，而社区讨论则强调了对“手艺”流失以及数学权力中心化的担忧。
阅读全文 →
联邦法官裁定 Flock 车牌识别系统搜索违宪
一名联邦法官裁定，在没有搜查令的情况下使用 Flock 自动车牌识别（ALPR）系统追踪驾驶员的历史移动轨迹，构成了违反第四修正案权利的“无差别大规模监控”。
阅读全文 →
Google Research 发布 Harness² 用于递归智能体优化
Harness² 是一个即插即用的框架，旨在优化“harness”——即使 AI 模型能够作为智能体运行的提示词、工具和记忆系统。通过利用两个层级的递归，该框架允许智能体在开放世界环境中遇到陌生任务时，优化自身的执行系统。
阅读全文 →
研究人员训练“去冗余”版 Qwen3-4B 模型以消除 AI 写作习惯
一名开发者发布了微调后的 Qwen3-4B-Instruct 模型版本，旨在消除常见的“AI 写作习惯”——例如过度使用破折号和重复的列表结构——同时保持事实准确性。
阅读全文 →
欧洲航天局的Hera任务将前往检查NASA DART撞击点
欧洲航天局的Hera航天器正接近Dimorphos-Didymos小行星对，旨在为NASA在2022年进行的双小行星重定向测试（DART）撞击点提供高分辨率的后续成像。
阅读全文 →
Let's Encrypt 扩展多视角域名验证以对抗 BGP 劫持
Let's Encrypt 正增加域名验证过程中使用的远程网络视角数量，以满足新的基准要求并提高针对 BGP 劫持攻击的防护能力。
阅读全文 →
关于 Flatpak 安全性与桌面实用性的辩论
一项关于 Flatpak 在 Linux 桌面生态系统中作用的技术分析，探讨了其沙盒模型是否为旧版应用程序提供了足够的安全性，以及它与传统打包方法的对比。
阅读全文 →
优化高吞吐量工作流中的 Postgres DELETE 操作
虽然由于 MVCC 开销，Postgres DELETE 在高性能系统中常被规避，但 DBOS 的工程师展示了特定的优化手段——包括删除外键、提高缓存局部性和手动执行 VACUUM——如何让 DELETE 操作能够支持复杂的数据保留策略。
阅读全文 →STROT：将 LLM 意图编译至本地决策流水线
STROT 是一个在“编译时”仅调用一次大语言模型（LLM）来合成独立本地决策模型的框架。这种方法将 LLM 高昂且非确定性的推理过程转移到构建阶段，允许生产环境以零边际成本和确定性的输出在本地运行决策。
阅读全文 →