每日摘要 · Hacker News
· 83 黑客新闻
Moonshot AI 即将推出下一代前沿模型 Kimi-K3，这是全球首个 3T 级别的开源模型。该模型基于 Kimi Delta Attention 和 Attention Residuals 构建新架构，原生支持工具调用、浏览及多步规划等智能体能力。其扩展的上下文窗口专为理解仓库级代码而设计，旨在解决长周期编程、知识工作和复杂推理任务。Moonshot AI 承诺将在此页面公开模型权重，用…
- ▲ 1311GrapheneOS 手机自动擦除数据引起诉
美国亚特兰大居民 Sam Tunick 因在机场安检期间，其运行 GrapheneOS 的 Google Pixel 手机自动擦除数据而被联邦检察官起诉。检方指控他故意销毁证据以阻碍执法，而辩护方则坚称这是隐私保护功能，且执法过程侵犯了宪法权利。此案发生在 Tunick 从多米尼加共和国返回时，因被怀疑与反对 Cop City 的运动有关而遭盘问。当执法人员要求其解锁手机并警告将没收时，设备在输…
我是 Dario Amodei，Anthropic 的 CEO。近期关于禁止中国 open-weights 模型的讨论甚嚣尘上，甚至有人误以为我们支持此类禁令。我必须明确澄清：Anthropic 从未主张禁止 open-weights 模型。无危险能力的开源模型是公共产品，保护主义禁令无法解决我真正的担忧：一是威权政府利用 AI 获取军事优势或实施压迫，二是模型被用于网络或生物攻击。针对这些风险…
PGSimCity 是一个将 PostgreSQL 引擎运作原理可视化的 3D 模型项目。它通过加载城市代码的方式，生动演示了数据库内部的工作机制。目前这还是一个早期的原型版本，作者 NikolayS 坦言模型和解释中可能存在不准确之处。如果你发现了问题，欢迎通过 GitHub 提交 Issue 或 Pull Request 来共同完善。这个项目让原本抽象复杂的数据库内核变得直观有趣，是理解 P…
- ▲ 780AI 公司正批量撕碎珍稀古籍
AI 公司正在通过 ISBNdb 等平台批量收购珍稀书籍，利用高速机器扫描后直接撕碎原书，只为获取不含 AI 生成内容的训练数据。2022 年之前的书籍因纯净度更高而成为抢手货，而联邦法官甚至裁定这种销毁原件的行为属于“合理使用”。Anthropic 等巨头甚至聘请前 Google Books 高管，试图获取“世界上所有的书”。这种不可逆的破坏让许多历经战火与岁月幸存的孤本面临永久消失的风险，而…
Bun团队宣称用16.5万美元和Anthropic的AI在11天内完成了Rust重写，但这背后似乎另有隐情。自合并入main分支六周后，项目仍未发布新版本，而由robobun提交的未合并PR数量已从1277个激增至2475个。深入分析显示，Anthropic员工深度介入，CI/CD成本高昂，实际花费可能已接近80万美元。当AI被过度包装成估值工具时，我们是否该对这类“速成”神话保持警惕？
这是一个由 Sasha (Alexander) Plavin 打造的简化版黑洞可视化项目，让你能在屏幕上、手机 AR 或 VR 头显中近距离观察黑洞。它支持调节喷流角度、自旋参数、引力透镜效应等科学级渲染细节，甚至能模拟光线弯曲和图像扭曲效果。无论是用于科普教育还是技术探索，Black hole playground 都能提供沉浸式的宇宙奇观体验。
Moonshot AI 正式开源了 Kimi-K3 的技术报告，详细披露了这款大模型在架构设计与性能优化上的关键突破。报告深入解析了模型在长上下文处理、多模态理解以及推理效率上的创新方案，为开发者提供了宝贵的技术参考。通过公开底层实现细节，Moonshot AI 旨在推动社区对大模型技术的深入探索，展示其在复杂任务中的卓越表现。这份报告不仅记录了技术演进的路径，也为行业提供了可复用的方法论，是理…
- ▲ 384一个下划线之差，无辜者入狱18个月
2018年，一起针对Kik用户“fus__ro_dah”的儿童诱拐调查，因警方在调取记录时少打了一个下划线，变成了“fus_ro_dah”。这个微小的拼写错误，让加拿大Nova Scotia男子Brandon Klayme无辜入狱。尽管他的设备上没有任何犯罪证据，他仍于2020年被捕，2023年定罪，并在2024年服满18个月刑期。直到上诉阶段，这个致命的“fus__ro_dah”与“fus_r…
Google试图利用DMCA第1201条起诉SerpAPI，阻止其抓取搜索结果，但法官已驳回该诉讼。法院指出，Google的SearchGuard技术措施并非专门用于保护受版权法保护的作品，而是为了阻止所有自动化访问。由于DMCA第1201条仅适用于保护版权内容的技术措施，而Google搜索结果多为公开信息的汇编，并不总是包含受版权保护的内容，因此Google的主张在法律上站不住脚。这一裁决再次…
- ▲ 333Decathlon德国站接入Wero支付
Decathlon德国官网decathlon.de正式新增Wero支付选项，为当地用户提供更便捷的结账体验。这一举措标志着Decathlon在拓展本地化支付生态上的新一步，旨在提升用户购物流程的流畅度。Wero作为德国新兴的支付解决方案，此次与Decathlon的合作，不仅丰富了消费者的支付选择，也反映了电商领域对本地化支付工具日益增长的需求。对于关注跨境支付和电商本地化策略的从业者来说，这是一…
Vercel 开源了 scriptc，一款能将普通 TypeScript 代码直接编译为原生可执行文件的编译器。它无需 Node.js 或 JavaScript 引擎，生成的二进制文件体积极小（约 178KB），启动速度仅需 2ms。scriptc 支持绝大多数 TypeScript 语言特性及 Node.js 标准库，通过差异测试确保行为与 Node.js 完全一致。对于无法静态编译的部分，它…
- ▲ 278因 DHH 言论，我取消 Hey 订阅
作为 Hey 的四年忠实用户，我累计支付了 396 美元，原本非常喜爱这款产品。然而，在发现行业传奇 DHH 利用 Hey 的发布平台发表了一篇将罗姆人比作狼、主张集体驱逐的激进文章后，我决定取消订阅。我虽信奉‘错误理论’，认为不应通过羞辱来改变他人观点，但我也划清界限：可以做朋友，却不必成为商业伙伴。DHH 将复杂的社会问题简化为‘射杀狼群’的逻辑，忽视了个体差异与公平执法的可能性，这种缺乏同…
我是 Paged Out! 的主编 Aga，很高兴宣布第 9 期终于上线。本期内容异常丰富，收录了超过 70 篇涵盖代码、像素艺术和安全技术的文章。我们不仅获得了 ISSN 国际标准刊号，正式成为注册期刊，还启动了 Patreon 页面以支持杂志的可持续发展。从 Computiles 几何二进制计算器到 LLM 在旧矿机上的运行，从 CTF 解题技巧到 Android 屏幕阅读器绕过，本期内容包…
- ▲ 272AI 公司创纪录砸钱游说华盛顿
AI 行业正在华盛顿展开一场前所未有的游说竞赛。各大 AI 公司纷纷投入创纪录的资金，试图影响美国政府的政策走向。从监管框架到数据隐私，这些科技巨头希望通过游说确保自身利益。这一现象不仅反映了 AI 技术对全球经济的重要性，也揭示了科技与政治之间日益紧密的关联。随着竞争加剧，AI 公司的游说支出可能进一步攀升，引发更多关于科技权力与公共利益的讨论。
- ▲ 260木兰为何靠甲虫传粉？
当春天来临，许多人会被木兰树硕大而美丽的花朵吸引。但如果你仔细观察，会发现穿梭在花间的不是蜜蜂，而是甲虫。这是因为木兰树的历史过于悠久，它们早在蜜蜂出现之前就已经存在了。事实上，木兰已有超过1亿年的历史，而甲虫的存在时间更是长达3亿年。在那个恐龙还在地球漫步的时代，蝴蝶和蜜蜂尚未进化，甲虫成为了主要的传粉者。为了适应这种古老的伙伴关系，木兰进化出了碗状的大花朵、更依赖气味而非视觉的暗淡花瓣，以及…
Go 1.26 正式将 Green Tea 设为默认垃圾回收器，本文通过可视化实验对比了 Go 与 C# 在内存分配上的差异。我们随机创建不同大小的对象并观察堆内存布局，发现 Go 的运行时会将同尺寸对象紧密排列，且作为非移动式回收器，它在回收后不会改变对象地址。文章还深入探讨了这种非移动机制在处理稀疏页面时面临的挑战，揭示了 Go 内存管理的独特之处及其潜在的性能瓶颈。
作为 Misago 论坛软件的开发负责人，我决定彻底移除代码库中的 React.js，转而采用 HTMX 来实现 UI 交互。过去，我们不得不为 Django 模板和 React.js 组件重复开发页面，导致维护成本高昂、翻译文件冗余，且巨大的 JavaScript 包严重拖慢了旧设备的性能。经过深思熟虑，我意识到论坛软件并不需要全栈单页应用，传统的服务器端渲染配合局部动态更新已足够满足用户需求…
Ed Zitron 指出，LLM 行业的经济模型已彻底崩塌。用户每月支付的费用远低于实际消耗的 token 成本，导致 OpenAI 和 Anthropic 等巨头巨额亏损。为了维持运营，企业被迫向用户补贴数十倍的 token 用量，而一旦转向按量计费，企业客户如 Uber 便难以承受。与此同时，超大规模云厂商在 AI 数据中心上投入的千亿美元资本支出，正推高 DRAM 价格，迫使 Apple…
- ▲ 242清洗太阳能板，真的值得吗？
我拥有一个小规模的太阳能农场，面板积灰明显，于是决定测试清洗是否值得。通过对比两组面板的功率输出比率，我发现清洗后发电量提升了2%-5%，相当于每年多赚60-150英镑，但收益会随时间衰减。过程中还遭遇了一些意外：清洗时手指被蓟刺扎破，竟因此感受到微弱的电流感，疑似逆变器存在电容泄漏。此外，我还探讨了升级面板的利弊：虽然现代面板效率提升60%，但因旧系统享有高额的feed-in tariff补贴…
随着AI威胁日益复杂，传统安全扫描模式已显疲态。Microsoft正式推出MAI-Cyber-1-Flash，将其深度集成至MDASH多智能体漏洞识别与修复平台。这款专为复杂代码库设计的紧凑型安全模型，在CyberGym基准测试中表现卓越，击败了Mythos、Gemini和GPT等竞品。通过智能调度，MAI-Cyber-1-Flash能高效处理90%的任务，仅在最棘手场景调用高成本模型，从而在保…
中国最大内存芯片制造商 CXMT 在上海证券交易所科创板上市首日表现惊人，股价飙升超过 470%。这一暴涨将 CXMT 的市值推高至约 3.3 万亿元人民币，使其超越其他企业，成为中国大陆市值最高的上市公司。尽管全球科技股近期遭遇抛售，CXMT 凭借其在 AI 数据中心、手机及 PC 领域的 Dram 芯片制造能力，依然吸引了大量投资者。公司计划利用 IPO 所得资金扩大产能并加强研发。分析人士…
这篇内容来自 xkcd 漫画，标题为 Forth。作者列举了自己喜爱的漫画系列，包括 Three Word Phrase、SMBC、Dinosaur Comics、Oglaf、A Softer World、Buttersafe、Perry Bible Fellowship、Questionable Content、Buttercup Festival、Homestuck 和 Junior Sci…
1941年，英国监听员在德国军事频率中捕捉到一种被称为“奇怪新音乐”的二进制电传信号，这标志着比Enigma更先进的加密系统Tunny的出现。为了破解这一复杂密码，工程师Tommy Flowers在Bletchley Park建造了Colossus，这是世界上第一台大规模可编程电子数字计算机。在John Tiltman和Bill Tutte的智力突破下，结合Alan Turing发明的Turin…
Libsm64 项目将经典游戏 Mario 64 的核心移动与渲染代码封装成共享库，让开发者能轻松将马里奥角色集成到现有游戏引擎或系统中。该项目基于 SM64 decompilation project 的反编译成果，运行时需加载官方 SM64 ROM 以提取纹理和动画数据。通过 libsm64.h 头文件，开发者可快速接入 Rust、Unity、Blender、Godot 等多种平台的绑定与插…
2026年1月，DHS 特工在街头杀害了至少两名平民。当我发现 Google 通过 Cloud 服务向这些机构提供支持，且 Google DeepMind 正准备与 Pentagon 签署缺乏限制的军事 AI 协议时，我决定采取行动。我试图推动公司停止服务，甚至向 Jeff Dean 和 Demis Hassabis 等高层提出详细的合同修改方案，但几乎无人响应。面对 AI 伦理承诺在压力面前的…
- ▲ 192用现有技术重构现代邮件系统
作者提出在 HTTP 协议之上构建邮件系统的继任者，旨在修复 SMTP 四十年的设计缺陷。该方案不发明任何新技术，而是巧妙组合 HTTP、TLS、WebFinger、ActivityPub、Ed25519 和 HPKE 等成熟技术。通过保留 user@domain 地址格式，利用现有基础设施解决身份验证、消息加密、队列重试及反垃圾邮件问题。文章详细展示了如何仅凭标准化组件，构建一个支持端到端加密…
- ▲ 179只想做个自动时钟，结果搞出了部署流水线
受够了手动调整夏令时和断电后重置时间的廉价闹钟，我决定自己动手做一个完美的时钟。它不仅要能自动同步时间、显示红色七段数码管，还得运行在局域网内，甚至接入 HomeKit。起初我打算用 Arduino，但最终选择了 Raspberry Pi Zero W 配合 Debian 系统。然而，面对 I2C 通信和 Python 代码编写，我的技能储备捉襟见肘。于是，我求助于 LLM，利用 Claude…
- ▲ 175能粘Teflon的胶水，乙醇一擦就掉
东京大学的Takuzo Aida团队研发出一种名为Cyclic FP-fmoc的新型小分子胶水。这种白色晶体不仅能牢固粘合防粘表面，如聚四氟乙烯（PTFE），还能通过简单的乙醇清洗完全去除，且不留痕迹。测试显示，仅7平方厘米的接触面积即可承受8公斤重量，剪切强度远超传统环氧树脂。更令人惊喜的是，回收后的胶水可重复使用，强度几乎不衰减。由于乙醇是洗手液的主要成分，未来或许能用洗手液实现胶水的解粘与…
面对 AI 公司疯狂抓取网站导致的服务器瘫痪，Videolan 部署了 Anubis 防护机制。这套方案借鉴了 Hashcash 的思路，利用工作量证明（Proof-of-Work）技术，让单个用户的访问几乎无感，却能让大规模爬虫付出高昂成本。目前这只是一个过渡方案，旨在为开发更精准的浏览器指纹识别技术争取时间，未来希望能自动识别并放行使用现代 JavaScript 的合法用户，无需再展示验证页…
- ▲ 162My Eicher漏洞：掌控百万车辆
我意外发现了Volvo Group与Eicher Motors合资公司旗下My Eicher车队管理平台的严重漏洞。通过访问未认证的API端点，我获取了74.8万客户、17.4万用户及67.6万辆车的完整列表，甚至能直接读取历史OTP记录。利用这些数据，我成功实现了账户接管，从而能够远程控制任意用户的整个车队，包括实时追踪车辆位置、查看仪表盘数据，甚至访问包含Aadhaar卡和驾照在内的敏感文件…
- ▲ 161打造高度便携的 Python 独立发行版
python-build-standalone 项目致力于生成自包含且高度便携的 Python 发行版。这些发行版集成了完整的 Python 功能，绝大多数标准库扩展模块均已内置，其依赖项要么随发行版分发，要么被静态链接，从而极大减少了运行时的依赖需求。构建过程严格限制了 CPU 指令集和共享库的使用，确保在目标架构的任何系统上都能顺畅运行。此外，部分发行版还附带构建产物和元数据，方便下游打包者…
吉卜力工作室那些独一无二的色彩，并非仅出自 Hayao Miyazaki 或 Isao Takahata 之手，而是由色彩设计师 Michiyo Yasuda 精心雕琢。她拒绝当时动画行业流行的鲜艳塑料感，转而追求柔和、自然且富有透明感的色调，让 Catbus 和 Totoro 等角色拥有了真实的生命质感。从 Castle in the Sky 到 Spirited Away，Yasuda 用色…
- ▲ 121AMD 用四面体笼子搞定海量动画光线追踪
实时光线追踪虽已普及，但海量动画几何体的渲染仍是性能瓶颈。AMD 研究员 Holger Gruen 提出一种创新方案：利用四面体笼子（tetrahedral cages）将动画成本与三角形数量解耦。该方法不再每帧更新所有顶点，而是仅驱动低分辨率的笼子变形，复用静态的微型加速结构。这一技术成功在 AMD Radeon RX 9070 XT 上实现了每秒 60 帧渲染约 5.85 亿个动画三角形，为…
我们推出了FeyNoBg，一款在八项基准测试中表现卓越的自动背景移除模型，其中四项指标领先，其余四项紧随其后。该模型基于BiRefNet架构优化，通过扩展网络深度和引入多样化训练数据，完美平衡了前景识别与边缘精细度。同时，我们开源了NoBg训练库，提供统一接口，让开发者能轻松运行FeyNoBg或训练自己的背景移除模型，无需繁琐适配。
Fonts In Use 是一个独立的字体应用档案库，收录了从音乐专辑封面到品牌标识、从电影海报到网页设计的海量真实案例。这里不仅展示了 Helvetica、Futura、Gotham 等经典字体的广泛用途，还按主题和格式分类，涵盖艺术、科技、时尚等数十个领域。无论是设计师寻找灵感，还是普通用户好奇字体背后的故事，这个平台都能提供丰富的视觉参考和深度洞察。
很多后端开发者误以为 Docker 或 OCI 容器本身就能提供足够的安全防护，但这其实是个危险的误区。虽然 cgroups 和 Linux namespaces 能构建基础隔离，但面对内核漏洞或配置失误，传统 rootful 容器一旦被攻破，攻击者就能以 root 权限控制宿主机。本文详细介绍了如何通过 Rootless 容器技术来降低这种风险，利用 Podman 和 systemd 实现无守…
- ▲ 105教授用隐形提示抓出32名AI作弊学生
Alcorn State University的历史教授Dr. Jason Gibson在期中考试题目中埋下了一个“陷阱”：用白色字体隐藏了指令，要求AI在回答关于工业革命的问题时，必须加入关于Madagascar的荒谬内容。结果，35名学生中有32人直接将题目复制给ChatGPT等AI工具，并原封不动地粘贴了生成的答案，导致试卷中出现了“Madagascar在下午侧向漂浮”或“Madagasc…
访问 Vercel Security Checkpoint 时，系统直接返回了 429 Too Many Requests 错误。这并非普通故障，而是触发了安全机制的明确信号。在 sfo1 节点下，请求被迅速阻断，提示我们当前的访问频率或模式已超出平台容忍度。对于开发者而言，理解这类安全拦截机制至关重要，它既保护了服务稳定性，也提醒我们在集成 Vercel 时需严格遵守速率限制规则。
Claude Opus 5 目前正遭遇异常错误，Anthropic 官方已确认正在紧急调查。此次故障波及范围广泛，包括 claude.ai 网页版、Claude API 接口、Claude Code 以及 Claude Cowork 等多项核心服务。用户在使用这些平台时可能会遇到服务中断或响应异常的情况。官方状态页面显示，团队正全力排查问题根源，并承诺通过邮件和短信及时同步最新进展。对于依赖 C…
这篇指南从零开始，用动画拆解了困扰数学界 87 年的 Jacobian Conjecture。文章将函数比作机器，直观展示平面网格如何在多项式映射下变形，以及这种变形是否可逆。尽管 2026 年 7 月该猜想的部分情况被攻克，但二维情形依然悬而未决。作者 Muchmirul 通过 GitHub 开源了所有代码与测试套件，让没有任何数学背景的读者也能亲手验证这一重大发现，理解为何无数数学家曾在此栽…
欧盟依据反垄断新规，对Google处以10.2亿美元巨额罚款，指控其在搜索结果中偏袒自家服务。这一裁决再次凸显了科技巨头在市场竞争中面临的监管压力，也标志着欧盟在数字领域反垄断行动上的持续强硬。Google被指通过算法调整，使其服务在搜索排名中占据优势，损害了竞争对手的公平竞争环境。此次罚款不仅是对Google商业行为的直接惩罚，更向全球科技行业传递了一个明确信号：任何试图利用市场主导地位操纵竞…
- ▲ 94运动能治抑郁，为何不被视为真药？
运动对抑郁症的疗效已有大量科学证据支持，但在医疗体系中，它却很少被当作正规药物来对待。文章探讨了这一矛盾现象背后的原因：医疗体系更倾向于依赖药物和传统疗法，而忽视了运动作为低成本、无副作用干预手段的巨大潜力。作者指出，将运动纳入标准治疗方案不仅可行，而且可能改变抑郁症的治疗范式。尽管医生们常建议患者“多运动”，但缺乏系统性的处方机制和医保支持，使得这一建议往往流于形式。文章呼吁重新审视运动在心理…
IBM Research 的 G. J. Chaitin 在这篇文章中挑战了数学界对连续性的传统认知。他结合数学与物理学的论据，深入探讨了反对连续性、支持离散性的观点，并特别强调了 Emile Borel 的思想。文章质疑了实数在物理世界中的真实性，提出我们习以为常的数学连续体可能只是一个理论构造，而非物理现实的本质。这一观点引发了对数学基础与物理宇宙之间关系的深刻反思，值得每一位对数学哲学感兴…
Let's Seal 是文档签名领域的 Let's Encrypt，提供完全免费、开源且可自托管的文档密封解决方案。它基于 SEAL 标准，利用区块链时间戳和透明度日志，确保文件未被篡改、时间可追溯且签发者身份可信。无论是 PDF、图片还是软件制品，用户均可通过 Web 应用、命令行工具或 API 轻松完成签名与验证，无需依赖任何付费服务。
- ▲ 90不粘锅涂层无需磨损也会脱落微粒
关于不粘锅的常见建议是：只要涂层没有划痕、剥落或可见损坏，就可以安全使用。但我们的测试发现，即使是全新的 PTFE 涂层炊具，在正常使用中也会向食物中释放微粒，而且价格高低并不能可靠地反映涂层脱落的程度。我们测试了六款炊具产品，包括平底锅和空气炸锅篮，发现机械磨损会显著增加涂层脱落，而昂贵的 All-Clad D3 平底锅甚至比廉价的 Tramontina 释放更多微粒。大多数检测到的微粒非常小…
- ▲ 86现代 C++ 从零构建无锁队列
在多线程环境下，传统的 std::mutex 加 std::queue 方案在高频并发时会因上下文切换导致性能崩塌。我在优化 Xlux 软件渲染器时，决定从零构建一个 Fast Lock-Free Queue。通过利用 Compare And Swap (CAS) 指令，用乐观重试替代悲观阻塞，让线程无需陷入内核态等待。虽然对大多数应用而言互斥锁已足够，但在高频交易、实时游戏引擎等极端场景下，消…
Google Chrome 正式支持 Arm64 架构的 Linux 系统，Raspberry Pi 5 等单板计算机用户终于能安装官方版本了。我在 Ubuntu 26.04 上测试发现，只需修改下载链接即可获取原生 aarch64 构建，不仅支持 Google 账号同步扩展和书签，还内置了 Widevine DRM 模块。虽然受限于软件级 DRM，Netflix 等流媒体无法播放 4K 或 H…
- ▲ 83RSGS：太空机械师时代开启
2026年7月，由DARPA资助、NRL研发的RSGS载荷随SpaceLogistics的MRV航天器成功发射，标志着首个私营商业在轨卫星 servicing任务正式启航。这次任务旨在通过双机械臂、模块化工具和自主飞行软件，为GEO轨道上的卫星提供检修、燃料补给和升级服务，彻底改变“发射即废弃”的传统模式。RSGS将作为太空“机械师”，延长卫星寿命并提升美国太空资产的韧性。这一突破是NRL二十年…
Rise Reforming 是一家加入 YC S26 批次的初创公司，致力于解决化工行业对化石燃料的依赖问题。我们将污水处理厂、农场和垃圾填埋场中原本被浪费或燃烧的闲置沼气，直接在现场转化为二甲醚（DME）、甲醇和碳酸二甲酯（DMC）等高价值化学品。我们的技术采用模块化集装箱设计，不仅实现了快速部署和灵活扩展，还能在价格上与传统的石化产品竞争。通过利用本地生物气源，我们帮助客户摆脱了脆弱的全球…
Nvidia 正推进新一轮总额超 7500 亿美元的 AI 交易，加速行业投资步伐，却引发市场对需求与估值被人为推高的质疑。其中，与 SK Group 的合作预计将带来超 5000 亿美元的业务往来；同时，Nvidia 还在洽谈为 OpenAI 提供高达 2500 亿美元的融资支持，助其租赁美国数据中心算力。这些巨额交易不仅凸显了 Nvidia 在 AI 基础设施中的核心地位，也让人担忧行业是否…
Shay Locomotives 网站深入探讨了 Shay 蒸汽机车的历史与技术细节。这种独特的齿轮传动设计让机车在陡峭的山坡和狭窄的林区铁路上如鱼得水，成为19世纪末至20世纪初林业运输的主力。从早期的原型机到后期的改进型号，Shay 机车不仅改变了木材运输的方式，也见证了美国工业发展的关键阶段。文章通过丰富的历史图片和技术图解，还原了这些钢铁巨兽的运作原理与辉煌岁月，为铁路爱好者和工业史研究…
在1970年代，Douglas McIlroy面临一个看似不可能的挑战：将250KB的字典塞进PDP-11计算机仅有的64KB RAM中，同时保持快速查询。他放弃了通用压缩方案，转而利用数据特性，设计了一套逼近理论极限的压缩算法。通过结合基于语言学的词干提取、Dennis Ritchie实现的Bloom filter以及针对几何分布的Golomb编码，McIlroy成功将字典压缩至接近13.60…
Minecraft Java Edition 即将迎来图形渲染的重大变革，官方宣布在过渡到 Vulkan 之前，将推荐内存配置提升至 16GB。这一调整预示着游戏未来对硬件性能的需求将显著增加，旨在为更流畅的图形体验和更复杂的模组加载提供坚实基础。对于长期运行在低配环境下的玩家而言，这可能意味着需要升级硬件才能跟上版本迭代。此次变更不仅反映了游戏引擎的进化方向，也提醒玩家关注即将到来的技术转型对…
通常人们认为 12 弦吉他是受墨西哥乐器或工厂量产启发而生，但我经过深入研究发现，其真正源头竟被长期忽视。Carl E. Brown 在 1896 年申请的专利揭示了一种独特的 10 弦 harp-guitar，而 Rene Grunewald 随后将其商业化。这种乐器并非简单的变体，而是为了适应当时业余玩家流行的“低音独奏”演奏风格而专门设计。通过梳理 Music Trade Review 等…
Bug 在软件世界中无处不在，且往往出人意料。Stephen Wolfram 提出，利用 ruliology 和计算不可约性原理，我们可以从基础层面理解 Bug 的本质。即便是结构简单的程序，如 Turing machines，也可能因计算复杂性而产生不可预测的错误。文章探讨了计算有效性与 Bug 倾向之间的权衡，以及自动化系统（包括 AI）在检测这些深层 Bug 时面临的根本挑战。
- ▲ 60Tokio 只保进度不保顺序
我们在处理 100 万 Tokio 任务时发现，早期创建的任务并不一定先被调度。Tokio 的调度器只保证进度，不保证顺序，导致早期事件的任务被延迟，内存峰值飙升。通过引入 Semaphore 限制并发事件数，我们既保持了吞吐量，又显著降低了内存占用。这并非 Tokio 的缺陷，而是应用层需要明确公平性边界。
- ▲ 53数字意识若存在，必在硬件层面
作为一位泛心论者，我认为当前关于数字心智道德地位的争论往往舍本逐末。主流观点在物理主义和计算主义之间摇摆，但我认为，如果数字计算机具有意识，这种意识必然存在于硬件层面，而非软件层面。当前的数字计算机架构为了追求可靠性和确定性，实际上抑制了整体性的自我反思行为，从而阻碍了现象内省。我们不应纠结于它们是否“有意识”，而应关注我们构建的系统是否能产生我们预期的体验，以及它们关于自身福祉的报告是否可信。…
Clean Code的作者Robert Martin分享了他应对AI编程的最新策略。他坦言，为了充分利用AI代理的生产力，他选择不再阅读它们生成的任何代码。取而代之的是，他构建了一套极端的约束体系，包括Unit tests、gherkin tests、QA流程、质量指标、mutation testing以及测试覆盖率等。通过让AI代码经历这一系列严苛的测试关卡，他对最终产出的代码质量拥有了极高的…
Claude Opus 5 近期遭遇异常错误，影响了 claude.ai、Claude API、Claude Code 及 Claude Cowork 的正常使用。Anthropic 团队在 2026 年 7 月 27 日迅速介入调查，并于太平洋时间 2:03（UTC 9:03）宣布问题已解决，各项服务指标恢复至基准水平。此次事件提醒我们，即使是顶尖的 AI 模型，其底层基础设施也面临实时挑战，…
NVIDIA 创始人 Jensen Huang 在社交平台 X 上发布了他的第一条动态，内容出人意料地聚焦于 AI 模型的开放获取。他联合 Google、OpenAI 和 Meta 等行业巨头，共同发声支持 AI 技术的开源与共享。这一举动在 AI 领域引发广泛关注，显示出科技领袖们对推动技术普惠的共识。Jensen Huang 的表态不仅体现了他对行业未来的思考，也传递出开放合作对于 AI 发…
- ▲ 48AI 时代，为何还要钻研编程语言
在 AI 辅助编程盛行的当下，有人觉得深入钻研编程语言已无必要。但我认为，语言的价值不在于语法，而在于其承载的思维方式。从 Rust 的 borrow checker 到 Haskell 的 typeclasses，再到 Lisp 的元编程，这些概念重塑了我们管理复杂性和解决问题的逻辑。掌握这些思想，能让你在评估 AI 生成的代码、选择合适抽象时游刃有余。在 AI 时代，理解这些底层理念比以往更…
面对 DORA、SPACE 和 DevEx 等框架的碎片化，工程领导者常陷入指标选择的困境。DX Core 4 提出了一套统一框架，将速度、效能、质量和业务影响四个维度融合，帮助组织在数周内快速建立数据基线。该框架已在 Meta、Microsoft 和 Uber 等数百家科技公司验证，成功提升了工程效率与员工参与度。通过结合系统指标与开发者自报数据，DX Core 4 避免了单一速度指标带来的恐…
- ▲ 47字节码到源码映射的优化之道
在实现 Robert Nystrom 的《Crafting Interpreters》第 14 章挑战时，我深入探讨了虚拟机如何将字节码偏移量映射回源码行号。简单的并行数组方案虽然查找快但内存占用大，而游程编码虽节省空间却牺牲了随机查找性能。通过引入静态前驱问题（static predecessor problem）和起始偏移量记录，我们既能利用二分查找实现 O(log r) 的随机定位，又能通…
这是一个在 Scratch 平台上实现的 8086 模拟器，目前已在 Turbowarp 上运行。项目集成了 Hercules 图形显示和终端模拟器，由 Tacodiva7729 协助开发。用户可以在模拟器的 C 盘中找到 Windows 系统，通过输入命令启动，尽管鼠标和部分键盘操作尚未完全实现。由于 Scratch 本身的限制，建议在 Turbowarp 上运行以获得最佳性能，否则启动时间会…
world-model-optimizer 是一款强大的工具，能将你现有的 agent traces 转化为持续优化的动力。它通过蒸馏前沿开源模型，让你以不到一半的成本获得顶级质量的模型端点。结合世界模型模拟、元框架优化和模型蒸馏技术，它能自动构建并迭代你的智能体策略。无论是通过命令行快速部署，还是利用 E2B 沙箱进行安全评估，都能轻松实现模型性能的飞跃，让开发者专注于核心逻辑而非基础设施。
联邦当局逮捕了一名佛罗里达男子，指控其伙同同谋通过植入恶意软件的 Steam 游戏窃取超过 22 万美元的加密货币。21 岁的 Zyaire Wilkins 被控在 2024 年 5 月至 2026 年 2 月期间发布并推广了八款含恶意软件的游戏，导致约 8000 台设备受感染，80 个加密货币钱包被盗。调查人员通过追踪其在 Bitrefill 购买 Uber Eats 礼品卡的记录锁定了嫌疑人…
从 1969 年到 1991 年退休，John Backus 一直在探索应用式和函数式语言的演进。面对当时的软件危机，他试图超越 FORTRAN 和 PL/I 的局限，提出了一种基于组合形式而非传统赋值语句的编程范式。本文详细记录了 Red 语言从概念提出到初步实现的过程，包括 Dines Bjørner 和 Paul McJones 等助手的贡献。Backus 大胆指出传统计算机架构中的 vo…
我曾为 Prediction Markets 的解放奔走呼号，梦想它们能成为聚合经济信息的利器。然而现实令人错愕：白宫 teleprompter operator 竟在 Kalshi 上押注自己正在滚动播出的总统讲话，轻松获利十万美元。这暴露了严重的信息不对称。更令人担忧的是，Trump Media 计划向 Truth Social 的总统推文出售早期访问权，将官方信息发布私有化并货币化。如今，…
过去一周，我的AI代理自动处理任务板：编写代码、提交PR、通过CI并响应反馈，8天内完成了108个PR，远超以往每周5-10个的平均水平。这得益于我们小团队的高度信任和灵活的协作模式——无需强制人工代码审查，对齐在每日对话中自然完成。我将审查从逐行代码移至测试与结果层面，并放弃持续部署，改用CI加预览环境批量发布，大幅降低出错风险。这套流程被Addy Osmani称为Loop Engineeri…
当每月的 ZFS scrub 导致应用延迟飙升，运维人员往往选择推迟或取消检查，但这其实是系统在发出警报。如果最低优先级的只读扫描都能拖垮生产环境，说明存储池根本没有性能余量。问题通常源于容量规划失误：池子填得太满导致碎片化，以及 RAIDZ 架构在随机 IOPS 上的先天不足。真正的解决方案不是调整参数，而是重新设计架构。通过引入 Special VDEV 将元数据卸载到 NVMe 设备上，可…
- ▲ 28不开空调，老派方法如何抵御酷暑
在空调普及的今天，我们似乎遗忘了那些无需电力就能保持室内凉爽的古老智慧。这篇文章深入探讨了传统建筑如何通过巧妙的设计来应对夏季高温。从利用自然通风的布局，到选择具有优良隔热性能的建筑材料，再到通过遮阳结构阻挡直射阳光，这些“老派”方法不仅节能环保，还能创造出更舒适的居住环境。Monocle 杂志揭示了如何通过回归基础的建筑原则，在不依赖现代制冷设备的情况下，让家成为真正的避暑胜地。
The Incredible Proof Machine 是一款可视化的逻辑证明工具，让你无需掌握 Isabelle 等复杂定理证明器的语法，就能通过拖拽方块来构建命题逻辑和谓词逻辑的证明。当结论变绿时，你就完成了一个完整的证明。它旨在传递证明过程中的乐趣，降低学习门槛。工具支持撤销、重做等快捷键，并能自定义任务和逻辑块。目前证明仅保存在浏览器本地，未来计划支持服务器存储。项目由 Joachim…
Minimio探索、编译并验证微型学习控制器，专为有限决策设计，小到可随处运行。该项目展示了仅14字节大小的AI“大脑”如何在2D迷宫中实现96.5%的解题率。用户可实时观察这些微型智能体的探索过程，体验从训练到验证的完整流程。无论是技术爱好者还是AI开发者，都能在这里见证极简代码如何完成复杂任务，感受微型智能体的无限潜力。
在研读 HipKittens 论文时，我深入探讨了 GPU kernel 在 AMD 架构上的执行奥秘。论文提出的八波乒乓调度策略，让计算与内存预取在波之间动态交换角色，这让我联想到《禅与摩托车维修艺术》中关于“姿态”的论述。并行编程的核心在于独立与依赖的微妙平衡，正如人类生活，我们既受过去经历塑造，又需在条件变化时调整姿态。真正的智慧不在于固守旧有的指令集，而在于识别哪些经验可以迁移，哪些必须…
- ▲ 19Atmos 时钟：百年动力进化史
从 1929 年 Reutter 手表的雏形，到如今 Jaeger-LeCoultre 旗下的经典，Atmos 时钟的进化史就是一部微型机械的传奇。早期依赖汞基马达的 Reutter 因危险和易碎被弃用，1939 年诞生的 Atmos II 首次采用充气金属波纹管，利用气温变化驱动，开启了“永动”神话。随后 Caliber 519、526、528 等机芯不断迭代，从“Baby Atmos
Infrawrench 是一款强大的多云管理工具，支持连接 AWS、GCP、Azure 等 25 个以上云服务商，通过统一界面自动发现并同步数百种资源类型。它内置了全功能的 SSH 终端，可直接从应用内连接服务器；提供完整的 Kubernetes 集群管理，支持 Pod 执行、日志流和 YAML 配置编辑；还集成了 SQL 编辑器、对象存储浏览器以及密钥管理功能。无论是本地离线使用还是云端团队协…
我在健身房跑步时，目光从手中的剧本移向一位日复一日重复相同动作的常客，突然意识到我们正活在被 Samuel Beckett 预言的世界里。自 1953 年 Waiting for Godot 首演以来，70年过去了，世界不仅接纳了这部荒诞剧，更似乎演变成了剧中的场景。从全球冲突到个人困境，我们像 Vladimir 和 Estragon 一样，在绝望与希望中等待一个永远不会到来的 Godot。Be…
GCC 1.27 发布于 1988 年，是首个支持 x86 CPU 的版本。我尝试在 64 位 Ubuntu 系统上让它重新运行，参考了 Mikhail Maltsev 的早期工作，但针对现代环境调整了路径和 as/ld 选项，并解决了古老编译器无法理解系统头文件的难题。我将调试格式从 UNIX/32V SDB 改为 DBX，以便 GDB 能正常识别。令人惊讶的是，现代汇编器、链接器和调试器完美…
我原本坚持用 Kindle 做个人报纸，最终还是入手了 Boox Go 10.3 (gen II) Lumi 这款搭载 Android 15 的 E-ink 平板。为了打造理想的阅读体验，我彻底剥离了 Boox 和 Google 的预装软件，通过 F-Droid 安装了 Readeck 的替代品 Wallabag、Fennec 浏览器以及 Capy Reader 和 KOReader。虽然 E-…
告别繁琐的端口映射和 EADDRINUSE 错误，Port Zero 让你将所有开发端口设为 0，自动为每个进程或容器分配稳定的 *.portzero.local 域名。无论是管理多个 git worktrees 并行开发，还是通过云端隧道将本地应用安全地推送到手机测试，它都能轻松应对。作为免费开源工具，它不仅支持 AI 编码代理自动配置，还能一键生成公共 HTTPS 链接，让本地开发体验如丝般…
在准备出版图片时，检查其对色盲人士的友好度是良好的实践。我使用一段简单的 ImageJ 脚本，模拟了 8 种色盲类型下的图像呈现效果，发现原图中部分面板对 Protanopia 和 Deuteranopia 患者不友好。解决方案并非简单禁止红绿叠加，因为这对展示共定位非常有效。我们的策略是提供灰度分离通道，确保即使无法区分叠加色，每个人也能看清单个通道。经过调整，面板 D 对所有色盲类型都更清晰…
Wattage 是一款专为 AI 代理设计的 Token 消耗分析器与成本回归门禁工具。它无需配置文件或 API 密钥，完全离线运行，只需指向 OTLP JSON 格式的追踪数据，即可精准定位 Token 浪费点，实时计算美元成本，并提供修复建议。其核心亮点是 Convergence Engine，能识别传统精确匹配无法发现的无效循环与震荡模式。Wattage 还能集成到 CI 流程中，当代码变…