2026-05-26
来源: oschina.net
36
一门新语言要证明自己不是"又一个玩具"，最快的方式不是跑 benchmark，而是让人拿它干真活。MoonBit 软件合成挑战赛里，海外开发者交出的答卷恰好说明了这一点——三个项目分别踩进了办公软件、深度学习训练、游戏引擎这三个硬场景，而且全部跑在浏览器里。 这个项目要解决的核心问题是：在浏览器里打开一份 文件，能编辑、能高保真渲染，最终还能导出回去。...
2026-05-26
来源: oschina.net
43
2025年10月13日，加州州长纽森签署了《数字年龄保障法》（AB 1043），要求所有操作系统从 2027 年 1 月 1 日起收集用户年龄信息。法案一出，开源社区炸了锅——Linux 发行版没有中央化的用户账户体系，也没有商业公司替你做合规，强制收集年龄信息等于直接掐断在加州的分发渠道。几周后，立法者提出修正案 AB 1856，把开源操作系统排除在...
2026-05-26
来源: oschina.net
34
Flatpak 官网首页至今还写着一行醒目的承诺："Build for every distro: create one app and distribute it to the entire Linux desktop market."支持列表里甚至特意标出了 Void Linux、Guix 和 Alpine——这三个发行版恰恰都不用 systemd...
2026-05-26
来源: oschina.net
41
Kubernetes 集群跑久了，总会撞上几堵墙：高优先级作业排队没章法、低优先级 Pod 占着资源不放、调度器和重调度器各自为政。Koordinator v1.8.0 针对这三个痛点同时出手——新增 Koord-Queue 作业排队系统、强化 Reservation 预占能力、引入 Scheduling Hint 调度协同协议，还把异构设备支持拓展到...
2026-05-26
来源: oschina.net
39
传统象棋引擎追求的是"更强"——Stockfish 的 Elo 破 3500，远超任何人类冠军。但如果你是一个 1500 分的业余棋手，跟 Stockfish 下棋就像跟一台不会犯错的机器对练：它从不失误，你永远看不到"人类会怎么走这步"。Maia 3 走了另一条路——它不是要赢你，而是要像你一样下棋。 Maia Chess 团队刚发布的 Maia 3...
2026-05-26
来源: my.oschina.net
31
把一个跑了多年的网盘 Android 客户端往 Kotlin Multiplatform（KMP）上搬，不是让 AI "帮我翻译一下这段 Java" 就能搞定的事。几十万行存量代码、跨平台语义对齐、模块间依赖纠缠——任何一个环节失控，AI 就会从助手变成制造混乱的源头。 我们在这场迁移里摸索出了一套三层架构：Skill → SubAgent → Age...
2026-05-26
来源: oschina.net
37
2000 年初，AOL 内部有人写了一个小东西——一个完全不需要中心服务器的文件共享协议演示。公司高层觉得这东西太危险，下令砍掉。但代码已经流出，互联网不认"撤回"按钮。几天之内，Gnutella 就像野草一样蔓延开来，几年后数百万人在用它下载 MP3。 这个故事本身就够戏剧性了，但更有意思的是：Gnutella 的协议设计极其简陋，甚至可以说是"粗暴...
2026-05-26
来源: oschina.net
39
2005 年，Oracle 的工程师 Omer Barnir 向 MySQL 提交了 Bug #11472：当父表的外键级联操作（、 等）间接修改或删除子表行时，子表上定义的触发器不会被执行。近 20 年过去了，这个 Bug 仍然开着，状态是"Verified"——没有修复，没有计划修复的时间表。 这不是一个边缘场景。任何依赖外键级联 + 触发器做审计...
2026-05-26
来源: oschina.net
39
如果你做过 .NET 调试、兼容性排查，或者接手过没有源码的第三方库，ILSpy 几乎是绕不开的工具。10.1 版本搭上了 .NET 10 的列车，同时在命令行能力上补了一块重要短板——嵌入式资源的提取与 BAML 反编译。这对自动化分析流水线来说，是个实质性的提升。 ILSpy 10.1 自身构建在 .NET 10.0 之上，这意味着它可以直接加载和...
2026-05-26
来源: oschina.net
26
马斯克在 X 上放了一则简短公告：Grok 基座模型 V9-Medium 已完成训练，参数量 1.5 万亿，评估表现良好，预计 2-3 周内公开发布。最值得注意的不是数字本身，而是他特意提到训练数据中加入了大量 Cursor 数据——一个以代码补全和编辑场景闻名的 IDE 工具。这暗示 xAI 在模型能力方向上做了一个明确选择：把编码能力拉到前台。 1...