2026-05-15
来源：my.oschina.net
14
大模型评测领域有个长期隐患：我们用数学竞赛题、物理推导题来衡量"推理能力"，但一个模型能解微积分，不代表它能在日常业务中做因果判断、排除干扰项、识别逻辑谬误。美团 LongCat 团队开源的 General 365 基准，正是要把这个盲区补上——它把评测焦点从"学科推理"拉回到"通用推理"，第一次系统性地勾勒出当前主流大模型在通用逻辑推理上的真实能力边...
2026-05-15
来源：oschina.net
35
德国主权技术基金（Sovereign Tech Fund，STF）向 KDE e.V. 投入 128.52 万欧元——这笔钱不是赞助，而是对数字公共基础设施的战略投资。KDE 即将迎来成立 30 周年，从 1996 年的一个 Linux 桌面项目成长为覆盖桌面、移动、办公、多媒体的完整开源生态，这笔资金来得正是时候。 STF 的定位很明确：资助对数字主...
2026-05-15
来源：oschina.net
26
向量数据库几乎是当下 AI 应用的标配——RAG 需要它，语义检索需要它，推荐系统也需要它。但一提到部署，很多人就会犹豫：Milvus 要起一套集群，Qdrant 虽然单节点也能跑，持久化还是绕不开本地磁盘或独立的存储后端。对中小团队来说，"为了几百万条向量搭一套专用存储"这笔账并不好算。 OpenData Vector 走了一条不同的路：把向量索引直...
2026-05-15
来源：infoq.com
26
SolidJS 一直以"无虚拟 DOM、细粒度响应式"的标签在框架圈里独树一帜。2.0 Beta 的发布不是小修小补——它把异步从"需要绕路处理的边缘场景"抬到了框架核心位置，同时重新设计了 Suspense、引入了 mutation 原语、调整了状态处理模型，并附带一批不可忽视的 breaking changes。如果你已经在用 SolidJS，这次...
2026-05-15
来源：oschina.net
14
每个写过 Dockerfile 的人都有过这样的体验——，144MB 进来了；再装几个依赖，轻松突破 280MB。你只是想跑一个几百行的小服务，却要先搬运一个比整个 3D 游戏引擎还大八倍的运行环境。 开发者 Sergey Bogomolov 最近做了一件事：把一个完整的 3D 游戏引擎导出为 WebAssembly，结果整个二进制文件只有 35MB。...
2026-05-15
来源：oschina.net
21
文档基金会发布了 LibreOffice 25.8.7——这是 25.8 分支的最后一个维护版本，也意味着这个版本线即将画上句号。6 月 12 日之后，25.8.x 将不再收到任何安全更新。如果你还在跑 25.8，现在就是规划升级的时间窗口。 作为维护版本，25.8.7 的核心工作是收尾：把 25.8 系列积压的已知缺陷做最后一轮修复，尤其是影响稳定性...
2026-05-15
来源：oschina.net
20
同一个网页，Safari 里排版正常，Firefox 里却歪了——这不是你的 CSS 写得烂，而是浏览器在替某些网站偷偷改规则。Den Odell 的分析揭开了一个很少被公开讨论的工程惯例：Safari 和 Firefox 都在源码里内置了对特定大网站的变通处理（quirks / interventions），Chrome 却几乎不需要这么做。这背后折...
2026-05-15
来源：oschina.net
26
内存分配器大概是系统软件里最沉默的角色——你天天用它，却几乎不会注意到它，直到并发压力把全局锁变成瓶颈。微软研究院的 Daan Leijen 花了数年时间打磨的 mimalloc，给出的核心判断非常干脆：传统分配器让所有线程抢同一批内存，本身就是设计错误。 把分配变成线程本地的事，再在必要时刻做轻量级的全局协调，性能和可扩展性就自然跟上了。 经典分配器...
2026-05-15
来源：oschina.net
18
Redis 之父 antirez 最近开源了 DwarfStar 4——一个专为 DeepSeek V4 Flash 模型打造的本地推理引擎。他的态度很直白：AI 太重要了，不能只当别人提供的远程服务来用。这句话背后藏着一个工程师的直觉——当你对一项技术的依赖完全建立在别人的 API 端点上，你失去了调优的自由、数据的掌控，以及随时可用的确定性。 De...
2026-05-15
来源：oschina.net
26
阿里把 Qoder 从一个 IDE 内的 AI 辅助模式，做成了独立运行的智能体开发工作台。核心变化只有一个：开发者不再逐行指挥 AI 写代码，而是定义需求，让一组 Agent 自主完成从执行、验证到交付的全流程。听起来像把 CI/CD 管线的前半段交给了 AI——但这次管线里跑的不是脚本，是能做决策的 Agent。 之前 Quest 是 IDE 里的...