Hacker News 中文摘要

德意志银行成为欧洲首家人民币清算行，标志着人民币国际化在欧洲迈出重要一步。

1981年8月12日，IBM推出5150个人电脑，改变了计算领域格局，其成功离不开兼容机市场，而Model F/XT键盘凭借出色做工为早期成功贡献良多。

OpenAI推出Codex智能编程代理，集成于ChatGPT中，可端到端完成复杂工程任务，支持多代理并行工作，适应团队标准，自动处理日常维护工作，提升代码质量与团队效率。

Flutter 3.47发布，带来重大更新：Material和Cupertino设计系统作为独立包发布1.0版本，实现与核心SDK解耦；Impeller渲染器在桌面端默认启用；Flutter Widget预览功能稳定。

hax是一款轻量级、终端原生的编码代理工具，采用单一C语言二进制文件，启动快且内存占用低（仅几MB）。它优先支持本地模型，自动发现模型和运行时能力，无需自定义配置。尊重终端操作，保留原生滚动，支持流式Markdown和实时工具输出。提供可检查的对话记录和详细协议追踪，兼容多种AI提供商（如OpenAI、Anthropic等）。作为Unix工具，遵循XDG路径规范，配置和会话文件为纯文本。目标用户是终端开发者、本地模型运行者、工具审计者及资源受限环境下的代理使用者。

SQLite在2026年修复了一个自2010年就存在的WAL-Reset数据竞争漏洞，该漏洞极难复现。作者受此启发，计划使用Antithesis工具来追踪这一经典且棘手的数据库bug。

社交媒体上的沙丁鱼饮食潮流导致罐头沙丁鱼需求激增，同时海洋环境问题加剧了供应短缺，造成全美超市货架空空，消费者难以买到心仪品牌。

《数学原理》虽出版于1910年，但读起来像现代编程语言文本，书中关于指称透明性、定义、命题函数、类型等概念极具前瞻性，甚至预见了λ演算和直觉主义思想。

作者分享其AI代理设置：为扩展多个产品和非营利组织，创建了由6个代理组成的“员工团队”，包括执行管理代理等，目前仍处于早期实验阶段。

谷歌发布Pixel 11 Pro Fold折叠屏手机，设计更轻薄，重量减轻近10%，厚度减少约1毫米，新增HiLight相机条LED灯带，可显示来电等提示信息，提升耐用性和智能功能。