Hacker News 中文摘要

docker/docker-agent 是 Docker 工程团队（Docker Engineering）在 GitHub 上提供的仓库，页面标题把它定位为 AI Agent 构建器与运行时（AI Agent Builder and Runtime）。标题写作 GitHub - docker/docker-agent: AI Agent Builder and Runtime by Docker Engineering，由冒号分成两段，前段是仓库名，后段是定位说明，并直接点出归 Docker 工程团队所有。页面开篇可见的信息集中在仓库名与这句定位上。

Anthropic 推出 Claude Haiku 5.5，称其是迄今最便宜、最快、能力最强的小模型。它面向高吞吐量、成本敏感任务，可靠处理摘要、压缩、数据库查询和分类等快速重复工作，也能作为 Opus 5.5 和 Sonnet 5.5 的子代理参与编码。它还是迄今最快的模型，适合实时客户支持和浏览器使用等速度敏感任务。Haiku 5.5 平均运行成本比 Haiku 4.5 降低约 75%。

上个月我们为付费用户推出了首批 GPT‑6 模型，今天我们把这一代智能带给更多人：新的 GPT‑6 模型面向每周使用 ChatGPT 的超过 12 亿人。ChatGPT 中的 GPT‑6 引入智能界面（Intelligent UI），这项新能力让 ChatGPT 用完全交互式的用户界面快速作答，让日常答案更直观，让复杂主题的学习更容易，还能当场迅速创建一个工具来完成手头的任务。

大字页面（BIGWORDS.PAGE）通过一个链接就能把任意屏幕变成标牌。你可以制作全屏的标识、倒计时或留言。在抵达大厅举起手机展示接人信息，在电视机上显示倒计时，或在前台展出 Wi-Fi 密码。没有账号，没有应用，服务器上不保存任何数据。链接即整个画面，可分享或收藏。大声说出它，任意屏幕，任意尺寸，只需一个网址。

皮尤研究中心（Pew Research Center）2026年10月1日发布一份报告，考察37个国家民众如何看待社交媒体对民主的影响，以及各地社交媒体平台的使用情况。调查覆盖36个国家的42151人，包括阿根廷、澳大利亚、孟加拉国、巴西、加拿大、智利、哥伦比亚、法国、德国、加纳等。

在浏览器里不用模拟器运行 PSP（PlayStation Portable）游戏：游戏的 MIPS 机器码会被提前翻译成 C++，编译为 WebAssembly，再链接到一个精简重写的 PSP 操作系统和图形芯片实现上，画面由 WebGL2 绘制。第一个以这种方式跑起来的作品是《战神：奥林匹斯之链》（God of War: Chains of Olympus），它从开机启动即可运行。

自动形式化（autoformalisation）正越来越多地用于验证数学文本，包括 AI 生成的证明，比如 OpenAI 宣布的对纳维-斯托克斯方程（Navier-Stokes equations）解爆破的证明。流程是：AI 把自然语言文本翻译成 Lean 这样的形式语言，翻译完成之后，形式语言中的论证就能被机械地验证。但这一过程未必能为原始的自然语言论证提供任何信心，因为要做到语义忠实的翻译存在重重困难。

ascii.rest 是舒巴姆（Shubham）以 @bas3line 名义做的项目，提供可直接用在网页上的动画 ASCII 艺术。站点把作品分成两类：一类是 13 个场景，包括 alpine dawn、aurora fjord、deep reef、earthrise、kyoto dusk 等，从高山黎明、极光峡湾到深海礁石与恒河河坛各有画面；另一类是 12 个 UI 组件，如开机日志、方框边框、日历、数字时钟、分隔线、文件树、表单控件、404 页面、进度条和骨架屏，都是终端风格的界面元素，每个作品都配独立页面。

在软件开发中，人们会收集反模式（anti-patterns），以识别那些导致糟糕结果的常见特征。作者认为对软件博客也值得这样做，于是把自己从新手博客作者身上看到的最常见错误编录成一份清单。

展览从950年至1950年的中国绘画与中世纪哥特艺术起步，继而是1300年至1700年的波斯细密画、早期文艺复兴、1400年至1900年的日本绘画、北方文艺复兴、1450年至1700年的克里特学派、盛期文艺复兴、风格主义、殖民时期拉丁美洲绘画、1550年至1950年的印度绘画、荷兰黄金时代、巴洛克，以及1670年至1900年的浮世绘等，沿时间线向下延伸。