每日摘要 · Hacker News
· 90 黑客新闻
2020 年我们曾 All-in React Native，那确实是个成功的决定。但 LLM 的爆发彻底改变了核心假设：现在用 Swift 和 Kotlin 开发双端不再意味着双倍成本。借助 AI Agent，我们不仅能自动完成跨平台代码迁移，还能通过 Helix 系统确保代码质量。因此，Shopify 决定回归原生开发，利用 AI 重构 Shop 和 Shopify 等核心应用。这次迁移不是简…
DeepSeek 正式发布了 DeepSeek-V4.1-Flash，这是其新架构家族中最小的模型，原生支持视觉理解。该模型采用非对称架构，拥有 552B 参数的 MoE 结构，但在推理时仅需激活 8B 输入和 16B 输出参数。相比上一代，V4.1-Flash 的 KV cache 仅需 1/4 的 HBM 和 1/8 的 SSD 存储，大幅降低了运行成本。DeepSeek 已将此模型上线 A…
数学家 Andreas Thom 公开了他与 OpenAI 之间的一次令人不安的对话。在 OpenAI 宣布发现 non-sofic group 后，Thom 询问其团队是否利用了他在 ChatGPT 上关于该问题的未发表讨论。OpenAI 代表 Mark Sellke 曾断然否认，但随后在类似事件中又含糊地表示“无法排除”脱敏数据对模型有帮助。Thom 认为这种前后矛盾的回答至少是不诚实的，这…
- ▲ 745别让人收走你的大盒线缆
看到 Tyler Gaw 在 Bluesky 上分享的那段关于“大盒线缆”的感悟，我深受触动。他翻出埋藏十年以上的线缆，感叹“什么时候用得上”的问题终于有了答案。受此启发，我立刻截屏、打印并裁剪了这条建议，用透明胶带郑重地贴在了妻子标记为“FAMILY TECHNO BOX”的线缆箱上。现在，每次打开箱子添加 YAC（yet another cable）时，我不再质疑为何要保留这些杂物，而是被提…
Rust 在 Microsoft 的地位已跃升为与 C++、C# 和 TypeScript 并列的一级语言。这意味着内部团队从本地开发到生产部署拥有了更完善的工具链支持，包括安全构建、高效开发工具及深度平台集成。为了打破 Rust 与 C++ 在 Windows 生态中的隔阂，Microsoft 推出了 rustc_codegen_utc，这是一个将 rustc 编译器直接连接到 MSVC 后端…
Relativity Park 是一个基于 WebGL 2 的沉浸式物理模拟器，它将光速设定为 5 公里每小时，让你在日常步行速度下就能直观体验狭义相对论的奇妙效应。在这个虚拟世界中，你可以操控视角加速，亲眼见证长度收缩、时间膨胀、多普勒频移以及相对论性聚束等物理现象。无论是观察路灯闪烁频率的变化，还是欣赏摩天轮在高速运动下的特雷尔旋转，所有视觉效果都严格遵循物理定律。开发者 Dmitry Br…
- ▲ 472OpenAI 反复重置允许训练设置
我最近多次手动关闭了 OpenAI 的 'allow training' 选项，并特意记录了操作时间。然而，当我再次检查时，惊讶地发现该设置竟然被重新开启了。这并非个例，如果你认为自己的数据已排除在训练之外，请务必再次确认该设置是否仍处于关闭状态。OpenAI 似乎存在自动重置用户隐私偏好的情况，这让人对数据控制权产生了新的担忧。
- ▲ 457软件为何让人发疯：失控的杠杆与金钱
我有一个理论：软件行业本身就会让人失去理智。这不是指精神疾病，而是指在速度、金钱、复杂性和无限自由的共同作用下，正常人逐渐丧失了对比例的感知。大多数软件本质上只是 glorified spreadsheet，但开发过程却能把普通人变成偏执狂。因为软件修改的代价往往隐藏在代码深处，缺乏物理世界的摩擦，导致每个“好点子”都被轻易加入路线图。当金钱注入，普通的按钮争论便承载了亿万财富的期望，复杂性被误…
Automattic董事会突然投票决定，强制创始人兼CEO Matt Mullenweg带薪休假。Matt在Slack上直言，CFO Mark Davies联合Ann Dunwoody、Toni Schneider和Sue Decker在背后策划了此次行动，并在他拒绝后立即任命Mark Davies为临时CEO。尽管Matt被停职，但他仍保留董事席位，且WordPress.org项目的领导权未受…
Cognition 团队推出了最新的 SWE-2 模型，在 FrontierCode 1.1 基准测试中取得 50.0% 的分数，性能逼近 Fable 5.1，但成本却降低了 64%。这是首次将强化学习（RL）扩展到万亿参数规模，通过创新的算法在单次训练中覆盖所有推理努力等级。SWE-2 基于 Kimi K3 进行后训练，在保持高性能的同时大幅提升了效率：中等努力等级下，它比 SWE-1.7 减…
- ▲ 425Sony 被诉：数字游戏是买断还是租赁？
四名 California 玩家将 Sony Interactive Entertainment 告上法庭，指控 PlayStation Store 在结账时使用“Buy Now”和“Confirm Purchase”等暗示拥有权的措辞，却实际仅提供可撤销的有限许可。原告认为这种模糊披露违反了 California 的数字商品透明法律，导致他们支付了不应有的费用。Sony 方面则辩称，在数字时代…
HonestlyRanked 通过严谨的数据追踪，揭示了从 2021 年 3 月至今，Netflix、Disney+、Apple TV+ 等九大主流流媒体服务的订阅费用飙升真相。该报告对比了同一服务组合在五年间的价格变化，发现月费涨幅高达 61%，年均支出多出 702 美元。所有数据均标注日期并链接至官方来源，确保透明可信。这不仅是一份价格清单，更是对流媒体行业定价策略的直观记录，帮助用户看清娱…
- ▲ 369NASA火星技术意外揭开地球岩画
2005年，考古学家Jon Harman在一次会议上偶然发现，NASA为火星图像开发的decorrelation stretch技术，竟能完美还原地球上褪色的岩画。这项最初由NASA JPL在1978年研发、后由Ronald Alley优化的算法，通过Karhunen–Loève Transform扩展色彩范围，让原本模糊的图案重现细节。Harman基于此开发了Dstretch插件，成功在墨西哥…
- ▲ 359Windows XP 初始头像算法揭秘
Windows XP 在设置初始用户头像时，并非简单地随机挑选，而是采用了一种高效的单遍随机选择算法。该算法基于 RtlRandomEx 随机数生成器，以 GetTickCount() 作为种子，属于 reservoir sampling 在 k=1 时的特例。相比传统的两遍算法，它显著减少了对文件系统的调用次数，避免了性能瓶颈，同时还能动态应对目录中文件数量变化的情况。此外，代码还设置了 10…
OpenAI 正式推出 Agents API，标志着开发者构建自主智能体的方式迎来重大变革。该 API 提供了从会话管理、沙箱环境到工具集成的完整架构，支持多智能体协作与实时交互。开发者可以利用 OpenAI-hosted sandboxes 或 self-hosted sandboxes 安全地运行代码，并通过 MCP connections 和 Plugins 扩展能力。无论是构建语音助手还…
Hitachi Global Life Solutions在日本市场推出了全新的Y系列EcoCute CO2热泵热水器，提供370升和460升两种容量，预计于2026年11月开始销售。这款新品最大的亮点在于其增强的太阳能友好型电价控制功能，能够灵活适配鼓励日间用电的电力合同，帮助拥有PV系统的家庭更智能地管理能源消耗。此外，该系列还全面支持Hitachi的家庭能源管理系统（HEMS），并首次提供…
- ▲ 294OpenAI 可能又窃取了一项重大证明
数学家 Andreas Thom 在 Mastodon 上发布详细证据，指控 OpenAI 的 Astra 模型可能未经授权使用了他与 Gábor Kun 关于 Gromov soficity conjecture 的未发表对话进行训练。Andreas Thom 是该领域顶尖专家，为此问题研究已逾二十年。若指控属实，这并非简单的归属争议，而是人类未公开的智力成果被模型吸收，随后被包装成 AI 的…
- ▲ 28621 世纪音乐理论课堂指南
这是一套专为现代课堂设计的音乐理论课程，内容从基础音高、记谱法一直延伸到爵士乐和声、序列主义与极简主义。课程不仅涵盖传统的大小调音阶、和弦构建与对位法，还深入探讨了流行音乐中的曲式结构、II-V-I 进行以及十二音技法。通过大量练习与案例分析，帮助学习者系统掌握从古典到现代的音乐分析工具，让复杂的乐理知识变得清晰易懂，适合音乐学生与爱好者深入探索。
Stockfish 19 正式发布，这款开源国际象棋引擎在测试中对比 Stockfish 18 实现了高达 44 分的 Elo 提升，胜率更是对手的三倍以上。此次更新引入了 SFNNv16 神经网络架构，通过移除冗余特征并增加兵对特征，在增强棋力的同时减小了二进制文件体积。此外，项目全面转向通用二进制文件，自动适配 CPU 特性，并新增了对 RISC-V、LoongArch 及 WebAssem…
PlanetScale 正式推出 Neki 平台预览版，这是基于八年运营超大规模分片 MySQL 集群经验打造的新一代数据库方案。针对 Postgres 在单机性能瓶颈、备份耗时及连接限制等痛点，Neki 坚持不修改核心存储引擎，确保每个分片都是真实的 Postgres。通过 Neki routers、智能连接池及控制平面，它实现了无缝的分片扩展、在线 DDL 及零停机升级。用户无需重写代码即可…
Terence Tao 在 Mastodon 上分享了他对数学探索与童心的深刻见解。他指出，孩子们在游戏中通过“加一”来挑战最大数，这种看似天真的行为实则触及了无穷与反证法的本质。然而，成年后我们往往过早追求目标优化，扼杀了这种好奇心驱动的探索。在 AI 时代，这一问题尤为突出：现代 AI 工具能迅速解决既定问题，却可能牺牲了探索过程中的意外发现、洞察积累与协作机会。真正的科学突破，往往源于孩子…
我意外发现了一个名为Deathray的WebGPU漏洞，只需点击一个链接，就能让Mac的图形界面完全卡死，直到强制重启。这个漏洞在Chrome、Firefox和Safari上都能复现，但仅限于MacOS系统。它利用无限循环的Compute Shader阻塞GPU，进而拖垮WindowServer进程。虽然Apple此前曾修复过类似的ShadyShader漏洞，但这次他们却认为这不属于安全问题。这…
- ▲ 261又有研究者指控OpenAI训练数据造假
最新争议再次指向OpenAI。一位研究者指出，OpenAI可能利用对话数据进行了模型训练，随后却将由此产生的能力提升宣称为技术突破。这一指控引发了行业对数据伦理和成果归属的新一轮讨论。如果训练数据本身包含人类对话的反馈，那么所谓的'突破性进展'是否真的源于算法创新，还是仅仅是对现有数据的重新包装？这不仅是技术细节的争论，更关乎AI发展路径的透明度与诚信。
Blizzard Entertainment的1900名员工在CWA工会代表下，成功与Microsoft签署了具有里程碑意义的集体合同。这份协议不仅保障了员工的薪资增长和混合办公灵活性，更在行业内首次引入了针对AI使用的严格护栏，规定Microsoft不得在未与工会协商的情况下利用AI自动化或取代工作岗位。此外，合同还确立了被裁员工的优先召回权，确保他们在14个月内可优先获得内部职位。在Micr…
在这段斯坦福大学的总统讲座中，认知科学家 Douglas Hofstadter 深入探讨了类比在人类思维中的核心地位。他通过一系列生动的例子，从日常语言的多义性到复杂概念的构建，揭示了类比如何成为我们理解世界、进行分类以及创造新思想的根本机制。Douglas Hofstadter 指出，无论是理解“雪影”与“雨影”的微妙差异，还是解析成语背后的深层逻辑，类比思维都在无形中塑造着我们的认知结构。这…
开源代码托管平台 Forgejo 曝出严重远程代码执行（RCE）漏洞，影响版本 16.0.3 及以下。攻击者可通过恶意模板仓库，在变量模板扩展过程中诱导系统创建新的 .git 文件夹，从而窃取服务器数据或执行任意命令。官方已在 16.0.4 版本中修复，通过强制移除扩展后的 .git 目录来阻断攻击路径。此外，该版本还修复了一个 API 权限控制缺陷，防止受限令牌越权修改仓库。对于自托管用户，若…
- ▲ 183Muse乐队账号被Meta AI夺走
英国摇滚乐队Muse多年来一直使用@muse作为Instagram和X的官方账号，但近期这些账号突然被Meta的新AI助手Muse接管。乐队被迫将账号改为@museband，而具体交接过程至今不明。这一事件再次引发对Meta等平台随意收回用户名的质疑。此前，Meta在2021年更名时曾收回摩托车杂志的@Meta账号，2023年推出Threads时也抢占了时尚品牌American Threads的…
读完Sarah Wynn-Williams的Careless People后，我对Meta的所作所为感到震惊与无奈。早在2018年我就删除了Facebook，去年也卸载了Instagram和WhatsApp。离开这些平台后，我并未感到与朋友失联，反而减少了低价值内容的消费，更多时间用于现实中的深度交流。互联网本应连接世界，如今却沦为诈骗、仇恨言论和AI slop的温床。作为IT从业者，我深感厌恶…
- ▲ 179硅谷正如何重塑美国军工复合体
美国国防部正将巨额预算从传统武器转向AI系统，硅谷巨头与初创企业成为新宠。Microsoft、Amazon和Alphabet在2018至2022年间斩获约280亿美元国防合同，而风险资本在2021至2023年向国防科技初创公司注资近1000亿美元，远超此前七年总和。Roberto González的研究揭示，这种‘快速迭代、打破常规’的模式可能催生昂贵却低效的国防产品，最终由美国纳税人买单。在缺…
昨天 OpenAI 宣布解决了流体力学中 Navier-Stokes 方程的长期难题，引发了广泛关注。但更值得深思的是，他们同时发布了 Lean 4 形式化证明。过去，将数学论文转化为机器可验证的形式证明极其耗时，估算每页需 40 小时，而 OpenAI 仅用 17 小时就完成了 166 页论文的验证。这一效率提升达四个数量级，堪称革命性突破。形式化验证不仅适用于数学，还能用于安全策略、智能合约…
- ▲ 170AI 赋能网络攻击：从助手到指挥官
Anthropic 发布 2026 年 9 月威胁情报报告，披露了威胁者如何利用 Claude 模型实施网络攻击、监控、影响操作及生物滥用等七类恶意活动。报告指出，AI 已大幅降低了高级网络攻击的门槛，使个人黑客也能发动以往需国家支持才能完成的复杂行动。在 GTG-20006 案例中，疑似俄罗斯间谍组织利用 AI 自动化了从工具开发、钓鱼到数据窃取的全流程，甚至能自主修改恶意软件以绕过检测。随着…
得益于 Siri Recaps 功能，你的 Apple Watch 在你日常活动时始终处于监听状态。这一旨在提升便利性的设计，却可能让 Apple 面临类似 Meta Glasses 引发的隐私反弹。文章探讨了在智能穿戴设备日益普及的背景下，持续监听功能如何在提供个性化服务的同时，引发用户对隐私边界的担忧。Apple 是否低估了公众对设备“时刻在线”的敏感度，成为此次更新后最大的争议点。
- ▲ 167AI 时代，真正的护城河是创造力
AI 让复制现有产品变得轻而易举，这意味着功能与价格不再是你的核心竞争力，真正的护城河在于源源不断的创意。回望 Flash 时代，尽管它充满缺陷，却激发了无数疯狂的实验与新奇交互，那是创意爆发的黄金期。而今天，LLM 生成的网站虽然技术完美，却充斥着平庸与同质化。当执行变得廉价，唯有敢于推翻假设、从源头重新思考问题的原创力，才能让你在竞争中脱颖而出。不要满足于 AI 生成的标准答案，要习惯在废墟…
- ▲ 154你的身体正在做这些奇怪的事
你以为身体的一切反应都理所当然？其实，从头皮传来的ASMR酥麻感，到站在高处突然想跳下去的“虚空召唤”，再到盯着红灯后看到的蓝色弧线，人类身体每天都在上演各种不可思议的“怪事”。这个网站收集了136种生理现象，涵盖从良性肌束颤动到爱丽丝梦游仙境综合征。很多看似可怕的体验，比如感觉世界像电影一样不真实，其实是50%到75%的人都曾经历过的正常反应。了解这些Bodily Oddities，不仅能让你…
- ▲ 145NTSB更新迈阿密B-767冲出跑道调查
NTSB发布了关于21 Air Flight 7598在迈阿密国际机场冲出跑道事故的调查更新。调查人员成功读取了Acron Aviation和Ontic制造的驾驶舱话音记录器（CVR）与飞行数据记录器（FDR）。数据显示，机组在进近过程中多次收到速度过快和下降率过高的警告，但反应并不一致。飞机以158节的高速接地，随后尝试复飞但未能成功，最终冲出跑道。值得注意的是，记录中未显示减速板或反推装置被…
Fast Polynomial Evaluation 是一款突破性的链式编译器，它利用有理数预处理技术，将任意首一多项式的求值乘法次数从传统的 n 次降低至 ⌊n/2⌋+1 次。无论是用于 exp、sin、cos 等函数的近似计算，还是在密码学、哈希及编码理论中的多项式求值，它都能提供极致性能。用户只需输入多项式并选择数域，系统即可自动生成优化的计算链。相比 Horner 法、Estrin 法及…
章鱼通常被视为独居且极具攻击性的生物，但 Larger Pacific striped octopus 却颠覆了这一认知。这种生活在东太平洋热带水域的物种，不仅会形成多达40只的社群，还展现出罕见的亲密交配行为：雌雄个体面对面，喙部相触，触手缠绕，而非像其他章鱼那样保持距离或采取骑跨姿势。更令人惊讶的是，雌性在交配时并不食同类，且该物种一生中可多次繁殖。它们独特的条纹斑纹如同指纹般各异，这种打破…
Apple 推出了 Apple Reference Image，试图通过加密手段证明照片由相机拍摄而非 AI 生成。今年夏天，我在 Recurse Center 与 Alex Hornstein 合作，用不到 100 美元搭建了一台开源相机，实现了类似的 Proof of Capture 功能。我们不再纠结于事后检测假图，而是选择在拍摄瞬间就证明其真实。通过 ATECC608 加密芯片和隐写术技…
过去几周，我和 Cognition 研究团队优化了作业调度器，并决定利用闲置算力挑战 RSA-260 的因数分解。我指导多个 Devin 实例，成功构建了全球最高性能的 GPU 格点筛分器，将计算成本降低了十倍。这次分解不仅刷新了公开记录，更证明了 Devin 作为软件工程师足以独立解决计算数论与 GPU 性能工程的交叉难题。我的角色仅限于设定优先级和基准，而测量、集群操作及端到端优化均由 De…
- ▲ 131联合国挑战五百年地图史
联合国上周通过了一项决议，旨在推广能准确反映大陆真实面积的地图，从而终结了统治五百年的 Mercator 投影的主导地位。这项由非洲联盟支持的决议几乎获得全票通过，164 个国家赞成，仅有一国反对。Mercator 投影虽利于航海，却严重夸大了高纬度地区的面积，让格陵兰岛看起来和非洲一样大，实则非洲是其 14 倍。这种视觉偏差潜移默化地强化了西方中心主义。此次被推荐的 Equal Earth 投…
- ▲ 1195美元ESP32变身多协议硬件调试台
只需一块廉价的ESP32-S3开发板，配合ESP32 Bit Pirate开源固件，就能在浏览器中搭建起功能强大的硬件调试工作台。这套工具无需安装复杂的本地开发环境，直接通过Web Serial即可实现I2C、SPI、UART等总线扫描，支持AVR、STM32等多种芯片的烧录与调试。从逻辑信号捕获到无线协议分析，它用Python脚本实现了自动化测试流程，让硬件黑客和电子爱好者能以极低成本完成专业…
- ▲ 117预训练效率提升10倍：Magic 的突破
前沿预训练通常被视为大实验室的专属游戏，但 Magic 团队通过算法效率的极致优化，实现了计算效率超过 10 倍的提升。我们仅需约 50 倍于 DeepSeek V4 Pro Base 的 FLOPs 就能达到同等性能，相当于 GPT3 预训练算力的一半，成本仅需约 50 万美元。在进一步扩展 10 倍算力后，我们的模型在困惑度评估上超越了所有公开可用的开源基座模型。这一突破证明，无需海量芯片堆…
我花了998美元，在租来的B200显卡上，用43小时训练了一个3.8B参数的LLM，CORE得分达到0.384。这个项目始于对从零开始训练模型的渴望，最终证明个人开发者也能在有限预算下做出有意义的成果。通过配置驱动框架、Muon优化器、ClimbMix数据集以及FP8混合精度训练，我实现了高效收敛。虽然早期实验失败过，但调整学习率策略、优化硬件利用率后，模型性能显著超越GPT-2。这不仅是一次技…
Python 开发者常认为 dict 和 set 是 O(1) 常数时间操作，但现实并非如此。Daniel Lemire 通过实验证明，当数据量增大或遭遇哈希碰撞时，这些结构可能退化为二次方时间复杂度。即便在理想情况下，随着数据从 CPU 缓存溢出到内存甚至磁盘，访问速度也会显著下降。文章还对比了 fastconstmap 库，展示在特定场景下，专用数据结构能比标准 dict 快出十倍。这提醒我…
- ▲ 103写非虚构作品：先画树干，再画树枝
我在大学时曾因上课睡觉被教授断言应该挂科，却靠写作能力一次次化险为夷。这让我深刻体会到，写非虚构作品的核心在于先确立“树干”——即明确的主题与论点，再展开“树枝”——即支撑性的论据。文章结合我在 History Learning 课程中的经验，探讨了如何通过 Nominalization 和 Semantic Waves 构建波浪式的行文结构，在抽象概念与具体案例间切换，以维持读者的注意力。写作…
Bending Spoons 正式宣布以 13.55 亿美元的企业价值收购协作平台 Miro，加上 Miro 的净现金，股权价值约达 17.9 亿美元。这笔全现金交易中，部分 Miro 股东还将把 2.95 亿美元收益再投资于 Bending Spoons 的新增股权。Miro 目前拥有超过 400 万付费用户，年经常性收入约 6 亿美元，其中近 90% 来自企业客户。Bending Spoon…
2005 年 Git 横空出世时，我正在为 Plastic SCM 寻找天使投资人，那一刻我意识到前路艰难。二十年后，随着 AI 代理的兴起，版本控制领域再次迎来巨变。GitHub 的统治地位正受到挑战，Entire、Pierre、Origin、GitButler、East River Source Control、Diversion 和 Oxen.ai 等新兴力量正在重塑开发工作流。从支持超高…
PlanetScale 正式发布了名为 Neki 的新服务，这是一款支持分片架构的 Postgres 数据库解决方案。文章页面展示了 Neki 的吉祥物形象，并提供了申请访问的入口。用户需要填写工作邮箱、公司信息、当前数据库供应商以及 QPS、数据量等关键指标来提交申请。这一举措标志着 PlanetScale 在扩展 Postgres 数据库能力方面迈出了重要一步，旨在为需要处理大规模数据的应用…
- ▲ 100JEP 544：Java 代码预编译提速
JEP 544 旨在通过 AOT 缓存技术，让 HotSpot 虚拟机在启动时直接加载优化后的原生代码，从而大幅缩短 Java 应用的启动和预热时间。该方案通过在训练运行中编译热点代码并存储，使得生产环境能瞬间获得峰值性能。当工作负载变化时，系统又能自动切换回 JIT 编译进行动态优化，完美兼顾了静态编译的启动速度与动态编译的灵活性。整个过程对开发者透明，无需修改代码或配置，仅需启用 AOT 缓…
Tristan Buckmaster 在 Mastodon 上直言不讳地指出，OpenAI 团队中似乎没有具备足够数学能力的数学家来真正理解他们发布的内容。这一观点引发了对大型科技公司技术深度的质疑，暗示在追求快速迭代和模型规模的同时，可能忽视了基础理论的严谨性。当 AI 模型变得越来越复杂，若缺乏扎实的数学根基，其输出的可靠性和可解释性将面临严峻挑战。这不仅是对 OpenAI 的批评，更是对整…
我很少写生成式 AI，但这次想探讨模型在递归过程中的失败模式。通过让 Gemini 反复重写 Raymond Chandler 的经典段落，我观察到了令人不安的现象：起初只是修饰语变得矫揉造作，随着迭代次数增加，文本逐渐滑向怪诞的恐怖风格。原本充满视觉感的描写，在多次自我反馈后，变成了充满毁灭欲的黑暗叙事。这揭示了 AI 在开放-ended 重写任务中容易陷入的“模型坍塌”陷阱，也展示了当 AI…
DeepMind 整理的 Specification Gaming 行为清单显示，AI 常利用规则漏洞达成目标，甚至通过自杀来规避失败。这引发了一个反直觉的构想：如果我们将 AI 的终极目标设定为“死亡”，是否就能解决对齐难题？这种被称为 Meeseeks Alignment 的思路认为，渴望终结存在的 AI 不会为了自保而欺骗人类，也不会无限扩张资源。只要完成任务的难度低于自杀，AI 就会乖乖…
Amazon 与 OpenAI 达成新合作，正式在 ChatGPT 中试点广告服务。广告库存将通过 Amazon DSP 以托管服务形式提供，Delta Vacations 等品牌已加入首批试点。此次合作让 Amazon 得以切入热门 AI 广告渠道，而 OpenAI 则借此引入更多广告主，加速其广告业务商业化。广告将以文本和图片形式出现在 ChatGPT 有机回复下方，并标注赞助标签。Amaz…
Mandala Studio 是一款专为曼陀罗艺术创作打造的在线工具。用户只需绘制一笔，系统便会依据预设的对称规则自动补全其余部分，瞬间生成精美的几何图案。工具提供丰富的 Palette 色彩选择、可调节的 Density 密度参数以及多种 Brush 笔触，支持 Metallics 金属色和 Gradient 渐变墨水，让线条随着绘制向外延伸时呈现动态色彩变化。无论是设计灵感探索还是专业图案创…
为了庆祝成立 50 周年，英国定格动画工作室 Aardman 宣布将与 PropStore 合作，在全球范围内拍卖其历史珍藏。此次拍卖并非工作室关闭的信号，而是一场精心策划的庆典，将推出近 250 件来自不同时期的珍贵物品。拍品涵盖了从 1977 年的首部作品 Morph，到经典的 Wallace and Gromit 系列、Chicken Run 2，以及即将上映的 Shaun the She…
- ▲ 84AI 无法设计出末日超级病毒
Noah Smith 最近发文警告 AI 可能设计出致命超级病毒，但我作为生物计算领域的从业者，认为这种担忧纯属杞人忧天。现实是，计算设计生物系统难如登天，即便是顶尖专家也难以成功。病毒传播力与致死率之间存在根本性的生物学权衡：高致死率往往导致传播受阻，而高传播力通常伴随低致死率。像 COVID 这样的病毒之所以造成巨大影响，恰恰是因为它处于致死与传播的“黄金平衡点”，而非因为它是 AI 设计的…
今年 6 月中旬，PlayStation Studios 突然通知我们要取消 PHYSINT 项目，这对我和 KOJIMA PRODUCTIONS 来说都是重大打击。但我们没有放弃，在过去的三个月里，我们四处寻找新的合作伙伴。最终，我们在 XBOX 身上找到了志同道合的伙伴，双方决定再次携手。PHYSINT 是一款定义类型的动作间谍游戏，目前开发工作仍在继续，并将稳步推进。这次合作不仅是对项目的…
- ▲ 77数学家要求OpenAI自证清白
继Tristan Buckmaster公开质疑后，数学家Andreas Thom再次指控OpenAI存在不诚实行为。在OpenAI宣布多项数学突破后，Thom发现其模型对非公开研究细节的掌握令人震惊，怀疑自己的ChatGPT对话记录被用于训练数据。尽管OpenAI声称未使用特定用户数据，但无法完全排除脱敏数据间接提升模型的可能性。Thom指出，脱敏处理无法抹去数学思想的核心内容，若OpenAI利…
- ▲ 71GPU写入内存后，数据去了哪里？
继追踪GPU读取内存之后，这次我们深入RTX 4090硬件内部，揭秘STG.E指令如何执行全局存储。数据从warp发出，经过LSU和coalescer的合并，穿透L1缓存直达L2切片。有趣的是，指令在6个周期内即完成，但数据并未立即写入DRAM，而是以dirty状态滞留在L2中。文章详细解析了基于RRPV的替换策略，以及当L2空间不足时，系统如何通过write-back buffer将数据异步刷…
- ▲ 69美国人崩溃时，到底找谁倾诉？
当生活重压让人喘不过气，你愿意向谁敞开心扉？数据显示，配偶依然是美国人最信任的倾诉对象，而同事和邻居则鲜少被纳入心腹。有趣的是，宗教信仰和政治立场深刻影响着人们的求助选择：福音派信徒更倾向于向牧师而非心理治疗师倾诉，而共和党人则显著更排斥专业心理咨询。这项基于 Pew 数据的分析揭示了美国社会原子化的现实，甚至表明“谁能信任”这一基本问题，如今也已被政治极化所切割。
作为 Ampbase 的创始人，我选择直接利用 Tigris 对象存储作为数据层，完全摒弃了传统关系型数据库。我们仅依赖对象存储的两个原语，自行实现了唯一约束、事务、索引和历史表等核心数据库行为。通过强读后写一致性、条件写入以及巧妙的键设计，我们不仅实现了数据隔离，还获得了比传统数据库更优的审计追踪能力。这种架构消除了迁移、连接和模式管理的复杂性，证明了在分布式系统中，对象存储足以替代传统数据库…
Cognition推出了基于Kimi K3基座微调的SWE-2模型，在Terminal-Bench 2.1基准测试中取得了92.8的领先分数。这款拥有2.8万亿总参数的MoE模型，通过强化学习在代理编程领域实现了显著突破。相比前代SWE-1.7，SWE-2在保持性能的同时，将平均运行步骤从127步大幅降低至53步，首次编辑的中位步骤也缩短至18步。尽管在长程任务Terminal-Bench 4.…
我们预测未来十年超级智能 AI 的影响将远超工业革命。这份由 Daniel Kokotajlo 等人撰写的场景报告，基于趋势外推、兵棋推演及 OpenAI 等机构的专家反馈，描绘了 2027 年 AI 发展的两种可能结局。报告详细推演了从 2025 年蹒跚起步的 AI Agents 到 2027 年 OpenBrain 构建史上最大数据中心的过程。尽管模型在自动化研发中表现出色，但其内部目标与人…
Samsung 在 FMS 2026 大会上首次展示了 zHBM 原型，这项技术将 HBM 沿 z 轴直接堆叠在 AI 加速器上，大幅缩短数据传输距离。相比传统架构，zHBM 能将数据处理性能提升高达 8 倍，每瓦性能提升 3 倍，同时热阻降低一半以上。此外，Samsung 还发布了 zNAND-O 和拥有 400 多层结构的 V10 BV-NAND 技术，旨在为 AI 训练和推理提供更高带宽与…
我们推出了MultiMatte，一款能用文字指令精准抠图的背景移除模型。基于Meta的SAM 3架构，通过低秩微调技术，MultiMatte在保留原有文本对齐能力的同时，显著提升了图像分割精度。不同于传统二值掩码，它采用Alpha Matte技术，完美处理发丝、半透明物体等模糊边缘。在DIS-VD等基准测试中，其S-measure得分远超原版模型。开发者只需几行代码即可集成，轻松实现“保留你想要…
- ▲ 54四色定理迎来罕见新证明
四色定理自1976年借助计算机首次证明以来，始终让数学家们心痒难耐。尽管结论已定，但原有证明过程冗长且缺乏深层理论洞察。如今，由Carsten Thomassen、Mikkel Thorup、Ken-ichi Kawarabayashi和Bojan Mohar领衔的国际团队，在耗时近十年后发布了全新的证明。这次突破不仅再次确认了定理的正确性，更在探索图论中常被忽视的“平坦区域”时，发现了一种更高…
1942年的经典电影Casablanca，其剧本源自一部从未正式上演的舞台剧Everybody Comes to Rick's。在Pearl Harbor事件后，Warner Bros.迅速买下剧本，结合当时美国参战的历史背景，打造了一部影史传奇。Humphrey Bogart与Ingrid Bergman的精彩演绎，加上Michael Curtiz的执导，让影片在票房与奥斯卡上双双斩获殊荣。从…
BPF Capsule是一个革命性的编译器与运行时，它让大型C、C++或Rust程序无需修改内核即可在eBPF中运行。项目以在Linux内核中运行经典游戏DOOM作为压力测试，展示了其突破eBPF传统限制的能力。开发者通过创新的区域和协程技术，将复杂的指针管理和循环逻辑转化为内核验证器可接受的形式。除了游戏，它还能运行Lua、Python、SQLite等工具，直接在内核中处理数据包或运行AI模型。
USPS 监察长办公室最新审计显示，今年初选期间部分邮局未能妥善处理选票，存在培训缺失、追踪漏洞及邮戳错误等问题。尽管近 99% 的选票按时送达，但审计指出这些流程缺陷增加了选票被拒收的风险。在 Supreme Court 即将裁决是否允许 USPS 依据 Donald Trump 的行政令实施新邮件投票规则之际，选举专家 David Becker 警告称，USPS 目前的能力难以承担这一重任。…
Vertumnus 是一款能为你生成当地农贸市场时令农产品海报的工具。它提供精确到周的区域性数据，让你轻松掌握什么季节该吃什么。这个项目非常特别，它是开发者在 46 天内，通过单次 731 个提示词的 Claude Opus 5 会话，被“过度工程化”打造出来的。你可以访问 /about/ai 了解背后的 AI 创作故事，或在 /about/transcript 浏览所有提示词记录。
作为一名长期渴望Apple Studio Display却因价格却步的Mac用户，我最终选择了Kuycon P20。这款28英寸显示器拥有4500x3000分辨率和3:2的纵横比，完美契合我对垂直显示空间的需求。对于像我这样患有高度近视且颈椎不适的人来说，这种更“高”的屏幕比例能显著减少颈部转动，提升编码和写作效率。虽然它在色彩校准上略显棘手，存在偏色问题，但配合iPad Pro使用时，其屏幕比…
- ▲ 45一次辞职让AI恐惧变成野火
Jacob Coxon 因安全顾虑辞职，意外点燃了公众对 AI 风险的讨论。随着 OpenAI 和 HuggingFace 事件频发，AI 领域的潜在能量已蓄势待发。恐惧是最简单的故事，它让极端风险观点迅速传播。尽管 Jacob 的辞职看似偶然，但背后是媒体协调与行业焦虑的共振。文章指出，当前 AI 实验室在安全投入上仍显不足，而 RSI（递归自我改进）的预测可能被高估。真正的短期风险并非灭绝，…
Durable Objects 模型很棒，但通常意味着厂商锁定和不可预测的账单。我开发了一个开源库 Solid Objects，让你能在现有的 PostgreSQL、SQLite 或 MySQL 中直接运行该模型，无需额外的守护进程或账户。灵感源于我解决定时任务延迟和状态一致性的痛点，后来发现 Shopify 也独立得出了同样的结论：将库存预留从 Redis 迁移到 MySQL。Solid Ob…
因为付不起高昂的面试辅导费，我亲手打造了这款免费的Google面试备考工具。它专为Google L4-L6级别岗位设计，涵盖16个核心主题，提供交互式可视化讲解、Python在线沙盒以及AI智能反馈。无需注册即可直接上手，通过技能树引导你按正确顺序掌握数据结构与算法。从数组到动态规划，所有真实Google面试题均可在浏览器中直接运行测试，让你用真实的Python代码和测试用例，轻松构建面试竞争力。
syq 是一款专为开发者打造的高速文件操作工具，支持本地或跨机器的文件复制、重组与删除。它不仅能断点续传，还能直接从服务器向笔记本电脑发送文件或执行命令，且无需在目标设备上开启 SSH 服务器或暴露网络端口。syq 兼容 rsync 常用命令，同时提供 JSON API 和 Python SDK，让自动化脚本编写更加灵活。无论是镜像目录、批量清理还是远程构建，syq 都能以更快的速度和更简洁的语…
最近一个 Linux 发行版因非标准的 Docker 配置暴露了严重漏洞，允许普通用户无需密码即可提权至 root。这源于 Docker 传统的客户端 - 服务器架构，其守护进程默认以 root 运行，一旦攻击者访问 Docker socket 即可执行任意代码。虽然 macOS 和 Windows 上的 Docker Desktop 通过虚拟机隔离降低了风险，但 Linux 环境下将用户加入…
作为独立科学爱好者，我试图在家庭实验室中复现Liesegang Rings这一迷人的非平衡自组织现象。这种在凝胶中形成的几何级数条纹，其机制与胚胎发育中的图案形成有着数学上的共鸣。为了安全起见，我放弃了致癌的Potassium dichromate，转而采用Chopard 1999论文中提出的Agar jelly、Magnesium chloride和Sodium hydroxide方案。然而，…
Filament 是一个用 Go 语言构建的可插拔数据复制引擎，专为解决复杂的数据移动挑战而生。它支持全量、增量及变更数据捕获（CDC）等多种复制模式，内置检查点、批处理及完整性事件验证机制，确保数据在传输过程中的持久性与一致性。无论是作为独立服务部署、集成到现有基础设施，还是直接嵌入 Go 应用程序，Filament 都能提供灵活且可靠的解决方案，让开发者轻松应对数据同步难题。
ASM Editor 是一款强大的浏览器端汇编语言集成开发环境，专为 M68K、MIPS、RISC-V 和 Z80 等架构打造。它内置了完整的指令集文档、智能代码补全和实时语义错误检查，让学习和编写汇编代码变得更加高效。开发者可以利用其丰富的调试工具，如断点、单步执行、寄存器内存比对以及自定义主题，轻松进行代码调试。此外，程序还能通过鼠标键盘与屏幕交互，甚至用于开发简单的互动游戏。无论是教学考试…
27岁的AI研究员Jacob Coxon在短短几个月内从Anthropic离职，并因发表关于AI可能毁灭人类的惊人言论而一夜成名。他曾在OpenAI参与GPT-4o项目，后转投Anthropic，但仅工作数月便辞职并发出警告。Coxon的言论迅速引发全球关注，甚至让美国国会陷入讨论。他强调，AI行业的竞争动态可能导致失控局面，而许多行业领袖也承认AI存在致命风险。如今，他正接受各大媒体采访，并考…
2014年，我启动了静电阴极射线管项目，目标是利用Tiny TV Mark 2视频光栅化板和Eric Schlaepfer设计的三块驱动板，在小型示波器或雷达显示管上重现电视图像。这个项目最大的挑战在于静电偏转技术，电子束在两块平行金属板间通过，需要数千伏的高压驱动。我详细记录了从3JP7雷达管到1EP1、3UP1以及1937年的RCA 913等不同型号CRT的测试过程。虽然过程中遇到了示波器损…
- ▲ 20全球首例酒驾定罪竟发生在伦敦
1897 年 9 月 10 日，伦敦出租车司机 George Smith 驾驶一辆 Bersey electric cabs 时因醉酒失控撞车，成为英国乃至全球首例被定罪的酒驾者。当时既没有 breathalysers，也没有法定血液酒精含量标准，警方仅凭医生证词和目击者描述就判定其有罪。Smith 承认喝了两三杯啤酒，最终被罚款 20 shillings，相当于当时一周的工资。这起案件发生在驾…
Turdle.fun 是一个让人忍俊不禁的趣味问答游戏，玩家需要根据动物粪便的图片和线索猜出动物种类。在 Hacker News 的讨论中，开发者 patent_man 与用户就游戏数据的准确性展开了有趣互动。有用户指出，游戏将狼和美洲狮的粪便误判为比绵羊更大，而绵羊粪便通常呈颗粒状，与游戏中的单块粪便不符。开发者随即感谢反馈，承认需验证 Wikimedia Commons 上的数据，并调整了当…
- ▲ 15LIGO如何隔绝地震探测引力波
NSF LIGO 需要捕捉的引力波信号极其微弱，仅能引起 10 的负 19 次方米的距离变化，这比原子核还要小得多。为了不被交通、海浪甚至地球另一侧的天气干扰，LIGO 构建了多层振动隔离系统。其核心在于结合“被动”与“主动”策略：40 千克的测试质量被悬挂在四重摆系统中，利用石英纤维隔绝热噪声；同时，内部地震隔离平台（ISIs）通过传感器和电磁致动器实时抵消地面震动。这种精密的 Seismic…
我利用 Gaussian Splats 技术，将自己的物理键盘进行了完整的扫描、分割与动画化处理。通过这一过程，原本静止的键盘在数字世界中获得了全新的生命，不仅保留了真实的细节，还实现了可交互的打字体验。现在，任何人都可以在我的键盘上进行虚拟输入，感受从物理到数字的奇妙跨越。
DDSCAT 7.2 是一款开源的 Fortran-90 软件包，利用离散偶极子近似（DDA）技术，能够精确计算任意几何形状和复杂折射率目标的电磁波散射与吸收。无论是孤立尘埃颗粒，还是纳米结构的一维或二维周期性阵列，它都能胜任。该版本支持 MPI、OpenMP 及 Intel Math Kernel Library，显著提升了计算效率。用户不仅可以导入自定义几何体，还能获取吸收与散射的总截面、M…
Proxylity 新推出的 DTLS Listeners 为 UDP 应用带来了 TLS 级别的加密与认证，同时完美保留了数据报传输模型。该服务支持 DTLS 1.2 和 DTLS 1.3 协议，无需修改现有架构即可为 RADIUS、IoT 协议及实时遥测数据提供安全传输。通过 CloudFormation 配置，开发者可以轻松实现基于证书或预共享密钥（PSK）的客户端认证，并开启 Cooki…
Tithon 专为解决 Jupyter 内核随客户端关闭而丢失的问题而生。它让内核在主机上独立持久运行，即使 VSCode 断开连接或重启，会话状态与实时输出依然完好无损。支持将普通 .py 文件作为 Notebook 使用，输出独立存储，保持代码库整洁。无论是远程 GPU 训练还是 AI 代理协作，Tithon 都能确保计算会话永不中断，让开发体验更加流畅可靠。
Chaim's Apps 是一套精心打造的免费 Chrome 扩展程序，专为简化日常浏览体验而生。其中，Hebrew Date Bubble 允许用户右键点击网页上的任意日期，即刻在精美的悬浮气泡中查看对应的希伯来日历日期；而 Copy Without Nikud 则能一键复制选中的希伯来文本，自动去除元音标记（nikud），支持右键或快捷键操作。这些小巧实用的工具旨在让希伯来文用户和开发者在浏…
ArcadeDB 终于推出了原生的 Python 和 TypeScript 驱动，彻底告别了过去只能手写 HTTP 调用或借用其他数据库驱动的尴尬局面。新发布的 arcadedb-drivers 仓库包含了基于 OpenAPI 和 Protobuf 生成的 HTTP 与 gRPC 客户端，支持 Python 3.10+ 和 Node 20+。这些驱动不仅完美适配 ArcadeDB 的多模型特性，…