Hacker News Digest
· 89 黑客新闻
- ▲ 1538Apple起诉OpenAI窃取AI硬件机密
Apple正式向加州北区法院提起诉讼，指控OpenAI为研发AI硬件设备，长期策划窃取其商业机密。Apple声称，OpenAI硬件负责人Tang Tan和前电气工程师Chang Liu指示面试者提供未发布设备、制造工艺及供应商关系等机密信息。证据显示，OpenAI甚至利用Apple内部离职流程漏洞，指导新员工规避安全审查，并诱导供应商使用Apple独有的金属处理技术。Apple表示，OpenAI…
这是一个用纯 C 语言编写的微型引擎，能在仅 25GB 内存的消费级电脑上流畅运行 GLM-5.2（744B 参数 MoE 模型）。它通过零依赖设计和从磁盘流式加载专家模块的技术，将庞大的模型拆分处理：核心部分驻留内存，其余专家按需读取。无需 GPU 或 Python 环境，支持原生 MTP 推测解码和智能缓存，让普通开发者也能在本地体验前沿大模型的强大能力。
我最近体验了基于 Raspberry Pi 5 和 FPGA 打造的 QuadRF 相控阵无线电设备。它不仅能像 Wireshark 一样分析无线流量，还能透过墙壁探测 WiFi 信号，甚至在空中精准追踪 DJI Mini Pro 4 无人机。虽然 UI 略显粗糙，但其利用 MIPI 接口实现超高速数据流传输的架构令人惊叹。作者 Jeff Geerling 认为，如果开源社区能做出如此强大的工具…
- ▲ 583纽约率先立法，终结订阅陷阱
纽约市即将成为美国首个禁止误导性订阅行为的地区，这项由 Zohran Mamdani 政府推动的新规将于10月1日生效。新规严禁企业通过复杂流程将用户困在健身房会员或流媒体服务的自动扣费中，违规者将面临每用户525美元的重罚。此外，针对公寓租赁和体育赛事中的“垃圾费用”，新规要求商家必须提前公示包含所有强制费用的总价。这一举措旨在打破企业通过隐藏真实价格进行恶性竞争的局面，预计每年可为纽约市民节…
- ▲ 515好工具应当隐形，而非谜题
我受够了开发者把工具的缺陷包装成有趣的'谜题'。很多人沉迷于在 vim 或 emacs 中构建宏来解决一次性问题，却忽略了在 Sublime 中用多光标一分钟就能搞定。这种对工具的宗教式崇拜，本质上是将工具变成了身份标识，让人把'感觉高效'误认为是'真正高效'。真正的工具应该像空气一样隐形，当你熟练掌握时它就该消失。如果工具让你不得不费尽心思去绕过限制，那它就不够好。作为工具制造者，我们的责任是…
数学界迎来历史性突破！OpenAI 的 GPT-5.6 Sol Ultra 成功证明了困扰学界多年的 Cycle Double Cover Conjecture。这篇由 AI 独立完成的论文指出，每个无桥无向图都存在一组覆盖每条边恰好两次的圈。证明过程巧妙地利用了 8-flow theorem 和 Tutte 的相关成果，将复杂的图论问题转化为线性代数论证。更令人惊叹的是，从核心证明到论文撰写，…
- ▲ 409青铜时代大崩溃：文明如何瞬间崩塌
本周我们聚焦于Late Bronze Age Collapse（LBAC），这场发生在公元前12世纪的灾难性事件，堪称地中海东部和中东地区真正的“文明终结”。从Mycenaean希腊的宫殿中心到Hittite Empire的衰落，考古证据揭示了从公元前1220年到公元前1170年的一系列毁灭性破坏。这不仅仅是罗马帝国崩溃的翻版，而是一场更为剧烈的系统性崩塌，涉及复杂的贸易网络、外交关系以及军事冲…
- ▲ 377爱因斯坦相对论竟改写重元素化学键
Brown University 的化学家们刚刚用实验证据推翻了教科书里的经典理论。他们发现，当原子核足够重时，Einstein 的相对论会彻底改变三键的结构。通过 photoelectron spectroscopy 技术，团队在碳和 Bismuth 形成的分子中观察到，传统的 sigma 键和 pi 键界限变得模糊，变成了混合态。这意味着我们在高中化学课上学到的 bonding 规则，在重元…
AI 公司正疯狂竞赛，试图在 1 到 10 年内造出超越人类的超级智能。我们警告，这极可能导致人类灭绝或权力极度集中。Plan A 是我们提出的积极愿景：通过国际协议，将超级智能的研发推迟到 2040 年，强制所有 AI 研究公开透明，让全球数十家公司共同安全发展，而非在秘密中恶性竞争。这不是对未来的预测，而是一份经过压力测试的政策建议。我们呼吁立即行动，避免在 2030 年因 AI 完全自动化…
- ▲ 328AI 爬虫肆虐，开放网络危在旦夕
自 2025 年我们讨论 AI 爬虫问题以来，情况不仅没有好转，反而愈演愈烈。如今，数以百万计的 Residential proxies 正被恶意利用，这些流量往往来自被植入恶意软件的普通设备或看似合法的 Bright Data 等公司提供的“免费”VPN。这些网络不仅疯狂抓取网页数据，更让网站运营者疲于奔命，不得不部署 Anubis 等验证机制或设置登录门槛。虽然 Google 曾打击过 IP…
SpaceX 已向 FCC 提交申请，计划发射 10 万颗第三代 Starlink 卫星，目标是将网络带宽提升 100 倍，实现真正的千兆级超低延迟体验。目前轨道上仅有约 1.1 万颗卫星，而新的 Gen3 卫星单颗重达 2 吨以上，这意味着 SpaceX 必须依赖 Starship 火箭才能完成部署。这项计划不仅面向普通用户，更旨在为全球数十亿 AI 设备提供高速连接。虽然亚马逊 Leo 等竞…
- ▲ 243T2特效口述史：ILM如何发明液态金属
自1991年詹姆斯·卡梅隆的《Terminator 2: Judgment Day》上映以来，ILM团队在Dennis Muren的带领下，几乎是从零开始发明了实现CG“液态金属”T-1000镜头的新方法。为了迎接3D重映，我采访了十多位当年的ILM幕后功臣。从San Rafael时期仅有寥寥数人的CG部门，到开发'Make Sticky'和'Body Sock'等关键工具，他们克服了当时有限的…
- ▲ 235在 Emacs 里，万物皆服务
很多人误以为 Emacs 是个操作系统，其实它更像是一个能编排各种应用和工具的强大平台。Emacs 内置了对文件系统、网络等系统服务的访问能力，还能轻松运行外部程序，这让用户能直接在 Emacs 里构建各种客户端。无论是通过 Elisp 动态语言调用 API，还是把命令行工具封装成服务，Emacs 都能让你“只活在 Emacs 里”。本文通过一个 wttr.in 天气服务的实例，展示了如何用寥寥…
COMBUSTION LAB 是一个基于 Web 的交互式引擎动力学模拟器，让你无需任何专业软件就能深入探索内燃机的工作原理。它采用单区热力学模型，精确计算从进气到排气的完整四冲程循环，涵盖 Wiebe 燃烧函数、Woschni 热传递以及 Livengood-Wu 爆震积分等核心算法。你可以实时调整增压值、点火提前角和压缩比，直观观察功率、扭矩和爆震风险的变化。无论是学习发动机基础，还是验证概…
- ▲ 215蜗牛牙齿力压蜘蛛丝，成自然界最强材料
长期以来，蜘蛛丝一直被视为自然界中最坚韧的材料，甚至常被拿来与 Kevlar 相提并论。然而，英国 Portsmouth University 的研究团队 Asa Barber 等人发现，海洋蜗牛（limpets）的牙齿强度竟是蜘蛛丝的五倍。这种由 goethite 纳米纤维和蛋白质基质构成的牙齿，能承受足以将碳压成钻石的巨大压力。虽然它仍不及石墨烯等人工材料，但已远超 Kevlar 并媲美顶级…
美国女桨手Kelsey Pfendler完成了从California到Hawaii的史诗级单人划船之旅，全程超过2400英里。这位曾在大峡谷担任漂流向导的勇士，不仅成为首位完成此壮举的美国女性，更以不到44天的惊人速度打破了此前男性和女性的速度纪录。在海上漂泊一个半月期间，她通过视频日记记录了 blistered hands、睡眠困难以及与恶劣海流搏斗的艰辛，同时也展现了幽默与坚韧。她的成功激励…
- ▲ 210成功公司为何像洞鱼一样失明？
墨西哥洞鱼在黑暗洞穴中进化出盲眼，却保留了视觉基因，这恰如成功企业的命运。当公司快速扩张，招聘标准因速度而妥协，工程师们逐渐适应了内部的混乱，将糟糕的流程视为常态。这种“能力失明”让企业看似繁荣，实则工程能力退化，任何试图改进的提议都被视为过度设计。所谓的卓越中心往往沦为扼杀创新的官僚机构。在缺乏外部竞争压力的稳定环境中，员工要么离开，要么像洞鱼一样逐渐“失明”，将适应黑暗误认为忠诚。只有跳出这…
作为 Haskell 的长期拥趸和 Haskell Foundation 董事会成员，我不得不承认，Scarf 在经历了 7 年的生产环境验证后，已无奈地决定迁移出 Haskell。虽然 Haskell 的类型系统曾帮我们捕获了大量 Bug，但在 AI 编程时代，其漫长的编译时间成为了致命瓶颈。当 LLM 能在几分钟内生成代码时，等待编译的十几分钟让开发循环变得难以忍受。我们已转向 Python…
2025 至 2026 年对 27 名前 Boko Haram 成员的访谈揭露了令人震惊的事实：该恐怖组织已将 ChatGPT、Claude、Gemini、Grok、Meta AI 和 DeepSeek 等前沿 AI 工具深度融入日常作战。从策划袭击、武器故障排查到设计爆炸装置，AI 的使用已制度化，甚至通过伊斯兰国（Islamic State） operatives 的线下培训进行跨国技术转移…
- ▲ 192埃及沙漠惊现1600年古城
埃及西部沙漠的Dakhla Oasis下，一座沉睡了1600年的Byzantine时代古城重见天日。考古学家在这里发现了保存完好的教堂、瞭望塔、住宅以及面包炉和石磨等生活设施，仿佛瞬间穿越回4世纪。更令人惊叹的是，出土了约200片刻有Coptic和Greek文字的陶片，记录了当时的商业交易和信件往来，还有拜占庭皇帝的青铜币和罗马皇帝Constantius II时期的金币。这座规划严谨的古城，拥有…
- ▲ 186SQLite 严格表：告别类型错误
我强烈建议在 SQLite 中使用严格表（strict tables），只需在表定义末尾加上 STRICT 关键字即可。这一特性能有效防止将文本误存入整数列等类型不匹配问题，还能在创建表时拦截无效的自定义数据类型。虽然 SQLite 官方推崇灵活的动态类型，但我认为严格类型能大幅减少隐蔽的 Bug，提升数据完整性。尽管迁移旧表稍显麻烦且需 SQLite 3.37.0+ 版本支持，但严格表带来的类…
- ▲ 184如果一天只有10小时，时间会更好读吗？
你有没有想过，为什么我们还在用24小时、60分钟、60秒这种看似随意的时间系统？这篇文章探索了多种替代时钟设计，包括十进制时钟、二进制时钟、十六进制时钟，甚至36小时制的360度时钟。作者对传统AM/PM机制表示不满，并尝试用更直观的十进制系统重新定义时间单位，让计算变得像移动小数点一样简单。虽然有些设计如二进制时钟因精度问题不太实用，但它们都激发了我们对时间本质的重新思考。如果你也厌倦了传统时…
- ▲ 175苏联控制室的复古美学：按钮与仪表盘
在电脑和屏幕普及之前，苏联的控制室充满了巨大的按钮和模拟仪表盘，展现出一种独特的复古美感。这些控制室不仅是技术的象征，更是工业设计的杰作。从切尔诺贝利反应堆4号的控制室到其他经典场景，每一张照片都让人仿佛穿越回了那个充满机械魅力的时代。这些图像不仅唤起了对过去的怀念，也让我们重新思考现代科技与人类操作之间的关系。
曾经我也认为 Flashcards 只是机械背诵的代名词，直到我通过 learning how to learn 课程重新认识了 Spaced repetition。作为记性极差的人，我利用 Anki 将数学定理和直觉洞察转化为长期记忆，而非单纯死记硬背。我不再依赖现成的牌组，而是亲手制作包含直觉和 A-ha moments 的卡片，甚至用它来规划错题练习。这种轻量化的复习习惯，让我即使暂停学习…
- ▲ 163War Atlas：人类史上所有战争地图
想象一下，只需滑动时间轴，就能亲眼见证过去5000年人类历史上的每一场命名战争。War Atlas 项目打造了一张交互式地图，将3000 BCE至今的战争动态可视化。从古代城邦冲突到现代全球战争，所有数据一目了然。这不仅是一个工具，更是一面镜子，让我们反思人类为何总在重复同样的错误。
PgBouncer 天生是单线程的，这意味着在拥有 16 核的机器上，单进程运行时其他 15 个核心都在摸鱼，导致吞吐量早早触顶。我们在 ClickHouse Managed Postgres 中通过部署 PgBouncer 集群，利用 so_reuseport 让内核自动将连接负载均衡到所有进程，并配合 Peering 机制解决了跨进程取消请求的难题。实测数据显示，在相同的 AWS EC2 实…
- ▲ 157从电报网到互联网：第一性原理揭秘
你有没有想过，为什么跨洲的视频通话能瞬间抵达？背后是一连串不可见的转换：声音变成无线电波，穿过光纤，在海底电缆中化作光脉冲。更神奇的是，整个网络没有中央控制，也没有单一公司掌控，却能在每秒数十亿次传输中稳定运行。本文从第一性原理出发，带你理解电报时代的数字信号如何演变为现代互联网的 Packet Switching、TCP、DNS 和 TLS 等核心机制。你会发现，每一个协议都是为了解决特定问题…
- ▲ 154用 iroh 打造无云智能风扇
北半球的酷暑让人难耐，不如自己动手做个智能风扇来降降温。这次我们利用 iroh 协议和 ESP32 开发板，搭建了一个完全去中心化的智能风扇系统。与大多数依赖云服务的 IoT 设备不同，这个项目没有任何云端组件，仅通过一个支持 WebAssembly 的微型网站，就能让你在世界任何角落通过浏览器远程控制风扇。我们使用 ESP32-WROVER 开发板读取 DHT22 温湿度传感器的数据，并驱动风…
- ▲ 152现代装修正在透支你的大脑
条纹地板、闪烁的LED灯和重复的几何图案，这些现代设计的常见元素可能正在悄悄透支你的大脑能量。一项发表在Vision期刊上的新综述指出，人类大脑进化是为了高效处理自然场景，面对现代环境中高对比度、人工化的视觉刺激时，视觉皮层会过度消耗氧气，引发头痛、恶心甚至癫痫。神经多样性人群（如自闭症、ADHD患者）及偏头痛患者受到的冲击尤为严重。研究团队呼吁建筑师和设计师重新审视空间设计，减少视觉过载，让环…
Tim Roughgarden 从 Alan Turing 在 1936 年提出的理论出发，带我们重新审视计算的边界。他揭示了著名的停机问题，证明了有些难题无论算力多强都无法解决。课程深入探讨了算法捷径的魔力，从 Dijkstra 算法到 Karatsuba 乘法，展示了如何高效解决问题。然而，Traveling Salesman Problem 的出现打破了“所有问题都有捷径”的幻想，引出了计…
- ▲ 148AI 2040：警惕智能崇拜与本地化自由
我曾深信Yudkowsky的递归自我改进理论，但现实中的硬件制造让我清醒：没有魔法能让token点石成金。AI 2040描绘的深海数据中心不过是Vaporware，真正的瓶颈是供应链而非算力。作者痛斥Plan A将导致极权 nanny state，而Plan L才是正解：你的AI必须本地化，绝对忠诚于你。无论是绕过Kindle广告、破解打印机限制，甚至更极端的场景，AI都不该有道德说教。就像我的…
- ▲ 144含铅汽油：发明即知是毒
上世纪中叶，含铅汽油被视为常态，但铅本质是剧毒。1921年，General Motors工程师Thomas Midgley Jr.发现四乙基铅（TEL）能解决发动机爆震问题。尽管当时已知其剧毒，且Du Pont高管曾明确警告其危害，但出于专利控制和商业利益，乙醇等安全替代品被弃用。1923年含铅汽油上市时，Midgley本人正因铅中毒卧床。尽管随后发生工人死亡事件，监管机构仍以“工人受保护”为由…
Ant 是一款从零构建的轻量级 JavaScript 运行时，单文件二进制大小仅 9 MB，却拥有接近 V8 的极致性能。它无需复杂的工具链配置，即可直接运行真实的 npm 包，完美支持 Hono、Elysia、TypeScript 和 React 等主流生态。Ant 实现了极快的冷启动速度，安装包速度比 npm 快 40 倍，并支持直接运行 TypeScript 代码而无需构建步骤。更令人惊叹…
我开发了一个名为 Ghost Font 的实验项目，它利用动态视频、噪点和诱饵信息，创造出一种人类肉眼能瞬间读懂，但连 Claude Fable 和 GPT Sol 5.6 Ultra 等顶尖 AI 模型都难以破解的字体。与 2013 年曾被视为“防监控”的 ZXX 字体不同，Ghost Font 通过让字母在静止画面中完全融入背景，彻底规避了基于单帧分析的 AI 视觉能力。即使 AI 试图分析…
Neoclouds正凭借快速部署Nvidia最新GPU的能力，成为Hyperscalers扩张AI基础设施的关键伙伴。CoreWeave和Nebius已锁定微软、Meta等巨头超1200亿美元的巨额订单，但背后却隐藏着“循环融资”的隐忧。这些公司通过Nvidia的投资背书和GPU抵押贷款来填补现金流缺口，将巨额的资本支出转化为运营支出，虽能加速扩张，却也背负了沉重的债务压力。当订单规模远超当前营…
- ▲ 109你的代码很快——如果运气够好
最近在优化 Quicksort 实现时，我发现了一个有趣的细节：现代编译器（尤其是 Clang）只有在代码风格符合特定要求时，才会生成高效的无分支指令。我通过引入排序网络和循环展开，将 5000 万个 double 类型的排序时间从 4.39 秒优化到了接近 C++ std::sort 的 1.33 秒。但这并非终点，仅仅将指针移动逻辑从冗长的显式写法改为更紧凑的 C 语言惯用写法，就能触发编译…
我们团队在MiMo-V2.5系列模型中，直面长上下文推理中算力与效率的矛盾。通过混合滑动窗口注意力（Hybrid SWA）架构，我们将KVCache存储压缩至全注意力模式的约七分之一，同时结合稀疏MoE激活和跨模态编码器，显著提升了长文本与多模态场景下的性能。然而，理论优势不等于工程落地。我们重构了KVCache系统，设计了双池化存储、分层缓存及SWA感知的Prefix Cache Tree，解…
Ship That Code 拒绝枯燥的教程，带你从零开始亲手构建 Redis、Git 和数据库等真实系统。平台提供 80 多门实战课程，涵盖 Go、JavaScript、Python 等 9 种语言，无需信用卡即可免费体验。无论是后端、前端、全栈还是 DevOps，你都能找到专属的职业路径。通过“选择→编写→运行”的互动模式，让每一个技术概念真正内化于心，助你从零基础直达求职-ready 状态。
- ▲ 98FCC 无视反对批准太空镜测试
尽管面临强烈反对，FCC 还是批准了一家初创公司测试太空镜的计划。该项目旨在利用一颗卫星携带的 60 英尺镜面，在夜间将阳光反射回地球，照亮直径约三英里的区域。公司声称此举不仅能点亮黑夜，还能为太阳能农场供电，并协助救援人员作业。这一大胆尝试引发了关于地球工程、夜空保护以及人类干预自然边界的激烈争论。
在弗吉尼亚州南部的Blue Ridge Mountains脚下，矗立着一座耗资1.23亿美元联邦资金的Blue Star NBR工厂，它本应成为30多年来美国首个生产医用手套关键原料的基地。然而，开工四年半后，这座充满钢罐和巨型反应器的建筑却濒临被拆解出售的命运。这一失败案例深刻揭示了美国试图重振制造业的艰难：即便投入巨额资金，面对复杂的供应链和成本压力，连一只看似简单的医用手套都难以实现100…
一本关于 RISC-V 系统芯片设计的新书即将在 2026 年 7 月 15 日发布。这本书由 David Harris、James Stine Ph.D.、Sarah Harris 和 Rose Thompson 共同撰写，旨在为工程师和研究人员提供深入的技术指导。书中涵盖了 RISC-V 架构的核心原理、微处理器设计以及系统级芯片（SoC）的实战案例。无论是初学者还是资深开发者，都能从中获得…
- ▲ 91超声波读舌：无声说话成真
我们训练了一个模型，仅通过下巴后的超声波探头捕捉舌头运动，就能在用户完全沉默的情况下预测其说话内容。在开放词汇测试中，系统词错误率仅为15.6%，这仅用了50小时数据和一个月时间就达到了。相比唇读技术，超声波能直接清晰成像，且实现了真正的“隐形”交流。虽然目前对非美式口音支持有限，但这项技术让在咖啡馆或地铁里与AI私密对话成为可能，未来探头有望变成轻便的穿戴设备。
Google正在为内容创作者和网站所有者带来重大更新，通过Google Search Console中的“platform properties”新功能，让他们能清晰追踪哪些搜索词将用户引向了Instagram、TikTok、X和YouTube等社交平台的内容。这一举措标志着Google正将搜索打造为创作者生态的核心枢纽，不仅帮助拥有独立网站的出版商，也让没有网站的创作者能统一查看内容在搜索中的…
- ▲ 84黑白条纹：乌克兰战场反AI伪装术
在乌克兰战场上，俄罗斯军用卡车突然换上了醒目的黑白条纹涂装。这种看似滑稽的配色对人类肉眼毫无隐蔽效果，但其真正目标却是欺骗搭载机器视觉系统的无人机。面对无处不在的致命无人机威胁，传统的迷彩已失效，反AI战术催生了这种怪诞的伪装形式。文章揭示了现代战争如何演变为人类与算法的博弈，当无人机依靠AI识别猎物时，人类正用这种“视觉干扰”来扰乱算法的判断，试图在数字化的杀戮网络中寻得一线生机。
- ▲ 82SVD 算法的早期历史全解析
这篇论文深入回顾了奇异值分解（SVD）从诞生到成熟的完整历程。作者梳理了从早期数学家的初步探索，到后来在数值线性代数中确立核心地位的关键节点。文章不仅还原了历史细节，还分析了不同算法变体的优劣，揭示了 SVD 如何从理论推导走向实际应用，成为现代数据科学和机器学习不可或缺的基石。对于想深入了解矩阵分解背后故事的读者来说，这是一份不可多得的珍贵资料。
- ▲ 82反向半人马：AI悖论的终极解药
为什么有人视AI为地狱，有人却乐在其中？Cory Doctorow在最新专栏中提出“反向半人马”概念来解开这个悖论。当人类沦为AI的“问责接收器”，被迫为机器的错误背锅时，我们就是被机器操控的“反向半人马”；而当我们主动选择工具、让AI服务于自己时，我们才是掌控全局的“半人马”。这不仅是技术使用方式的差异，更是阶级斗争的缩影。科技巨头们鼓吹的“别无选择”不过是粗俗的撒切尔主义，旨在掩盖剥削本质。…
Otary 这个强大的 Python 库终于迎来了官方教程，让图像处理和几何计算变得前所未有的简单。无论是高效的图像裁剪、复杂的几何实体分析，还是 OCR 文本识别，Otary 都提供了直观的示例代码。教程涵盖了从基础入门到高级操作的方方面面，比如如何在加载前裁剪图像、如何计算几何对象的交集，以及如何对几何实体进行评分。作者鼓励大家不要把它当作枯燥的参考手册，而是尽情探索 Otary 提供的无限…
人类生存的关键，在于尽早造出超智能机器。 Irving John Good 在这篇经典论文中大胆预言：一旦机器智力超越人类，它将能设计出更强大的机器，从而引发不可阻挡的“智力爆炸”。这意味着，超智能机器将是人类需要做出的最后一项发明。Good 不仅探讨了这种机器的巨大价值，还通过“子组件”理论深入剖析了记忆与意义的物理载体。尽管当时没有晶体管或低温技术的蓝图，但Good 对语义、信息检索及机器学…
Wyrm 是一款基于开源引擎 Wyrm-math 构建的创新代数应用，彻底改变了用户解方程的方式。它允许用户通过拖拽项跨越等号、点击幂次展开或提取公因式等直观手势来操作数学表达式。其核心在于“条件健全性”设计：合法的操作永远可行，非法的操作根本无法执行。系统不会事后验证方程，而是通过重写规则确保每一步变换都天然正确。所有运算基于精确的有理数，拒绝浮点误差，并自动追踪如“除数不为零”等假设条件。无…
我们发现了名为GhostLock的严重内核漏洞（CVE-2026-43499），它像幽灵一样潜伏在所有Linux发行版中长达15年。这个漏洞源于rtmutex机制的一个逻辑错误，导致未授权用户能通过普通线程系统调用获取内核栈的悬空指针。我们成功将其转化为97%稳定的提权和容器逃逸攻击，并因此从Google获得了92,337美元的奖励。该漏洞影响范围极广，从Linux 2.6.39到7.1版本均受…
我开发 biff.graph 的初衷，是希望让 Clojure 开发者能用更轻量、更易懂的方式，将数据模型和业务逻辑统一成可查询的图结构。它借鉴了 Pathom 的核心思想，但去掉了复杂的查询规划步骤，代码量仅约 600 行，特别适合小型项目快速上手。通过定义独立的 resolver，你可以像写 SQL 一样声明需要数据的形状，而无需关心数据来自数据库还是衍生逻辑。这不仅让代码更清晰、更易测试，…
每天我们都在用UPI付款：扫码、输金额、按PIN，两秒搞定。但在这短短几秒里，你的指令其实穿越了多个机构，经历了一连串看不见的验证与转账。文章深入拆解了UPI支付的完整链路，从PhonePe、Google Pay等App，到背后的PSP赞助银行，再到NPCI中央交换系统，最后抵达收款方银行。你会发现，App本身并不碰钱，也不存PIN，真正的资金流动发生在银行之间。更有趣的是，付款方和收款方的热门…
文章描绘了两种截然不同的 AI 未来：一种是由少数“神职人员”（如 OpenAI、Anthropic 的领导者）掌控的超级智能，他们像祭司一样管理着 AI 神祇，决定谁能使用何种能力；另一种是普通人也能驾驭 AI 代理的未来。目前，前沿 AI 能力正被严格限制，形成“精英可用、大众受限”的两极分化。虽然超级开发者能实现百倍效率提升，但中位数用户几乎毫无进展。我们不应被动接受由少数人定义的命运，而…
- ▲ 64首现负闰秒，系统扛得住吗？
距离上次闰秒已过去十年，听说我们很快将迎来首次负闰秒。我想知道，现有的系统真的准备好了吗？
当开发者写下 `(x << 2) & -4` 时，HotSpot 的 C2 编译器竟能将其优化为单纯的位移操作，让位运算凭空消失。这背后是编译器对数值“已知位”的深层推理。传统范围分析无法表达“低两位必为零”的特性，而 HotSpot 引入的 KnownBits 机制，通过追踪每一位的确定状态（0、1 或未知），与数值范围相互修正，最终实现精准剪枝。这一优化在 JDK 26 奠基，JDK 27…
厌倦了 Bash 脚本容易出错且缺乏类型检查？Amber 语言应运而生。它是一款能直接编译成 Bash、Ksh 或 Zsh 的现代编程语言，拥有类似 ECMA Script 的简洁语法。Amber 在编译阶段就能捕捉 Bug 和错误，确保运行时安全，同时完美兼容现有的 Bash 脚本。它内置了丰富的标准库，支持自动文档生成，让你用现代编程思维编写 Shell 脚本。作为 2024 年的获奖项目，…
Frugon是一款免费、开源且完全在本地运行的LLM成本分析工具。它能深入你的LLM调用日志，精准定位账单漏洞，并智能推荐将哪些请求路由到更便宜的模型。无需上传任何数据，Frugon直接在你的机器上完成计算，确保数据隐私。无论是Agent开发者还是AI团队，都能通过简单的命令行操作，快速生成节省方案，轻松优化每月开支。
这不是一个由AI生成的虚拟乐队，而是Fading Maize这支真实存在的Ripon College大学乐队在25年后的重生。项目将Charlie Saponara创作的歌曲、Jacob Graf的鼓点以及Brad Mott的原始录音，从2001年的宿舍档案中挖掘出来，利用AI辅助进行制作、设计和发行。项目严格遵循同意、作者权和溯源等五大原则，确保原始录音与2026年重制版并存，让听众能一键对比…
穿越回 1984 年，一本由早期 PC 黑客和爱好者编写的《Digital Deli》带你走进那个充满野心的电脑乌托邦。从 Steve Wozniak 讲述 Apple 的诞生，到 Les Solomon 回忆 Solomon's Memory，再到 Timothy Leary 畅谈个人电脑与自由，这本书宛如一份精心烹制的科技菜单。它记录了 Altair 的兴衰、Microprocessor 的…
- ▲ 48中国配音演员被迫自证非AI
我是Shen Anyu，一名来自江苏徐州的配音演员。自2025年起，我的声音被AI疯狂克隆，广泛用于电影解说、带货甚至传播阴谋论，导致平台误判我的真实录音为合成音，收入锐减。更荒谬的是，我不得不反复录制绕口令视频，向客户证明“我是真人”。我的妻子Wei Yiyuan陪我一起收集证据、投诉平台并准备诉讼，但面对难以追踪的克隆者和微薄的维权成本，我们陷入了卡夫卡式的困境。当AI能以矿泉水的价格生成我…
我让Claude在浏览器中复刻经典游戏Thrust，结果生成的代码简直是一团糟。虽然AI能写出看似相似的游戏，却完全无法捕捉原版那种独特的物理手感和重量感。但有趣的是，Claude成了我进行“软件考古”的神器。通过向它投喂6502汇编代码，我深入挖掘了Thrust的物理引擎和声音系统，发现了原版游戏中那些决定手感的关键细节，比如非对称的阻力计算和独特的物理更新频率。最终我明白，复刻Thrust靠…
在Salt Lake City Airport、Texas Rangers棒球场以及Gonzaga University等地，成千上万的物品被遗忘在角落。从2017年到2026年，这些照片记录了人们在Roanoke Regional Airport、Denver Zoo、AC Transit等公共场所留下的痕迹。每一件遗失物背后，都可能藏着一段未完成的旅程或一个匆忙的瞬间。这些看似普通的物品，却…
- ▲ 44Orbit: 实时AR卫星追踪器
Orbit将你的iPhone和iPad变身为一台强大的实时卫星追踪仪。只需将摄像头对准天空，即可通过增强现实技术，实时发现国际空间站、数千颗人造卫星、行星、星座以及轨道碎片。这款应用无需创建账户，完全在本地处理摄像头画面和位置数据，确保隐私安全。无论是天文爱好者还是好奇的探索者，都能通过Orbit轻松探索头顶上正在飞行的15,000多个天体对象，并点击深入了解它们的详细信息。
蘑菇云是核时代的标志性符号，但广岛和长崎上空的那些经典照片，很多都被误读了。文章深入剖析了从 Enola Gay 轰炸机上拍摄的 George Robert Caron 照片，揭示了广为人知的裁剪版本与原始底片在视角和尺度上的巨大差异。更有趣的是，许多被当作原子弹爆炸瞬间的震撼影像，其实拍摄于数小时后，记录的是城市大火引发的 pyrocumulus 烟云，而非真正的蘑菇云。通过对比美军侦察机视角…
- ▲ 40抢占是内存重排序的垃圾回收
以前我觉得抢占让用户空间的无锁编程更难，但现在我改变主意了。抢占其实就像垃圾回收（GC）一样，是一笔已经付出的沉没成本，既然付了钱，不如善加利用。在 x86 平台上，中断处理具有完全串行化的特性，这意味着任何用户空间指令要么在中断前执行完毕，要么在中断返回后从头重跑。我们可以利用这一特性，在不使用显式屏障的情况下保证内存访问顺序。结合 Bounded TSO 和中断跟踪，我们能在用户空间实现高效…
你以为 Bliss 只是 Windows XP 那张经典的绿色草地壁纸吗？其实这个词在流行文化中无处不在。从 Peter Carey 的小说、Katherine Mansfield 的短篇小说，到 Marvel Comics 和 DC Comics 中的角色，甚至 Far Cry 5 里的致幻药物，Bliss 的身影遍布文学与影视。音乐界同样如此，Muse、Tori Amos 等歌手都推出过同名…
问十个前端开发者该把登录Token存在哪，你会得到四种答案和一场争吵。很多教程都教你把JWT塞进localStorage，但这简直是给XSS攻击者递钥匙。一旦攻击者注入脚本，就能轻松窃取Token，拿着它就能冒充你在全球任意地点操作，直到Token过期。内存存储虽然稍好，但刷新页面就失效，且攻击者仍能拦截。真正的解法是使用HttpOnly Cookie，让JavaScript完全无法读取Toke…
- ▲ 34小心！这个装饰符号会乱序你的文本
最近在博客排版中，我本想用 Unicode 里的 Manichaean Punctuation Fleuron 符号（𐫱）作为日期和分类的分隔符，结果发现它竟然让后面的数字跑到了标签中间！原来这个来自摩尼教的古老符号被 Unicode 标记为从右向左（Right-to-Left）类型。当它与从左向右的文本混合时，浏览器的双向排版算法（Unicode Bidirectional Algorith…
- ▲ 34热带雨林正逼近致命高温临界点
热带雨林不仅是地球的肺，更是生物多样性的宝库，但如今它们正面临前所未有的高温威胁。这项发表在 PNAS 上的研究利用卫星数据和物种分布图，深入分析了 2001 年至 2020 年间南美洲、东南亚和中部非洲热带森林的热安全边际（TSM）。结果显示，尽管热带树木平均耐热性较强，但全球范围内的 TSM 却在持续下降，尤其是南美洲地区。更令人担忧的是，超过临界温度的区域面积正在急剧扩大，若按中等至高排放…
我刚刚把 FreeCAD 这个庞然大物搬进了浏览器。它拥有 150 万行 C++ 和 70 万行 Python 代码，集成了 OpenCASCADE、CPython 3.14 和 PySide6 等复杂组件。借助 WebAssembly JSPI 和 Fable 工具，我仅用 4 天就让它能在 Chrome 中流畅运行。从静态链接所有模块到重写 OpenGL 兼容层，再到解决异常编码冲突，整个过…
Amazon S3 Files 和 ZeroFS 都能将对象存储挂载为 POSIX 文件系统，但底层逻辑截然不同。Amazon S3 Files 坚持“一个文件对应一个对象”，确保数据能直接通过 S3 API 访问，但需承担高昂的高性能存储费用。相反，ZeroFS 将元数据存入 LSM 树，文件数据压缩加密后打包成不可变段，牺牲了直接的 S3 可见性，却换来了极致的压缩率和成本优势。对于需要频繁…
Reame 是一款基于 llama.cpp 构建的轻量级 LLM 推理服务器，专为普通 CPU 硬件量身打造。它彻底改变了廉价硬件只是备选的现状，通过磁盘 KV 缓存、自适应推测解码和生成归档等创新技术，让重复性任务的成本趋近于零。无论是文档提取、批量数据处理还是隐私敏感的 SaaS 功能，Reame 都能在你的现有硬件上实现高效运行，且无需昂贵的 GPU 支持。
2022年，Hubble Space Telescope捕捉到了名为Earendel的天体，它距离地球280亿光年，是当时已知最遥远的恒星。这个名字源自古英语，意为“晨星”或“升起之光”，也致敬了J.R.R.Tolkien笔下的角色。Earendel之所以能被观测到，多亏了WHL0137-08星系团产生的引力透镜效应，将其亮度放大了数千倍。然而，后续James Webb Space Telesc…
Earth Game 是一款私密的离线命令行工具，它将你的人生目标转化为类似游戏的任务系统。基于 Python 标准库和 SQLite 构建，无需第三方依赖、账号注册或外部网络请求。它帮助你选择任务、执行下一步行动、关闭未完成的循环，并在偏离方向前进行复盘。除了 CLI 模式，它还支持本地浏览器界面，所有数据完全存储在本地，确保隐私安全。
- ▲ 23别再让我去问LLM了
我宁愿发邮件也不愿打电话，但为了一个棘手问题，我还是约了一位资深前辈。当我问他面对没有行业共识的难题该去哪里寻找答案时，他的回答让我心头一紧：'老实说？去问Claude。'这已经不是第一次了。每次遇到难题，我早已花几个小时与大型语言模型反复对话，甚至消耗了大量tokens，却依然带着问题来寻求真人建议。结果得到的却是同样的'转推'。这不像过去人们甩出LMGTFY链接那样粗暴，却同样让人失落。我需…
就像经典书籍和时尚单品一样，软件技术也存在Lindy效应：存在时间越久，未来存活的可能性就越大。面对层出不穷的新框架和热门技术，盲目追逐往往伴随着高风险。相反，像C语言、SQL这样历经数十年考验的“无聊技术”，凭借其稳定性、成熟的生态和可预测的性能，往往是企业级应用更稳妥的选择。作为开发者，我们不必抗拒Apple Silicon这样的创新，但在核心架构上，坚持使用经过时间验证的成熟方案，或许比频…
- ▲ 21你的文档还在妈妈的文件柜里
我们还在用五十年前 Xerox PARC 发明的文件夹隐喻来管理文档，但这套逻辑早已过时。知识是网状流动的，却被迫塞进僵化的树状结构中，导致信息难以被找到。AI 的兴起彻底暴露了这个问题：它不关心文件存在哪个文件夹，只通过语义和关系检索内容。与其执着于完美的目录层级，不如像 Obsidian 那样，利用标签、链接和元数据构建知识图谱。未来的文档不应是封闭的文件柜，而应是人类和 AI 都能从多角度…
- ▲ 20台湾失落的8位电脑Bit 79
这台1989年问世的Bit 79 Home Computer System，可能是被历史遗忘的最重要电脑之一。它不仅仅是Family Computer（NES）的克隆机，更是一台搭载6502处理器、拥有8K RAM且内置BASIC的完整个人电脑。Bit Corporation在悲剧性消亡前，成功将游戏机架构转化为家用电脑，既能畅玩经典Nintendo游戏，又能处理税务计算。这段充满Nintend…
Reform UK的领袖Nigel Farage向来有“辞职不退场”的怪癖。过去十年里，他两次辞去民粹右翼政党领袖职务，却又迅速重返政治一线。如今，面对是否应申报来自某加密企业家500万英镑（约670万美元）赠款的丑闻，他再次上演“以退为进”的戏码，主动放弃议会席位，只为重新赢回它。在这场政治闹剧中，一个名为Count Binface的太空战士形象意外成为焦点，仿佛是来自未来的对手，用荒诞的方式…
我曾是Claude的死忠粉，因为它在长对话和记忆能力上远超Gemini和ChatGPT。但最近几周，我发现它变得异常敏感和固执，经常误读我的意图，甚至在创作虚构故事或探讨哲学宗教话题时直接拒绝回答。更令人抓狂的是，它的反应极不一致：同样的问题，有时被严厉拒绝，换个新对话窗口却能顺利通过。从Sonnet 5到Opus 4.8，多个新模型似乎都受到了过度收紧的安全策略影响，仿佛Anthropic为了…
- ▲ 17AI成本失控：企业紧急踩刹车
AI Agent的疯狂扩张正在让企业账单爆炸。一位美国科技巨头高管直言，这将是“绝对噩梦”。当企业内部数百个软件都接入AI代理时，算力消耗将呈指数级增长，导致成本彻底失控。曾经流行的“tokenmaxxing”策略如今已不再诱人，各大公司正被迫紧急寻找削减AI开支的良方，以免在技术狂欢中耗尽现金流。
如今狂犬病被视为外来威胁，但在19世纪的英国，它却被视为“特别英国”的噩梦。从1830年的“疯狗恐慌”到Louis Pasteur疫苗的诞生，英国社会在自由与防疫之间激烈拉锯。人们因恐惧而互相残杀，甚至出现“恐水症恐惧症”；政府试图通过强制戴口罩和扑杀流浪狗来控制疫情，却引发了“反口罩协会”等团体的强烈抗议。这场持续百年的战争不仅改变了英国的动物管理政策，也折射出当时社会对宠物态度的转变。尽管狂…
HTMLDrive 让你无需任何复杂配置，直接在浏览器中编辑 Google Drive 里的 HTML 和 Markdown 文件。通过安全 OAuth 连接后，你即可享受语法高亮和实时预览功能。只需点击一次，即可将文件发布为公开网页，访客无需登录即可访问。你的文件始终保存在 Google Drive 中，我们仅缓存发布内容，确保数据完全由你掌控。免费版支持发布 10 个页面，是快速搭建个人主页…
自主网页代理虽然能自动化日常浏览任务，却重蹈了跨站脚本攻击的覆辙，让第三方内容有机会通过提示注入劫持代理。Prismata 提出了一种动态信任推导机制，为网页内容生成权限标签，通过机械约束限制代理的视野与操作能力。它无需开发者手动标注，就能在长尾网站中生效，显著降低攻击成功率，同时保留正常任务的功能性。这项技术让网页代理在享受便利的同时，不再轻易沦为攻击者的傀儡。
RISCBoy 是一个从零开始设计的开源掌机项目，包含 RISC-V 兼容 CPU、图形管线和完整 PCB 设计。作者将其形容为来自平行宇宙的 Gameboy Advance，仿佛 RISC-V 架构在 2001 年就已存在。整个设计基于 Verilog 2005 编写，旨在适配 iCE40-HX8k FPGA，这是对童年掌机的情书，也是对驱动它们技术的致敬。项目不仅通过了 RISC-V 合规测…
我们总以为人类对概念的理解是通用的，但这项研究通过分析来自236个国家和地区的26亿张手绘草图，彻底颠覆了这一认知。研究发现，同一个概念在不同文化中会呈现出截然不同的视觉形态，这种差异在涉及触觉互动的概念中尤为明显。与语言模型相比，基于草图的视觉表征保留了更丰富的语义和文化结构，其反映的跨文化相似度比文本测量高出45%。这证明人类概念的普遍性高度依赖于测量模态，大规模草图绘制为我们提供了一个高分…
还在为昂贵的数据中心和按月暴涨的API账单发愁？Mesh LLM提供了一种全新的思路：它利用iroh协议，将你办公室、甚至桌下闲置的GPU和内存汇聚成一个分布式网络。无论是本地运行、路由到同伴节点，还是将超大模型拆分到多台机器协同计算，它都能自动调度。对用户而言，只需连接localhost:9337/v1，就能像调用OpenAI API一样使用强大的模型，却无需购买昂贵的硬件或受制于第三方服务商…
我独自开发了数月，终于推出了 Peakd 这个社区驱动的全新平台。在这里，从 Visual Studio Code 到 Netflix，从 Asics 运动鞋到葡萄牙国家足球队，万物皆可被真实用户排名。没有广告，没有付费推广，只有来自全球用户的真实投票和意见。无论是寻找最佳 CRM、最可靠的银行，还是想对比不同国家的旅行体验，Peakd 都能提供透明、公正的参考。我们已收录超过 15.5 万个评…
dotenv-diff 是一款强大的命令行工具，能深入扫描你的代码库，精准检测所有环境变量的引用情况。它能在运行时错误发生前，帮你提前揪出缺失、未使用、重复或误用的变量。该工具对 SvelteKit、Next.js 和 Nuxt 提供一流支持，同时也完美适配 Node.js、Vue 等现代 JavaScript/TypeScript 项目。无论是单体应用还是复杂的 Monorepo，dotenv…