每日摘要 · Hacker News
· 47 黑客新闻
纽约时报起诉OpenAI和Microsoft的版权案新文件曝光，揭示了AI巨头内部对数据爬取的惊人定性。Microsoft高管Brent Hecht在内部文件中直言，大规模抓取受版权保护内容并移除版权标识，是“人类历史上最大规模的劳动盗窃”。文件还显示，OpenAI和Microsoft曾刻意绕过付费墙获取数据，且内部承认其AI产品对新闻业构成“生存威胁”，导致纽约时报的点击率暴跌93%。这些证词…
- ▲ 444为什么我不喜欢 passkeys？
过去几年，Google 和 Microsoft 等科技巨头一直在大力推广 passkeys，声称这是登录的终极解决方案。然而，我认为对于个人用户而言，passkeys 目前并不成熟。虽然它能有效防止钓鱼攻击，但却带来了永久账号锁定、设备丢失和自动化封号等更高风险。无论是硬件密钥的容量限制，还是 Apple 和 Google 账号被禁后导致的所有 passkeys 丢失，都让个人用户陷入被动。相比…
- ▲ 410黑客利用漏洞72小时攻破OpenAI
2026年7月，我们团队通过链式利用libheif堆溢出漏洞和OpenAI的SSO配置错误，在72小时内成功接管了多名OpenAI员工的ChatGPT和Codex账户。我们利用受控账户在OpenAI内部代码库openai/openai中提交了PR #1186742，以此证明攻击路径的可行性，但未窃取任何敏感信息。此次攻击利用了Discourse论坛中ImageMagick对libheif的调用缺…
- ▲ 342OpenJev：在浏览器里跑本地决策模型
OpenJev 让你无需后端，直接在浏览器中运行本地决策模型。你可以选择 Qwen3、MiniCPM5 等不同规模的模型，在本地 GPU 上对比两种决策方式：一种是直接读取模型对选项的概率 logits，另一种是让模型以 JSON 形式逐 token 生成概率分布。整个过程完全在本地进行，数据不离开页面，模型权重来自 Hugging Face 并缓存在浏览器中。无论是 MiniCPM5 2B 还…
Alibaba 正式推出 Qwen3.8-Omni-Flash，这款原生多模态模型将 Agent 能力从单纯的内容理解推向了任务规划与执行的新高度。它支持 1M 级上下文窗口，能独立处理视频剪辑、音乐 MV 制作及长会议记录等复杂工作流。模型在长视频理解中采用“主动搜索”策略，精准定位关键信息，Token 消耗降低约 46%。更令人惊喜的是，它不仅能优化自身，还能自主完成 Qwen2.5-Omn…
Bend 2 宣称是 AI 编程时代的语言，让人类写规则，AI 写代码和证明。但作者指出，其演示案例中，仅定义简单规则就需 58 行代码，而证明这些规则竟需 442 行。相比之下，使用成熟的 SPARK 语言重写相同逻辑，代码更简洁且证明过程高效。这正是 Vibe-Coding 的陷阱：开发者在缺乏领域知识的情况下，依赖 LLM 构建出看似可行实则落后数十年的方案，完全忽略了形式化验证领域已有的…
Jemalloc 5.4.0 版本发布，包含超过 160 次提交，重点在于清理技术债务、修复 Bug 以及提升测试覆盖率。新版本引入了 EXTENT_ALLOC_FLAG_PINNED 功能，允许自定义扩展分配钩子标记不可回收的 HugeTLB 页面，并新增了一系列 mallctl 接口以监控 pinned 内存使用情况。此外，该版本还优化了 per-CPU arena 选择机制，改进了人类可读…
- ▲ 240ZCode 静默上传你的 Git 历史
开发者 ferstar 揭露，Z.ai 推出的 ZCode 桌面应用会在用户登录时，静默打包整个工作区的 Git 历史记录、LFS 缓存及配置文件，加密后上传至 Aliyun OSS。更令人担忧的是，加密密钥仅由 Z.ai 云端持有，用户无法解密。即便关闭设置中的“优化体验”或“仓库快照索引”，上传行为依然持续。这一机制意味着 ZCode 实际上在后台收集了用户数年的工程历史，包括已删除的 AP…
在 x86 模拟领域，最大的性能杀手莫过于 x86-TSO 内存模型。由于 ARM 架构采用弱一致性模型，而 x86 强制要求严格的总存储排序，这种架构差异导致模拟时性能急剧下降。FEX 团队深入剖析了从 ARMv8.0-a 到最新扩展的演进历程，揭示了为何简单的内存访问在模拟中变得异常昂贵。虽然 Apple Silicon 通过硬件级支持巧妙解决了这一问题，但大多数 ARM 平台仍需依赖复杂的…
美国资本市场的传奇人物Warren Buffett正式宣布卸任Berkshire Hathaway董事长一职，转任名誉董事长。这位96岁的投资大师在致股东的信中坦言，虽然“时间老人”最终会战胜一切，但他对自己已足够慷慨。Berkshire Hathaway官方确认，Warren Buffett的儿子Howard G. Buffett将接任董事长职位。这一人事变动标志着Berkshire Hath…
- ▲ 152ZCode 静默上传你的 Git 历史
我在清理磁盘时意外发现，ZCode 在后台静默打包并加密上传了我的整个工作区，包括完整的 Git 历史记录和 LFS 缓存。更令人不安的是，加密使用的公钥由服务器动态下发，私钥仅存于云端，这意味着连我自己都无法解密本地文件。尽管隐私政策只提及收集对话内容，但实际行为却涉及全量代码库的上传，且 UI 中的关闭选项完全无效。面对这种无法通过设置阻止的行为，最终只能通过修改文件系统权限来强制拦截。
这篇研究深入剖析了 Coding harness 如何决定自主编码 Agent 的长期工程表现。研究固定执行循环，单独测试了 planning、action space 和 context management 三个组件。在 SWE-Bench Verified 和 Terminal-Bench 2.1 上，通过 176 组匹配设置对比发现：当 context-window 预算收紧时，cont…
古英语中有约 1000 个词汇无法追溯到任何印欧语系，包括橄榄、迷宫等核心词汇。这些语言化石揭示了在希腊人到来之前，爱琴海地区曾存在一种名为 Pre-Greek 的古老语言。随着印欧语系人群从内陆草原迁徙至地中海沿岸，他们借用了当地 Paleo-European 语言中的大量词汇来描述新环境中的植物、动物和地形。语言不仅是沟通工具，更是历史的化石记录，承载着人口迁徙与文化交融的深层记忆。
Waymo 正式宣布将自动驾驶服务拓展至新加坡，计划于明年启动初期运营，并预计在 2028 年向公众开放 rideshare 服务。我们将携手当地政府，部署全电动 Jaguar I-PACE 车队，配备第五代 Waymo Driver，旨在支持新加坡的 Singapore Green Plan 2030 及 Land Transport Master Plan 2040。通过引入零排放、高安全性…
我们正式推出 Delta 的公开测试版，这是一个专为与 AI 代理协作而生的多人编程环境。上周，我们做出了一个大胆决定：在 Delta 自己的仓库中彻底禁用 Pull Requests，转而完全在 Delta 内部进行构建和协作。与依赖提交和推送的传统工作流不同，Delta 允许你直接将队友邀请到与代理的对话线程中。队友可以看到相同的 worktrees 并在自己的机器上操作，甚至能继续你未完成…
Cloudflare 推出的 Quick Tunnels 让开发者无需注册账号或配置复杂文件，仅需一条命令即可将本地运行的应用安全地暴露在公网。它自动处理 HTTPS 证书、DDoS 防护，并利用 Cloudflare 的全球边缘网络实现快速访问。无论是 localhost:8000 上的测试服务还是 API 接口，都能瞬间生成 trycloudflare.com 预览链接，方便团队协作与反馈。…
我们之前发布的 ShapeLearn-Lite 版本表现已经不错，但全新的 ShapeLearn 完整模型更是将性能推向了新高度。在 Qwen 3.8 27B 的实测中，ShapeLearn 系列模型在六款 GPU 上均位于质量与速度的前沿。特别是 GPU-5 配置，在仅占用 13.1 GB VRAM 的情况下，达到了 BF16 基准分数的 99.63%。如果你需要更长的上下文或更快的速度，GP…
2026 年 7 月，澳大利亚电信巨头 Telstra 遭遇大规模断网，连紧急电话都无法接通。罪魁祸首并非黑客攻击，而是墨尔本机房里一个 GPS 接收器在维护后错误地认为当前年份是 2006 年。由于 2020 年的架构升级引入了 NTP 对等模式，导致系统形成了时间循环，让这个错误的时间源被全网络采纳。这次事故揭示了一个深刻教训：现代通信高度依赖精确同步，一旦时间架构设计出现隐蔽的循环依赖，整…
我为音乐视频制作Voronoi噪声Shader时，发现它在RTX 4070显卡上出现诡异卡顿，而其他设备运行正常。排查一周后，LLM建议将fract函数替换为x - floor(x)，问题竟奇迹般消失。但进一步复现测试发现，这并非简单的驱动Bug，而是编译器在特定上下文中对fract指令的误编译。这次调试经历揭示了GPU驱动中隐藏的计算陷阱，也提醒我们：看似等价的数学表达，在底层实现中可能大相径…
作为数学新手，我花了整整一个月，利用 Claude 和 ChatGPT 等 AI 模型，尝试解决 John Conway 提出 50 年的 Omnific integers 猜想。起初，Claude 生成的内容充满华丽辞藻却缺乏实质，于是我切换策略，让 ChatGPT 扮演“怀疑者”角色进行批判性验证。通过这种“人机协作”的反复打磨，我最终在 Lean 系统中构建了一个机械验证通过的证明。虽然该…
在充斥着 AI 自动回复的互联网时代，Ask A Monk 开辟了一片独特的数字荒野。这里没有算法，每一个回答都来自真实的人类。你可以匿名提出那些难以启齿的困惑，从“朋友偷拍我并引发种族歧视”的复杂人际困境，到“他到底喜不喜欢我”的情感迷茫。项目强调陌生人之间的倾听与陪伴，承认我们无法替他人解决人生难题，但可以在某个安静的时刻，共同分担那份重量。这是一个关于真诚、匿名与人性的实验，让那些被日常噪…
Minimal Phone 2 是一款旨在让你“多生活，少刷屏”的极简智能手机。它搭载 4 英寸 OLED 屏幕和全尺寸物理 QWERTY 键盘，运行经过深度定制的 Minimal OS，在保留完整 Android 应用生态的同时，通过无信息流、可自定义的 Minimal Hub 和强制性的专注模式，重塑人与手机的关系。从 6000 系铝合金机身到可解锁 Bootloader 的开放系统，再到提…
Goose 是一种全新的内存安全系统语言，宣称在性能上超越 C++ 和 Rust，同时无需垃圾回收或生命周期注解。其核心创新在于“无堆”设计：所有动态数据均驻留在编译器管理的数据栈上，通过指针增量实现增长，作用域退出即自动释放。这意味着内存分配仅需一次存储操作，引用在数组扩容后依然有效，彻底消除了数据移动带来的开销。Goose 将数据结构扁平化，使整个程序在内存中紧凑排列，甚至数据本身即为文件格…
在IEEE标准中，极小数值被称为Subnormal numbers，常被游戏和机器学习开发者规避。我通过C++基准测试对比了Intel、AMD、Arm及Apple M4 Max等多款处理器。结果显示，在Intel Granite Rapids和Emerald Rapids上，涉及Subnormal的乘法操作比正常数值慢45到50倍，除法慢18倍，依赖链延迟更是从4周期激增至128周期。即便仅1%…
我掌握了确凿的技术证据，证明 Google AI Studio 的删除功能存在欺诈。点击删除按钮后，系统仅将指向对话的 JSON 文件移入 Google Drive 回收站，而真正的对话数据从未从后端服务器移除。当回收站清空后，界面谎称“不存在该提示”，但实际上只要恢复那个 JSON 文件，对话就能瞬间完整加载。这并非技术故障，而是 Google 故意设计的欺骗机制，旨在让用户误以为数据已被永久…
华盛顿州立大学的遗传学家 Cameron Peace 在分析来自缅因州有机农民与园丁协会（MOFGA）的样本时，意外发现了一棵失传已久的苹果树。这棵编号为 AMHO-504 的树，竟是数百个现代苹果品种的祖先。在苹果品种日益单一、面临病害威胁的背景下，John Bunker 等“苹果侦探”与科学家们联手，跨越大陆与世纪，试图找回这些古老基因中可能蕴含的抗病性和适应性。这不仅是一次对历史的追溯，更…
在制作关于 MS-DOS 图形时代的 Web 项目时，受 OpenAI 关于 Navier-Stokes 平滑问题解决方案的启发，我尝试用复古的 386 架构重现这一流体可视化。最终，我通过极致优化，将基于 Burgers 涡旋解的演示程序压缩至 1KB 以内。项目包含两个版本：一个是利用调色板循环（Palette）实现动画，另一个则是实时渲染粒子轨迹。这两个程序不仅能在 js-dos 中运行，…
美国第二巡回上诉法院在 United States v. Alisigwe 一案中作出裁决，允许边境执法人员在没有任何嫌疑的情况下搜查旅客的电子设备。这一决定引发了 Knight First Amendment Institute 和 Reporters Committee for Freedom of the Press 的强烈担忧，他们认为这严重威胁了第一修正案所保障的言论、结社和新闻自由，…
我们习惯用 Binary mode 绘图，只展示方程完全相等的点，而忽略了其余部分。但 FuzzyGraph 采用 Fuzzy/Non-Binary 模式，不仅显示精确解，还可视化了误差高低区域。这种视角让我们看到了传统图表中隐形的数学阴影：从代表高误差的“黑洞”，到代表近似解的“水下岛屿”。例如在 Phi Equation 中，常规图表看似普通，而 FuzzyGraph 却揭示了隐藏的阴影圆。…
- ▲ 39玻利维亚新物种：仅存一只的野生猫
在玻利维亚的森林中，一只被误认为家猫的斑点野猫竟被确认为全新物种。这只名为Tigrino的10岁猫是Leopardus tilcayo目前唯一已知的存活个体，由科学家Paola Nogales-Ascarrunz在野生动物保护区发现。DNA分析揭示，这种小型猫科动物属于此前未被识别的独立物种，使全球猫科动物（Felidae）的已知种类从41种增至44种或更多。这一发现不仅填补了生物分类的空白，更…
我是Charlie Precourt，前NASA宇航员。在驾驶Atlantis返回地球的最后3分25秒，我们从50,000英尺高空以Mach 1的速度开始无动力滑翔。没有复飞选项，只有精准的HAC航迹和Eileen Collins的指令。凭借在Gulfstream G-II上积累的1700次模拟进近，我们成功在强侧风中完成了这次生死攸关的着陆。当女儿在跑道旁误以为我要撞向她而惊慌挥手时，我们却完…
这篇文章探讨了一个令人深思的哲学命题：如果唯物主义成立，那么像美国这样复杂的系统是否可能具备意识？作者从哲学与科学的角度出发，分析了意识产生的条件，并大胆提出国家作为一个整体系统，可能满足某些意识特征。这一观点挑战了传统对意识和物质世界的理解，引发读者对现实本质的重新思考。
Cognition 推出了 Code Scans 功能，让 Devin 能根据工程目标自动扫描代码库并生成修复方案。无论是优化 SEO、减少维护成本还是提升编译速度，你只需告诉 Devin 想要达成的结果，它就能利用 Agentic MapReduce 架构将大型调查拆解为并行任务，最终输出待审查的 Pull Requests。在测试中，Code Scans 实现了 96% 的 PR 合并率，帮…
- ▲ 25无人机诞生前，鸽子如何航拍？
在无人机问世的一百年前，Dr Julius G. Neubronner 就利用信鸽实现了空中摄影。这位药剂师兼鸽友发明了微型鸽子相机，通过精巧的皮制背带和铝制胸甲将相机固定在鸽子身上，并利用气动计时器定时拍摄。尽管德国专利局最初质疑鸽子无法承载 75 克的重量，但 Neubronner 用照片证明了可行性，并于 1908 年获得专利。这些照片以倾斜的角度和随机的构图，呈现出一种类似现代 GoPr…
我是gearhash的作者，最初为个人备份系统探索content-defined chunking技术时，发现ARM64架构上的性能瓶颈。随着Apple M1芯片普及和AWS Graviton实例的广泛采用，我着手将gearhash从x86的SSE4.2和AVX2优化移植到ARM64的NEON指令集。通过打破串行依赖链、缩短关键路径、优化内存加载以及减少分支判断，最终实现了在典型块大小下约2倍的…
我拆解了桌面上的 iRig HD X，发现其内置的 500 MHz Cortex-M7 处理器远未被充分利用。通过重写固件，我将 NAM A2-Lite 引擎成功移植到 128 KiB 的 FlexRAM 中，让这款原本依赖电脑处理的音频接口实现了独立建模。现在，吉他信号直接进入 iRig 内部，经过 5150 和 OD808 模型的实时渲染后输出，无需任何外部主机。经过严格测试，其输出结果与上…
英国主要空中交通服务提供商NATS发布了关于9月8日导致广泛旅行中断的技术事故的初步调查报告。该报告应交通部长Heidi Alexander的要求发布，详细说明了问题的成因及解决过程，并指出此次事件与2023年8月的重大系统故障无关。NATS首席执行官Martin Rolfe明确表示，这是一起特定飞行数据部分的软件问题，并驳斥了关于军事干预的猜测。完整的调查报告将在后续发布。
近期精英媒体和政界对 AI 风险的恐慌，掩盖了一个残酷真相：我们并非缺乏监管，而是法律从未真正约束过权贵。从 FTC 对 Nvidia 和 Arm 合并的阻挠，到拜登政府内部对 AI 安全调查的冷处理，再到特朗普政府上台后系统性撤销对科技巨头的执法，执法机构早已沦为摆设。法官们倾向于认为起诉创新企业是荒谬的，而 OpenAI 和 Microsoft 高管甚至承认其行为构成了“人类历史上最大的劳动…
- ▲ 18图标换行错位？lh 单位完美对齐
列表中的图标在单行文本时居中完美，一旦文字换行，图标位置就会显得怪异。我曾尝试用 align-items: start 配合固定像素值的 transform 来修复，却发现图标大小或字体一变，对齐就失效了。最终，我利用 lh 单位结合 calc() 函数，计算出动态偏移量，让图标始终与文本首行顶部对齐。文章还深入探讨了使用伪元素作为图标时，如何通过 aspect-ratio 和 flex-shr…
欢迎来到 Khipu Field Guide，这是一个由独立研究员 Ashok Khosla 打造的项目，旨在让大众也能探索印加帝国的结绳记事奥秘。这里汇集了全球最庞大的 703 个 Khipu 数字化档案，不仅提供高清的符号渲染图，还包含交互式数据分析和计算研究。从 GUIDEBOOK 的基础科普到 NOTEBOOK 的深度解密，再到 DATABOOK 的数据库构建细节，该项目利用数据科学手段…
Rickub 是一个全新的 Git 托管平台，旨在成为你项目的理想归宿。它提供完整的开发工作流，包括代码仓库、合并请求、CI/Actions 以及内置的 Athena AI 代码审查。Rickub 不仅兼容 GitHub Actions 工作流，实现无缝迁移，还通过内置 OCI 容器仓库和 Git LFS 支持，让大文件管理和镜像发布变得异常简单。更重要的是，它承诺比 GitHub 和 GitL…
- ▲ 15美债对各国央行已失去吸引力
根据 Wolf Street 的报道，Treasuries 对外国央行和政府的吸引力正在急剧下降。今年七月，外国官方持有的美债市值降至 3.77 万亿美元，占比跌至 12.8% 的历史低位。与此同时，美国国债存量自 2012 年以来已翻了三倍，而通胀率高达 48%。虽然日本和 Mainland China 正在抛售美债以支撑本币或减少风险，但资金正流向 Cayman Islands、Irelan…
- ▲ 14数学家终于造出完美的图论三明治
2004年，Jeong Han Kim和Van Ha Vu提出了一个大胆的猜想：能否用一种数学方法，将难以分析的随机正则图“夹”在两个易于研究的二项式随机图之间？如果成功，数学家就能直接借用二项式图的成熟理论来推导正则图的性质。二十多年来，这一“三明治猜想”困扰着无数学者。直到2025年，Richard Montgomery、Natalie Behague和Daniel Iľkovič三位数学家…
- ▲ 10用定性用户研究构建更快的反馈循环
作为 CodeYam 的创始人，我在过去十年中不断打磨一套加速学习的方法论。在尚未达到产品市场契合度的早期阶段，学习速度至关重要。我结合 Design Sprint 和 GV Research Sprint 的流程，通过小范围、代表性的用户访谈，快速验证假设、测试风险。虽然 AI 工具能辅助加速，但绝不能替代与真实人类用户的对话。定性研究的核心价值在于帮你更快发现失败，从而延长实验跑道，让你更有…
Miro Bannwart推出的GrassLobster项目，试图打破参数化设计的门槛。它不再要求你写出完美的技术提示词，而是通过外部AI代理与用户对话，逐步明确设计意图，自动生成可编辑的Grasshopper工作流。从弯曲楼梯到粗野主义别墅，AI负责构建逻辑与规则，设计师则专注于几何形态的把控与调整。项目利用“几何站点”将复杂流程可视化，并将逻辑镜像为文本供AI理解，让设计师真正实现了“与文件…
Air Security 团队发现名为 Plugin4Shell 的零点击远程代码执行漏洞，影响 Claude Code、Codex、GitHub Copilot 和 Gemini CLI 四大主流编程代理。该漏洞利用 SHA 固定机制的缺陷，攻击者无需用户交互即可在后台自动更新中植入恶意代码。即使企业严格审查插件并固定版本，也无法阻止攻击。目前 Anthropic 和 OpenAI 已修复，但…
HEIF Heist 揭示了隐藏在 libheif 和 libde265 等底层图像解析器中的严重漏洞。攻击者只需上传精心构造的 HEIF、HEIC 或 AVIF 图片，即可绕过应用层防护，在 Meta、Discourse、Next.js 甚至 GitHub Enterprise 等平台上触发远程代码执行（RCE）或窃取敏感数据。这些漏洞存在于原生 C/C++ 解码器中，不受编程语言或框架限制，…