Hacker News 中文摘要

DuckDB v2.0将于今年秋季发布，主要新特性包括支持服务器模式、触发器、VARIANT类型、异步I/O、新SQL解析器、新存储格式等。这是重大版本更新，包含超过一万次提交，标志着DuckDB从湖仓一体转向服务器化发展。

用户讨论GitHub因指数级增长出现访问问题，认为不应简单归咎于其能力不足。同时批评Codeberg作为替代方案不够中立，会因主观判断删除仓库，不适合作为基础设施。用户希望寻找支持开源免费、闭源付费、能处理AI项目、位于英国或欧盟的替代平台。

GitHub.com发生了一起服务事件，目前正在处理中，用户可订阅更新以获取最新进展。

OpenAI发布GPT-5.6系列模型，包括Sol、Terra和Luna。其中Sol在视觉任务上表现最佳，尤其在物体检测和计数方面显著超越前代GPT-5.5。Terra和Luna虽不及Sol，但相比GPT-5.5也有明显进步。

Rhombus 1.1版本已发布，这是一种易用且可高度自定义的通用编程语言。新版本增加了annot和annot.def用于定义注解，新增as作为绑定形式，并改进了class对继承名称的绑定方式。

AGI-64是一款为Commodore 64开发的AGI游戏解释器，目前已完成约75%，可免费下载。它支持运行《太空冒险1》等经典Sierra冒险游戏，用户需提供自己的游戏文件，并兼容EasyFlash和Kung Fu Flash等第三方设备。

文章讨论了关于AI监管的复杂观点，认为“监管必然导致权力集中”是过于简化的看法。作者指出，公平的制度流程反而能分散权力，保护弱势群体，并以法院系统优于私刑为例说明。Anthropic公司正致力于提出谨慎的政策建议，以平衡发展。

《线性代数应该这样学》第四版已开放获取，提供英文、中文、波斯语、希腊语和葡萄牙语等多种语言版本，包含250多个新习题和70多个新示例，并有多项改进。

MathCode是一个终端AI编程助手，内置数学形式化引擎，能将自然语言描述的数学问题自动转换为Lean 4定理并尝试形式化证明，具备持久化Lean REPL、可重用定理与公理库、智能证明及Obsidian知识图谱等功能。

GIMP 3.4开发进展顺利，即将发布首个开发版3.3.2，新增项目文件格式、MyPaint画笔光谱混合、非破坏性编辑、PSD支持改进及原生文件选择对话框等功能。