The Hacker Daily

DuckDB 2.0 将于今秋发布，代号「Cyanoptera」。这次大版本不只是编号变化：它引入新的 SQL 解析器、默认存储格式、重做的 C API 和少量破坏性变更。核心方向是「DuckDB as a server」：通过稳定版「Quack」协议和 CONNECT 语句，让 DuckDB 进程可作为网络服务被其他 DuckDB 或客户端访问，并对 PostgreSQL、MySQL 做远程查询下推。版本还强化 VARIANT 半结构化类型、触发器、异步 I/O、Parquet 与对象存储性能、多种 SQL 语法能力。文章强调 DuckDB 原本具备 MVCC 与事务隔离，服务器模式会让其多连接、长期运行场景更有价值。争议集中在它是否正进入 ClickHouse、数据仓库甚至 OLTP 领域，以及快速开发和稳定性的平衡。

这篇 Science 报道一具在苏格兰城堡遗址出土的 14 世纪遗骨：研究者称其严重创伤特征符合被投石机巨石击中的情形，可能是首个经考古学确认的「投石机致死」个案。评论透露，墓葬中有 9 具遗骨，其中包括编号 Skeleton 150；其颅骨据称碎裂 61 处，提示撞击极其剧烈。文章背景可能关联英王爱德华一世 1304 年围城及早期配重投石机的使用。争议集中在归因是否足够排他：类似损伤也可能来自城墙坍塌等事件；另有读者讨论「Warwolf」是否可被排除、投石机与弹力抛石机的机械差异，以及战争暴力从中世纪延续至现代的历史连续性。

Wiz 称其自治安全工具「Red Agent」在 Snowflake 公共仓库中发现并利用了 GitHub Actions 脚本注入漏洞：任意用户只需提交特制 issue 标题，就能在 runner 中执行命令并外带 Jira 凭据，从而读取 Snowflake 内部工程、安全合规和漏洞赏金项目。漏洞来自 PR 合并后把原本较安全的「env + jq」模式改成直接插值，GitHub Advanced Security 未拦截，Copilot 作为共同作者/检查者也未发现问题。Snowflake 当日修复并轮换凭据，审计显示仅 Wiz 访问。争议点在于：漏洞是否应归咎于 AI 生成，还是人类审核、CI/CD 设计与静态分析缺失。

Olo 是一种正常光照下无法看到的「想象色」：可见光不存在只激活人眼 M 锥细胞、而不同时激活 S 或 L 锥细胞的单色刺激，因此它位于普通可见色域之外。UC Berkeley 团队通过先映射受试者视网膜、识别各类视锥细胞，再用自适应光学扫描激光精确刺激 M 锥细胞，让 5 名受试者看到一种极高饱和度的蓝绿色，最接近 sRGB 的 #00FFCC。研究者认为该技术或可用于色盲矫正，甚至探索增强色觉；但也有专家质疑它是否应被称为真正的「新颜色」，认为分类仍有争议。

论文提出一个直接集成进「rustc」和「LLVM」后端的零开销、多厂商 GPU 编译框架，目标是在不牺牲 Rust 所有权、别名规则和内存安全的前提下，把 Rust 代码卸载到 NVIDIA 与 AMD 等 GPU 上执行。作者利用 Rust 类型系统与「noalias」语义优化主机到设备的数据移动，并设计两遍编译流程处理手写和编译器生成的内存迁移，同时解决主机与设备目标之间 ABI 降低不一致的问题。RAJAPerf 评测显示其生成的 GPU kernel 性能可接近手写 CUDA 与 HIP C++ 基线。争议集中在代码是否公开、为何依赖 LLVM、与 rust-gpu、Mojo、SYCL、OpenMP 等路线相比的定位，以及指针模型对 HPC 性能是否必要。

文章梳理 MS-DOS 2.0 如何从一个原本受限的 CP/M 式单任务系统，走向带有部分 UNIX/XENIX 思想的重写版本。微软早期押注 XENIX，但 8086 与当时 PC 内存限制让精简 UNIX 难以落地；IBM 只希望 DOS 2.0 支持 PC XT 的硬盘并保持小巧，Paul Allen 则坚持加入层级目录、文件句柄、可加载驱动、后台打印假脱机和若干 XENIX 风格工具。最终 Gates 在不影响交付期的条件下让步，六人团队完成大幅重写。DOS 2.0 占用约 20KB，远超 1.x，却奠定了后来 PC 文件系统、设备驱动与命令行体验的基础。

文章介绍 OpenClimbing 2.0 的核心理念：攀岩指南不应成为某个应用的私有数据库，而应作为 OpenStreetMap、Wikimedia Commons 等共享基础设施上的专业视图。新版支持在岩场编辑路线、上传照片、绘制线路、导出离线 PDF、记录个人攀爬日志，并加入日照和地形阴影等攀岩场景专用功能。其价值不在锁定路线数据，而在提供领域化工具，让路线、岩场、照片等公共信息可被其他项目复用。文章也提醒，开放数据并不等于正确或完整，路线标注、授权图片和维护仍依赖社区劳动。

Responsible Statecraft 报道称，Hanover Institute for Public Policy 表面上像研究以巴议题的美国智库，实为受以色列政府广告机构委托、由 Piro 创建的网站。其百余篇无署名报告采用脚注、目录、统计表和中性语气，疑似为迎合大模型可信度判断、影响 ChatGPT、Gemini、Claude 等回答。Piro 网站称其服务为「AI Story Optimization」，批评者称之为「LLM poisoning」。文章指出该网站频繁引用以色列官方来源，12 篇抽样文章中 11 篇被 GPTZero 高置信标记为 AI 生成；以色列还另有合同支持亲以网站影响聊天机器人。Piro 否认操纵意图，称是在公开记录中提供可验证事实、反击错误信息。

作者回顾从 Gmail 迁移到 Fastmail 几个月后的体验，认为选择基本正确。关键收获是没有简单转发 Gmail，而是用自有域名和子域名地址为重要账号重新绑定邮箱，使邮件自动按地址进入对应文件夹，组织效果甚至好过 Gmail 分类。Fastmail 支持大量自定义域名、博客域名邮箱和「Masked email」一次性地址，也让未来再迁移更容易。作者提醒新注册域名发信可能被 Gmail 等灰名单延迟一两天。总体迁移比预想顺滑，但评论区对垃圾邮件过滤、价格、Google SSO 锁定和子域名地址可迁移性提出了现实顾虑。

Roboflow 用即将发布的 VLM 基准测试 GPT-5.6 系列，认为 Sol 是 OpenAI 迄今最强视觉模型，尤其在目标检测和计数上较 GPT-5.5 大幅进步，文档布局、密集物体、复杂场景文字读取表现更实用。Terra、Luna 也有提升，Luna 在延迟和价格上更均衡。但 OCR 和信息抽取并未全面领先，Sol 在大图检测上会不稳定，且单图约 10 秒、约 2.5 美分，成本较高。文章结论是 OpenAI 已明显追近领先 VLM，但在高批量检测和计数任务中，Gemini 3.5 Flash 仍更便宜且基准更强。

作者自称支持 AI，但反感同事、 newsletter 或社交内容中直接倾倒未经筛选的 AI 输出。他提出「AI;DR」作为对「AI 垃圾文本」的回应：如果写作者都不愿审阅、删改和承担表达责任，读者也没有义务阅读。文章承认客服等场景可接受全自动文案，也认可 AI 可用于构思、提纲和润色；争议点在于把提示词扩写成一堵文字墙再转嫁给他人，会传递出懒惰、不尊重读者的信息。核心标准不是是否用 AI，而是最终文本是否经过人类判断、有清晰意图和个人负责。

文章是一份面向普通用户的实用清单，汇总如何在常见软件和设备中关闭不想要的 AI 功能，包括 Adobe、Android Gemini、Apple Intelligence 与 Siri、Chrome/Edge/Firefox、Google Workspace、Slack、Windows 11 Copilot、Office、Yahoo Mail 和 Zoom 等。作者强调目标不是反对所有 AI，而是帮助用户减少被默认开启、难以发现或持续弹出的「侵入式 AI」。文中也推荐替代浏览器、无 AI 搜索入口和若干移除工具。争议焦点在于厂商把 AI 与原有功能绑定、默认开启并增加关闭成本，用户不得不像清理广告和预装软件一样维护自己的数字环境。

丹佛地方法院法官为圣路易斯 Nine PBS 从 Iron Mountain 数据中心取回约 50TB 档案资料设定程序。Nine PBS 原本与已倒闭的 OSS 签约存储数据，而 Iron Mountain 只是 OSS 的数据中心供应商，因此担心无权直接放行、也无法确认数据格式及是否混有其他客户资料。法官确认 Nine PBS 是资料所有者，要求 Iron Mountain 配合取回，并允许电视台在 30 天内指定第三方协助访问 OSS 系统；Nine PBS 需支付 OSS 停付后的欠费和当前费用，核对文件清单，并赔偿检索过程中可能造成的其他客户数据损害。若数据加密或取回复杂，法院将再开庭处理。

Sun Clock 是一个免费的 24 小时网页时钟，用当前位置展示太阳在天空中的位置，以及日出、太阳正午、日落、黄金时段、暮光等时间，同时显示月相、月亮位置和升落时间。它强调隐私：位置和设置保存在浏览器本地，不发往服务器，也不使用 Cookie。一个特色是会按南北半球自动调整旋转方向：北半球太阳视运动近似顺时针，南半球则相反，用户也可手动改。站点还支持悬停查看各时段起止时间、PWA 离线安装、暗色模式、自动配色、年度日历等。评论主要围绕天文边界条件、交互可用性、手表/地图/年度滑块等扩展需求展开。

文章通过摄影师 Pie Aerts 的影集「Coirón」和纪录片项目，呈现智利南部巴塔哥尼亚「puesteros」的生活：他们受雇在偏远牧场照看牲畜，常数周甚至数月不见外人。Aerts 原本关注孤独，后来意识到这些老人也被贫困、退休无保障和土地无权感塑造：他们爱上自己永远不会拥有的土地。照片在荒寒风景、简陋室内、沉默肖像与奇异遗物之间，既不浪漫化苦难，也捕捉到坚韧与脆弱并存的处境。评论中有人向往远离城市的生活，也有人提醒这种孤立在医疗、劳动和现实压力面前并不浪漫。

印度 UPI 自 2016 年推出后，已成为全球最大实时支付网络之一，7 月交易达 236 亿笔。其成功关键在于开放互通、用户免费、商户用二维码即可收款且无需支付「商户折扣率」。政府正考虑对大商户、高额交易征收 0.3% 至 0.5% 费用，以补贴银行和支付公司的基础设施、风控与安全成本。方案或只覆盖 2000 卢比以上交易，影响笔数很少但价值占比高。争议在于：若收费扩展到小商户和非正式经济，可能削弱 UPI 的接受网络和无摩擦体验；但合理定价也可能让系统更可持续。

Repair Cafe 倡导把损坏的家电、衣物、工具等带到社区活动现场，由有经验的志愿者协助诊断和维修，以延长物品寿命、减少浪费，并让维修知识重新在社区中流动。评论显示这类活动已在英国、波特兰、伯克利、旧金山等地出现，常与社区中心或创客空间合作。参与者认为它既实用又有成就感，但也需要规则：物品要清洁、带齐电池和配件，避免卫生风险。讨论还延伸到维修知识碎片化、非英语资料难找、Discord 难检索，以及建立可替换零件 3D 模型库等想法。整体争议不多，重点在如何扩展网络、招募导师并降低普通人学习维修的门槛。

37signals 发布面向公司内部人员管理者的管理手册，说明管理者的职责边界、团队领导哲学，以及如何在人员管理与个人贡献者工作之间取得平衡。手册强调把员工视为负责、能干的成年人，同时涵盖基础原则、绩效管理等章节，试图用简洁规则统一招聘、留任、反馈与团队标准。评论关注其高门槛文化，尤其一年节点不是「及格」而是让团队感到「太好了」；也有人讨论其对公开表达不满的边界、远程岗位吸引力，以及 AI 时代面试作业如何设计。

文章解释 Windows 编译器处理「alloca」这类动态栈分配时，如何避免一次性跨过栈保护页。答案是它会调用与大栈帧分配相同的「__chkstk」探测函数：先为固定局部变量栈帧探测并调整栈指针，再根据运行时参数把分配大小按 16 字节对齐，调用「__chkstk」逐页触碰栈空间，随后才真正移动「rsp」。示例汇编展示了固定 16KB 缓冲区与动态 alloca 分配共享同一套栈探测机制。评论区延伸到标准 C 难以实现 alloca、栈保护页、红区、Stack Clash，以及系统底层知识传承等话题。

这篇 Cell Reports Medicine 研究从题名看，关注不同运动强度如何调节人体「器官间通信」，并将这些生理信号变化与心代谢健康结局联系起来。核心价值在于把运动不只视为单一肌肉或心肺反应，而是看作跨器官分子网络的系统性干预，可能帮助解释为何不同强度训练对血糖、脂质、炎症或心血管风险产生差异。由于原文无法抓取，具体样本规模、检测组学、因果强度和临床可推广性无法核验；HN 讨论也几乎没有展开，唯一评论只是补充完整标题。

Speko 试图做语音 AI 领域的 OpenRouter：用兼容 OpenAI 的 API，把 STT、LLM、TTS 等语音代理常用组件接到同一网关，并提供基于准确率、延迟、语言覆盖和成本的持续基准测试与自动路由。页面展示了多款语音转写模型的 WER 与每分钟价格对比，开发者只需改 hostname 和 model 字符串即可接入 LiveKit 等框架。争议集中在语音代理是否仍会采用级联架构、端侧开源模型是否会吞掉云端需求，以及 Speko 相比 LiveKit Gateway、Vapi 或 OpenRouter 自身的差异。创始人回应称其重点是为生产级电话、客服、外呼等场景选择和调优整套语音栈。

中国 BESIII 合作组在近 100 亿次 J/ψ 介子衰变数据中，报告 X(2370) 很可能主要由「胶球」构成。胶球是由胶子组成的假想粒子，若确认，将直接支持量子色动力学中胶子可自相互作用的关键预言，并有助解释质子等强子质量的来源。证据包括其质量、产生方式以及 2024 年测得的 0−+ 自旋宇称，均符合最轻赝标量胶球预测。不过专家也强调目前没有单一「铁证」，结论依赖多年累积证据，仍需排除其他粒子组成的可能。

陶哲轩整理并消化了 Lech Mazur 借助 AI 工具生成、并经 Lean 验证的 Sendov 猜想证明，将其改写为更接近论文发表形态的人类可读版本。文章说明该证明不仅解决 Sendov 猜想，也给出 Phelps–Rodriguez 加强版和内点版本的完整证明。核心论证意外地初等：除代数基本定理和少量 Möbius 变换外，几乎不依赖复分析，关键输入是 Maclaurin 不等式。陶还用 AI agent 将精简证明形式化为约 1.5 万行 Lean 代码，较原始 9 万行大幅压缩。文章同时呈现了 AI 在数学研究中从搜索证明到人类消化、形式化验证的协作模式。

这场讨论源于用户寻找 GitHub 替代方案，社区给出的答案分成几类：若想要最接近 GitHub 的体验，Forgejo、Gitea、GitLab 和 Codeberg 被反复推荐；若偏好轻量自托管，Gogs、cgit、Fossil、RocketGit、GitSocial 等可选；若关注去中心化或联邦化，Radicle、Tangled、rngit 等被看好。争议集中在迁移成本、生态锁定和运维负担：GitLab 功能最全但自托管并不轻松，Forgejo/Gitea 更快更省心但功能较少；开源项目可借 Codeberg，企业则还要考虑 CI、权限、合规、赞助、可见度和用户账号网络效应。

scScript 是一个用 C 编写、运行在 64 位 Linux 上的类 C 脚本语言，目标是在简单语法和可嵌入性之间取得平衡。它编译为可显示的优化字节码，并在小型虚拟机中运行，支持 64 位整数、浮点数、不可变 UTF-8 字符串、自动增长数组、字典、闭包、嵌套函数、可变参数、按值与按引用传参、栈式非对称协程、非局部退出、尾递归优化，以及标记清扫和引用计数结合的内存管理。项目还集成了 scEmacs，一个轻量显示编辑器，可用于源码显示、搜索替换、补全、窗口和脚本驱动。评论中的争议点主要是它与 LLVM/lli 直接运行 C 的关系；作者回应称 scScript 不是 C 运行器，而是带脚本特性的类 C 语言。