Hacker News 中文摘要

乔纳森（Jonathan）陆龟是现存最古老陆生动物，约194岁。科学家首次测序其基因组，于星期三在《科学进展》（Science Advances）发表研究，揭示其部分长寿秘密。这只阿尔达布拉巨龟（Aldabrachelys gigantea）约1832年生于塞舌尔群岛（Seychelles archipelago），查尔斯·达尔文（Charles Darwin）出版《物种起源》（On the Origin of Species）时它已二十多岁。19世纪80年代，五十多岁的乔纳森与另三只龟被送圣赫勒拿岛（Saint Helena）赠英国总督，此后一直居留。

SynthID 检测器（SynthID Detector）用于识别 AI 生成媒体。用户可上传图像、音频或视频文件进行检测。SynthID 会把人类无法察觉的数字水印直接嵌入 AI 生成内容，这些水印由采用该技术的生成式 AI 消费产品加入。水印虽不可感知，却能由 SynthID 技术检测，并对常见变换保持稳健。上传文件时请尽量选择最高质量版本，以确保检测准确率。它不是通用 AI 检测器，只能检测采用 SynthID 技术公司的媒体。

关于成功人士的书常把成功写得枯燥：教育强调IQ和STEM，成年后凌晨5点起床、冷水澡、每天健身、少酒、斯达汉诺夫（Stakhanov）式工时。维多利亚英国精英不同：学校不重学术，STEM很少，成年后晚起、豪饮、大量时间聚会，爱宴饮、运动、假期、跳舞、打扮。尽管名声古板，他们可能很有趣。但19世纪英国精英仍极成功，英国是当时最富国家，公司主导全球商业、工业与金融，庞大海军……

虎甲（TigerBeetle）的 Tiger Style 文档建议集中控制流，拆分大函数时将 switch/if 语句保留在父函数，把无分支逻辑移到辅助函数，即把 if 上推、for 下移。编程启发式 push-ifs-up-fors-down 主张条件逻辑上移、迭代循环下移以提升清晰与性能。马特克拉德（matklad）也撰文探讨该原则的优点。

玛格丽特·汉密尔顿（Margaret Hamilton）是一名计算机科学家，曾领导美国国家航空航天局（NASA）阿波罗（Apollo）计划期间麻省理工学院（MIT）仪器实验室的软件工程团队。她于9月30日去世，享年90岁，撰写过130多篇出版物，帮助确立软件工程为一门独立学科，并于1959年至20世纪70年代中期在麻省理工学院工作，之后成为企业家和首席执行官，2016年获贝拉克·奥巴马（Barack Obama）颁发的总统自由勋章（Presidential Medal of Freedom）。

维萨（Visa）、万事达卡（Mastercard）以及多家主要银行（Major Banks）目前正面临一项新的诉讼，被指控针对商户信用卡交易费用实施了反竞争行为。根据2026年10月6日发布的报道，该诉讼指称这些金融机构通过相关协议长期维持过高的刷卡手续费，涉嫌违反公平竞争规则。

完整的最优性证明已通过带有原生数值证书的验证。完成的演进程序（EvolvingPrograms）验证运行接受了全部 7,920 个本地精益（Lean）模块，最终审计报告零准入。本仓库从提交 1bf942a7af1ea330e95489d8997deebd4227ca71 导入了那些确切的证明源和固定构建配置。部分昂贵的精确数值证书检查使用 native_decide，几何、检查器可靠性和证明组装保留普通 Lean 证明，因此最终定理信任 Lean 的内核和原生编译器，而非仅内核验证声明。

游戏是最具创造性的表达形式之一，游戏社区持续扩大。但游戏创作历来仅限于具备技术经验与复杂游戏引擎知识的少数人群。今日我们推出实验性游戏平台游乐场（Playground），可让用户创建、游玩并分享自定义游戏。该平台降低创作门槛，如今将游戏想法变为现实只需通过少量提示描述即可，无需编程经验。

昨晚，我9岁的儿子嘲弄妻子、复杂性理论家达纳·莫什科维茨（Dana Moshkovitz），说机器人解出了她毕生钻研的数学问题。儿子虽是小坏蛋，但没说错。无论你对此激动或沮丧，昨天都是数学史极重大日子之一。在OpenAI昨天发布的372项成果中，包括了苏巴什·科特（Subhash Khot）的唯一博弈猜想（Unique Games Conjecture, UGC）证明，这是我妻子自相识以来一直试图证明的命题。

元（Meta）与微软（Microsoft）采取步骤减少员工对克劳德（Claude）人工智能工具的使用，内部指引要求在工作流程中降低对该外部模型的依赖。员工访问此工具的权限受到管控，部分功能入口被关闭或转入审批流程，部分团队被要求转用企业自身提供的AI服务。