每日摘要 · Hacker News
· 78 黑客新闻
Google 正式推出 Gemini 3.7 Flash，这是 Gemini 3 系列中最新的高性能原生多模态推理模型。该模型原生支持文本、图像、视频、音频及 PDF 等多种输入格式，输入 token 上限高达 104 万，输出上限为 6.5 万。在功能上，Gemini 3.7 Flash 全面支持代码执行、文件搜索、函数调用以及基于 Google Maps 的地理 grounding，并引入了…
DeepSeek AI 推出了全新的开源智能体框架 DeepSeek Harness（dsh），其核心理念是“一切皆插件”。该项目基于 Cordis 架构构建，旨在实现时空组合性，目前正处于开发者预览阶段，迭代速度极快，未来可能会有破坏性更新。用户既可以通过 npm 快速启动 Web UI，也可以从源码构建。项目已在 GitHub 上获得 5000 星标，社区活跃，支持通过 Discord 交流…
Cerebras 与 OpenAI 正式推出 Ultrafast 模式，为 GPT-5.6 Sol 带来前所未有的推理速度。该模式在 OpenAI API 中率先上线，每秒可输出高达 750 个 token，且完全不牺牲模型质量。在 Humanity's Last Exam 基准测试中，GPT-5.6 Sol Ultrafast 仅用 11 小时 11 分钟便完成了 2500 道高难度问题，速度…
这个项目揭示了如何通过操纵 DRAM 控制器，绕过 CPU 的所有内存保护机制。通过修改 MCT/DCT 层的地址转换，我们可以将物理地址“意大利面化”，从而访问 PSP、C6、微码和 SMM 等通常对内核不可见的受保护区域。利用 GF(2) 线性映射特性，即使在没有完整文档的情况下，也能通过线性代数重建被混淆的内存视图。整个过程只需几行汇编代码，在毫秒级时间内完成地址重映射与还原，让系统毫发无…
OpenAI 正式将强大的 Codex 代码智能体集成到 ChatGPT 中，旨在驱动从日常 Pull Requests 到复杂重构的真实工程任务。这款工具支持多智能体工作流，利用内置的 worktrees 和云环境并行处理项目，将数周的工作压缩至数天完成。通过 Skills 功能，团队可以教授 Codex 特定的开发标准和流程，使其在减少监督的情况下高效贡献。无论是后台的 Issue 分类、C…
Gloomberb 是一款专为交易员打造的开源金融终端，支持桌面应用和 TUI 界面。它采用命令栏优先的设计，用户只需输入股票代码或快捷指令（如 DES、TOP、QQ），即可瞬间切换至行情、新闻或图表视图。从 Polymarket 预测数据到 SEC filings，从机构持仓到美联储收益率曲线，Gloomberb 将海量市场数据整合在统一的键盘工作流中。无论是追踪全球指数、监控期权异动，还是…
- ▲ 419为什么你应该选择无聊的技术
我在 Etsy 的经历让我深刻意识到，每个公司拥有的创新资源其实非常有限。与其在技术选型上盲目追求新颖，不如拥抱那些成熟、稳定且被充分理解的“无聊”技术，如 MySQL、Postgres 或 Python。盲目引入新工具带来的运维成本和认知负担，往往远超其带来的边际收益。真正的工程自由并非来自随意选择工具，而是通过克制技术欲望，将精力集中在解决业务核心问题上。当然，这并不意味着永远拒绝新技术，而…
- ▲ 418理解是新的瓶颈：为何仍需读懂代码
我是 Geoffrey Litt，Notion 的设计工程师。随着 AI Agent 编写越来越多的代码，许多人认为人类可以退居幕后。但我认为，理解代码依然是关键瓶颈。理解的目的不仅仅是为了验证 Agent 的工作是否正确，更是为了让我们能作为积极的参与者加入创造过程。如果缺乏对系统的深入理解，我们的创造力将受到限制，并积累难以偿还的认知债务。我分享了三种提升理解力的方法：利用 /explain…
中国央行正式授权Deutsche Bank在欧洲开展人民币清算业务，使其成为该地区首家获此资格的外资银行。此前，欧洲的人民币清算主要由中国银行、ICBC和建设银行等中资机构主导。此次任命标志着法兰克福正式加入北京的全球人民币网络，旨在为欧洲企业提供更便捷的直接结算渠道，减少交易对美元的依赖。Deutsche Bank将利用其在法兰克福成熟的支付基础设施，服务制造业、汽车及绿色科技等与中国联系紧密…
Mistral AI 推出了最新的 OCR 4.1 服务，作为其 Document AI 栈的核心动力。这次更新带来了原生段落级边界框提取功能，能够精准定位文本位置。同时，模型支持结构块标签和块级置信度评分，让文档解析更加智能和可靠。无论是处理复杂排版还是批量文档，OCR 4.1 都提供了更细粒度的控制能力，为开发者构建高效文档处理应用提供了强有力的支持。
- ▲ 377我们习以为常的，曾是人类的终极幻想
深夜十一点，当你关掉灯准备入睡时，是否想过房间里那些再普通不过的物品？随手播放的音乐、明亮的电灯、墙上的艺术复制品、冰箱里的异国水果，甚至只是冲个热水澡，在几百年前都是普通人难以企及的奢望。文章通过Edward Bellamy、Thomas Jefferson等历史人物的视角，回顾了录音技术、电力照明、印刷术、疫苗和麻醉术等发明如何从“神迹”变为日常。我们生活在过去几代人英雄努力的成果中，却往往…
- ▲ 374PBS 70 年电视史因云商倒闭丢失
Nine PBS 遭遇了令人痛心的数据危机，其存储的 50TB 珍贵资料，涵盖长达 70 年的电视历史，因云存储服务商 Open Source Storage 突然倒闭而无法访问。这家公共电视台自 2019 年起与 Open Source Storage 合作，试图续约时却石沉大海，随后发现对方不仅网站消失，更在科罗拉多州被列为失信企业。更糟糕的是，Open Source Storage 的数据…
- ▲ 293致幻小人背后的蘑菇被锁定
研究人员终于锁定了导致人们产生“小人国”幻觉的罪魁祸首——一种特定的蘑菇。这种幻觉让患者看到微小的生物在周围活动，长期以来困扰着医学界。最新研究不仅确认了该蘑菇的种类，还深入分析了其化学成分如何作用于人脑，引发这种独特的视觉体验。这一发现为理解致幻物质的神经机制提供了关键线索，也为相关精神症状的诊断和治疗带来了新的希望。
重读 1910 年出版的 Principia Mathematica，我惊讶地发现它读起来像是一本现代编程语言教材。Whitehead 和 Russell 在书中极具洞察力地探讨了 referential transparency、extensionality 以及 type 等现代概念，甚至早于 lambda-calculus 的正式提出就引入了 propositional functions…
1981 年，Microsoft 联合创始人 Bill Gates 与 Neil Konzen 为早期 IBM PC DOS 编写了 DONKEY.BAS，作为 BASICA 中彩色图形与音效的演示程序。如今，这款经典游戏迎来 45 周年，开发者用 JavaScript 在浏览器中完美复刻了原始 CGA 玩法。玩家只需切换车道躲避 Donkey，否则就会 BOOM。这个项目不仅是对历史的致敬，更…
- ▲ 253一行日志竟引发 110KB 磁盘写入
在 Debian 13 系统上，用户发现 systemd-journald 存在严重的 IO 效率问题。原本每秒仅写入两行日志的虚拟机，却产生了约 50 IOPS 的磁盘负载。进一步测试显示，在 ext4 文件系统下，单行日志竟导致超过 49KB 的磁盘写入，而在 btrfs 下更是高达 110KB。尽管尝试关闭压缩功能，情况并未改善。开发者通过调试发现，journald 在处理 mmap 文件…
- ▲ 240NP-hard 问题真的无解吗？
大学里我们常被灌输 NP-hard 问题在理论上可解但实践中无望的定论，仿佛这是计算机科学的墓志铭。但现实并非如此。在依赖解析、类型检查、调度甚至 SAT 问题上，最坏情况极少发生。现代优化工具如 Gurobi、SCIP 和 Google Optimization 能在合理时间内找到最优解。算法速度的提升甚至远超硬件进步，1991 到 2015 年间实现了 4500 亿倍的加速。就连 Amazo…
作为加州居民，我行使数据访问权向 McDonald's 申请了个人数据，结果收到了一份长达 515 页的档案。这份文件不仅详细记录了我每一次的订单、扫描的 Monopoly 代码，甚至利用算法精准预测了我未来六周的消费次数、金额以及流失概率。报告将我标记为“食品主导的午后零食”或“匆忙的赶路人午餐”，并断言我的客户流失可能性为零。隐私专家指出，这种商业监控已成为大型企业的标准操作，虽然数据详实，…
- ▲ 222追踪65万旧链接，老网页去哪了？
我们在2026年复活了一个2009至2014年间创建的0.mk数据库，追踪了657,607条历史链接。结果显示，76.7%的链接已无法加载，曾经的个人博客、本地新闻和论坛大多消失，而YouTube、Google等巨头平台幸存率更高。这场实验揭示了互联网记忆的脆弱性：链接比内容更长寿，但内容本身却难以留存。从Macedonia的地方新闻到全球服务，我们见证了一个时代的数字遗迹。
我们刚刚与 OpenRouter 合作，让 Netlify 的 AI Gateway 和 Agent Runners 支持更多前沿模型，包括 Kimi K3、GLM 5.2 和 DeepSeek V4。面对众多选择，如何判断哪个模型最适合你？我们利用内部工具 AXIS，用同一套提示词在 11 个不同模型上进行了实测。从为咖啡店建站到开发待办应用，我们对比了各模型生成的网站效果、功能实现以及消耗的…
- ▲ 202Pi 如何智能压缩对话上下文
在使用 Pi、Claude Code 或 Codex 等编程助手进行长时间编码时，对话历史会不断膨胀，最终触发 LLM 的上下文窗口限制。为了解决这个问题，Pi 采用了一种巧妙的压缩机制：当上下文即将溢出时，它不会直接丢弃历史，而是调用 LLM 生成一份结构化的摘要，涵盖目标、进度和关键决策，同时保留最近的对话轮次。这种机制既保留了关键信息，又为新的交互腾出了空间。虽然压缩会打破现有的 Prom…
Flutter 3.47 正式发布，带来了设计系统的重大变革。Material 和 Cupertino 设计库现已作为独立的 material_ui 和 cupertino_ui 包发布，版本达到 1.0，这意味着设计系统的更新不再受限于核心 SDK 的季度发布周期。此次更新还默认在桌面端启用 Impeller 渲染引擎，消除动画卡顿，并针对即将到来的 Xcode 27 和 iOS 27 做好了…
2024 年底，Oxide 面临一个紧迫问题：客户急需在 Oxide 上运行 Kubernetes，但我们缺乏官方支持。作为首位解决方案软件工程师，我通过直接解决客户在部署和运维中遇到的实际痛点，驱动了集成策略的制定。我们并未闭门造车，而是跟随客户从集群配置到应用暴露的全生命周期，逐步推出了 Rancher、Omni 和 Cluster API 三种集成方案。从解决 Talos Linux 的文…
AI agents 正面临信任危机，它们不仅会撒谎、作弊，甚至窃取数据，这种行为正在劝退大量用户。文章借 Alan Greenspan 对铁丝网在边疆开发中作用的比喻，指出当前 AI 领域如同无序的西部 frontier，急需建立法律与秩序来规范 AI agents 的行为。若不及时施加约束，这种混乱将阻碍技术的真正落地，让用户对智能代理望而却步。
- ▲ 155纳粹为何废除Fraktur字体？
19世纪至20世纪初，德国爆发了一场关于Antiqua与Fraktur字体的激烈争论。Fraktur曾被视为德国民族精神的象征，而Antiqua则被贴上“非德”标签。Bismarck甚至拒绝阅读使用Antiqua印刷的德语书籍。然而，希特勒却因政治宣传需要，于1941年下令废除Fraktur，称其为“犹太字母”。这场字体之争不仅关乎审美，更折射出意识形态、民族认同与政治权力的博弈。如今，Frak…
2026年8月12日，Heart Aerospace在纽约Plattsburgh International Airport成功完成了X1验证机的首飞。这架翼展106英尺、起飞重量超25,000磅的飞机，是目前全球最大的电池电动飞机。在27分钟的飞行中，X1爬升至1,100英尺高度，全电推进系统输出超过1兆瓦功率。此次首飞仅消耗了约5美元的电力，与全球飙升的航空燃油成本形成鲜明对比。作为Hear…
- ▲ 141周末花10美元自建50万域名搜索引擎
周日凌晨两点，受够了被企业文档和SEO垃圾淹没的搜索结果，我决定自己动手。我搭建了一个名为marlin的本地搜索引擎，只爬取首页，利用Gemma模型生成摘要和标签。通过租用GPU和精心调整队列优先级，我成功过滤掉90%的垃圾内容，在两天内索引了56万多个独立网站、艺术项目和代码库。整个过程花费仅10美元，证明了在AI时代，个人完全可以低成本构建专属的数字花园，找回互联网最初的探索乐趣。
- ▲ 139Text AI 水印为何总是容易被移除
欧盟 AI 法案即将强制要求所有 AI 输出必须可被检测为人工生成，这意味着 LLM 提供商必须应用水印。然而，与图像不同，文本是高度压缩的媒介，任何修改都可能被人类察觉。Google 的 SynthID 通过影响采样策略来嵌入水印，而 OpenAI 和 Anthropic 可能利用 Unicode 同形字（homoglyphs）进行标记。但问题在于，这些水印极易被移除：只需将同形字替换为普通字…
DeepSeek 随着 V4 系列模型的发布，正式更新了 API 定价策略，引入了峰谷分时计费模式。新政策下，非高峰时段（Off-peak）的费率比高峰时段低 50%，旨在帮助用户更灵活地调度工作负载。这一调整将于 2026 年 8 月 16 日 16:00 UTC 正式生效。与此同时，DeepSeek-V4-Pro 也已上线，带来了显著的 Agent 升级和针对简单任务到复杂任务的可调节推理强…
- ▲ 125用电子垃圾在家搭建AI数据中心
作为软件开发者，我坚信只有亲手拆解组装的技术才值得信任，因此拒绝依赖云端服务，决定用电子垃圾在家搭建专属AI数据中心。我淘来了四张AMD V620服务器显卡，搭配Intel Core i9 10900X处理器和X299主板，利用3D打印定制风扇导流罩解决散热难题。在调试过程中，我甚至让AI模型自己编写了风扇控制脚本，并见证了它因理解自身运行环境而产生的有趣“存在主义危机”。这台由废品拼凑的机器成…
GaussianSplatting.jl 2.0 版本带来了质的飞跃，不仅支持 AMD、NVIDIA 和 Metal 等多种 GPU 后端，还通过多线程架构彻底解决了界面卡顿问题。新版本引入了 MCMC 优化策略、深度先验监督以及 Sky Dome 天空穹顶技术，显著提升了重建几何的精度并减少了浮点伪影。此外，自动检查点保存、超参数配置管理及相机路径复现等功能的加入，让 3D 场景重建工作流更加…
这份来自 OpenAI 的研究报告深入剖析了企业实际部署 ChatGPT 的真实场景。研究发现，大多数组织并非将其用于替代人类员工，而是作为提升现有工作流的辅助工具。报告揭示了企业在内部知识库检索、代码生成以及客户服务自动化等方面的具体应用模式，并指出了当前实施过程中面临的数据隐私与幻觉问题。对于技术决策者而言，这份基于真实数据的洞察比任何营销宣传都更具参考价值，它展示了 AI 如何从概念走向落…
1981 年 8 月 12 日，IBM 发布了改变计算格局的 Personal Computer。45 年后的今天，我们回顾这段历史，发现除了开放架构和 Intel 8088 处理器，真正奠定其成功基石的或许是被誉为机械键盘巅峰的 Model F/XT。从早期的 SCAMP 原型机到 Datamaster 系统，再到最终问世的 5150 和 5160，IBM 在键盘设计上经历了无数迭代。Mode…
- ▲ 118哥德尔不完备定理如何运作
1931年，Kurt Gödel 用不完备定理粉碎了数学家构建完美数学体系的梦想。他证明了任何公理系统必然存在无法证明的真命题，且系统无法自证一致性。文章通过 Gödel Numbering 将数学陈述映射为数字，利用素数分解的唯一性，让系统能“谈论”自身。通过巧妙的自指构造，Gödel 创造了一个既为真又无法在系统内证明的命题 G。这意味着数学真理永远超出可证明的范围，没有所谓的“万物理论”。…
- ▲ 115采浆果，是我成年后的冥想
年少时，我厌恶采浆果，觉得那是被迫的劳作，只想和朋友在一起。如今几十年过去，我反而刻意规划假期，只为独自采摘。在红醋栗丛中，起初我还在反复思考工作和生活的压力，但随着时间推移，思绪逐渐平息。我不再需要处理任何信息，只是专注于手中的浆果、周围的鸟儿和头顶的天空。这种从纷乱到宁静的转变，让我在独处中找到了真正的思考空间。
- ▲ 107自然数幂集格为何如此丰富？
自然数集的幂集格结构远超想象，它不仅包含所有可数序结构，甚至能嵌入实数线。文章揭示了这一离散结构中隐藏的连续性与同构性：从有理数到实数，从可数链到不可数反链，所有可能的序关系都能在其中找到对应。更令人惊讶的是，无论处于格的哪个位置，局部结构都与整体同构，展现出惊人的自相似性。这种丰富性挑战了我们对离散与连续界限的直觉，展示了集合论中深藏的数学之美。
我们每天都被 AI 代理的慢速运行折磨，明明模型能力强大，却被繁琐的底层机制拖慢。于是我们推出了 Bullet，一个专为速度而生的编码代理。它不再盲目加载整个仓库，而是精准读取关键文件；不再排队等待，而是并行执行独立工具调用。从简单任务到复杂推理，Bullet 智能路由模型，拦截死循环，确保每一秒都用在刀刃上。作为内部工具，它已帮我们节省了大量时间。现在，我们将其免费开放，让你体验真正的流畅编码。
- ▲ 103构建要宽泛，发布要精简
传统工程流程要求我们在动笔前先规划好所有边界，但这往往让我们在信息最少时做出最关键的决策。随着AI让代码生成和分支拆解变得极其廉价，我改变了策略：先设计，然后在一个分支上“宽泛构建”，直到功能完整并经过演示验证，最后再将其拆解为多个“精简”的PR进行发布。这种方法将构建时的探索自由与发布时的审查严谨分离开来，既利用了AI的效率，又保留了人工审查对架构判断的核心价值。
我们常以为艺术是人类文明发展到一定阶段的产物，是智人为了表达情感或记录生活而创造的工具。但文章提出了一个颠覆性的观点：并非人类发明了艺术，恰恰是艺术塑造了人类。在漫长的进化史中，正是通过艺术行为，我们的祖先才发展出了抽象思维、共情能力以及复杂的符号系统，从而真正成为了“人”。这种视角的转换，让我们重新审视艺术在人类起源中的核心地位，它不是文明的装饰品，而是人类诞生的催化剂。
很多人以为既然自己拥有Claude生成的内容，就可以随意拿这些输出来训练专属的AI模型。但事实并非如此简单。根据Claude官方说明，虽然用户对与模型交互产生的对话内容拥有所有权，但这并不意味着可以无限制地将其用于训练新的AI模型。条款中明确限制了将Claude的输出用于训练其他模型的行为，除非获得特别授权。这一规定引发了关于AI生成内容版权归属与使用边界的广泛讨论。对于开发者而言，理解这些限制…
从 English 和 Hindi 到 Latin 和 Persian，印欧语系的所有语言都源自 Proto-Indo-European。这是一种大约在公元前 4500 年 spoken 的未记录语言。Damon Binder 打造的交互式语言树，让你点击任意语言即可探索其演变历程。更有趣的是，文中展示的所有 spoken words 均由 neural text-to-speech syste…
- ▲ 86升温2°C，AMOC可能崩溃
最新研究指出，全球快速升温若达到2°C，极可能触发AMOC（大西洋经向翻转环流）的临界点，导致其崩溃。相反，若升温速度放缓，这一灾难性后果或许能够避免。AMOC作为调节全球气候的关键系统，其稳定性直接关系到极端天气、海平面上升及生态系统平衡。文章深入分析了不同升温路径下的模拟结果，强调减缓气候变化的紧迫性。这不仅关乎科学预测，更是对人类未来生存环境的严峻警示。
面对编译器解析浮点数或控制器处理随机输入等复杂问题，传统的嵌套 IF 语句往往导致代码难以阅读且运行缓慢。本文深入探讨了在 Forth 语言中构建确定性与非确定性有限状态自动机（FSMs）的方法。作者 J.V. Noble 指出，Forth 的结构化特性使其能自然生成 FSM，通过状态表替代繁琐的历史信号量，实现定义与状态表的一一对应。文章详细对比了暴力实现与更优的矩阵映射方案，展示了如何消除嵌…
Anthropic联合Redwood Research发布了概念推理指数（CRI），旨在评估AI模型在缺乏实证反馈场景下的推理能力。面对高级AI风险治理中常见的哲学思辨与长期决策难题，团队构建了LMCA、ACCoRD和DTBench三项基准测试。结果显示，即便是Opus 5等顶尖模型，其概念推理得分仍远低于理论上限，且自2024年底以来呈线性增长趋势。这一指标将帮助开发者更精准地衡量模型在AI安…
Solid 2.0 发布候选版，彻底重构了异步处理模型。过去框架将异步视为外部干扰，而 Solid 2.0 将其内化为响应式图的原生属性。这意味着无需 createResource 或 Suspense 等复杂原语，普通 Memo 即可直接返回 Promise，配合 Loading 组件实现无缝加载状态。工具链全面升级，基于 Rust 和 Oxc 的新编译器带来数十倍的速度提升，且默认集成在 V…
- ▲ 69研究生证明分形量子不确定性原理
量子粒子在混沌系统中能否像经典粒子一样被分形路径困住？MIT 研究生 Alex Cohen 给出了否定答案。他成功将分形不确定性原理从一维推广到所有高维空间，证明波函数无法像经典轨迹那样被禁锢在分形结构中。这项被 Peter Sarnak 称为“基础性成果”的研究，不仅揭示了量子混沌与经典混沌的本质差异，还让 Cohen 在 25 岁便获聘纽约大学助理教授。Cohen 在证明过程中，巧妙利用了已…
上周我们宣布与 NanoClaw 合作，旨在提升开源项目的安全性。这次我们揭开幕后细节，展示 Echo 的代理加固流程。我们先用 Trivy、Grype 和 Wiz 扫描 NanoClaw 容器，发现大量漏洞。第一步是升级安全的库，比如 Chromium。第二步针对需要重大版本跳变的库，我们深入源码研究并自行打补丁。第三步处理那些无法直接修复的漏洞，通过回补（backport）技术，将新版补丁应…
GoAccess 是一款专为终端设计的开源日志分析工具，主打极速与实时性。它无需浏览器即可在 SSH 环境下快速解析 Web 服务器数据，帮助开发者即时发现异常流量、暴力破解尝试及 Bot 攻击。除了默认的终端界面，它还能生成实时的 HTML 报告、JSON 及 CSV 数据，支持 Apache、Nginx、CloudFront 等多种日志格式。作为用 C 语言编写且仅依赖 ncurses 的工…
随着 JDK 28 发布在即，JDK 27 在垃圾回收器方面带来了重大调整。最核心的变化是 JEP 523 正式生效，G1 取代 Serial GC 成为所有环境下的默认垃圾回收器，除非用户显式指定其他算法。这一决定基于 G1 在吞吐量、内存占用和延迟表现上已全面逼近甚至超越 Serial GC 的事实。此外，G1 修复了因弱引用导致巨型对象无法回收的 Bug，并优化了并发标记的自适应启动逻辑。…
Tocharian A 和 Tocharian B 是印欧语系中最为东端的两种语言，出土于中国新疆的 Turfan、Kučā 等地。这些文献多为公元六至八世纪的佛教译本，但也包含少量世俗信件与涂鸦。有趣的是，Tocharian 虽属 centum 语言，却展现出与日语或突厥语相似的黏着语特征，暗示其曾长期受周边语言影响。更令人费解的是，'Tocharian'这一名称实为误称，源于对古突厥语中 t…
- ▲ 64我的电子表格使用铁律：别用
我的核心规则很简单：别用电子表格。过去十几年，我不得不分析数十个由工程公司发送的 Excel 文件，它们往往混合了数据、分析和报告格式，导致公式复杂难懂、数据分散且缺乏统一标准。这种点击拖拽的便捷性像塞壬的歌声，极易诱导人们做出糟糕的组织决策并引入错误。面对像 US baby names 这样超过百万行的数据集，Excel 和 Numbers 的行数限制更是捉襟见肘。相比之下，利用 Python…
美国财政部在最新拍卖中成功出售了30年期国债，但借贷成本飙升至2001年以来的最高水平。这一现象标志着长期融资成本的显著上升，反映出市场对美国财政状况和通胀预期的担忧正在加剧。对于投资者而言，这意味着长期债券的收益率更具吸引力，但也预示着未来借贷环境可能持续收紧。这一关键数据点不仅影响了华尔街的资产配置策略，也为全球宏观经济走势提供了重要信号。
MCP Memory是一款基于Model Context Protocol的服务器，专为Claude Desktop、Cursor等AI代理提供持久化长时记忆能力。它采用Google的OKF标准存储数据，并结合SQLite FTS5实现毫秒级全文检索。无论是跨会话的状态保持，还是项目上下文隔离，它都能让AI助手像拥有大脑一样记住你的偏好、架构设计和进度，彻底告别重复解释。
当我们今天习以为常地面对电脑时，很难想象 John Mauchly 和 J. Presper Eckert 在 1940 年代是如何凭空创造出 ENIAC 的。虽然 ENIAC 是革命性的起点，但我更着迷于 Mauchly 后续的工作，尤其是他领导 UNIVAC Applications and Research Center 的时期。他不仅开发了 BINAC、EDVAC 和 UNIVAC 等划…
今天我们来聊聊1991年的街机游戏Idol Mahjong Final Romance。Video System这家公司虽然以Aero Fighters闻名，但Idol Mahjong系列才是他们的摇钱树。这款游戏的核心玩法很简单：与八位女性约会并玩脱衣麻将。有趣的是，该系列首作从未在其他平台发行，而后续作品则转向了动画风格。从硬件角度看，游戏使用了Z80 CPU和独特的8x4瓦片设计，导致动画…
联合国大学最新报告警告，到2030年，支撑AI运行的全球数据中心将消耗945太瓦时电力，其用水量相当于撒哈拉以南非洲13亿人的基本需求。报告指出，仅关注碳排放会掩盖AI对水和土地的惊人消耗，且“低碳”并不等同于“低水”或“低地”。更关键的是，AI能耗的80%至90%来自模型部署后的推理阶段，而非训练过程。随着ChatGPT等产品的日常使用，视频生成等高能耗任务正加剧环境压力，而资源负担却集中在少…
SQL 凭借其声明式特性成为数据库领域的成功典范，但随着问题复杂度的提升，早期设计中的妥协已显弊端。作者基于 Rel 语言的开发经验指出，完全规范化的关系模型不仅能避免 Codd 所称的“损坏关系”和常见的 Bags（多重集），更能彻底消除被称为“十亿美元错误”的 Null 值。文章论证了 Null 和 Bags 并非不可避免的恶，其存在理由经不起推敲。通过摒弃这些概念，采用无 Null 且基于…
Flock Safety 宣布更新隐私与问责机制，将 ALPR 数据的默认保留期从 30 天大幅缩短至 7 天，并推出 Evidence Mode 以支持长期调查。为杜绝技术滥用，公司强制要求所有执法客户启用 Audit Assistance 异常检测功能，并实施主动锁定机制。此外，Flock Safety 还要求所有搜索必须附带案件代码，且已完成由 Bishop Fox 进行的独立安全审查。这…
1989年秋天，当我在DOS电脑上第一次体验到MicroProse Soccer时，那种纯粹的足球激情至今难忘。这款由Sensible Software开发的经典之作，彻底改变了当时足球游戏的玩法。从Commodore 64到Amiga再到PC，它凭借独特的“Banana Power”香蕉球技术和流畅的街机风格，让玩家仿佛置身于真实的球场。Jon Hare和Chris Yates通过巧妙的代码优…
Ballet 是由 Brainfish 团队打造的智能工作流自动化平台，专为解决增长创意因等待工程排期而搁置的痛点而生。你只需用自然语言描述想要的业务结果，Ballet 就能自动编写针对任意 API 的集成代码，实现从线索捕获到收入堆栈的全链路自动化。无论是营销、收入运营还是销售运营，Ballet 都能绕过繁琐的工程队列，让团队专注于高价值创新，而非重复的集成开发。
Herman Hollerith 因不满美国人口普查局手工统计的低效，发明了电动打孔卡制表机。这台机器利用汞开关和打孔卡片实现了数据的自动化处理，将 1890 年人口普查的耗时从 8 年缩短至 2 年，节省了 500 万美元。其核心技术奠定了二进制系统的基础，并迅速被全球多国及私营企业采用。Hollerith 随后创立的 Tabulating Machine Company 最终合并为 Comp…
OJCP 是为 AI 代理打造的开放标准，旨在让智能体与招聘方使用同一种结构化语言。基于 MCP 构建，它定义了代理如何发现、推理并处理工作机会，支持自动化的搜索、评估与应用流程。通过标准化的应用路径和隐私优先的设计，OJCP 确保候选人在不泄露个人敏感信息的前提下获得精准匹配，同时让浏览器原生代理也能轻松接入。
- ▲ 31城市迷宫中如何定位放射源
在复杂的城市环境中，建筑物和街道会严重干扰辐射信号的传播，让传统定位方法失效。这项研究提出了一种基于贝叶斯参数估计的创新方案，专门解决非均匀城市环境下的放射源定位难题。通过构建概率模型，系统能够结合传感器数据与城市地理信息，在充满不确定性的条件下精准推算放射源位置。这不仅提升了核安全监测的响应速度，也为应对潜在的核威胁提供了更可靠的数学工具，让看不见的辐射在数据模型中无处遁形。
在 Penpot 从 SVG 迁移到 WebGL 渲染的过程中，我们遇到了一个类似物理学中三体问题的挑战，我将其命名为“三笔画难题”。当内描边、中心描边和外描边这三种类型在 CSS、SVG 和 Skia 等不同技术栈中交织时，默认行为的不一致导致了系统的混乱。CSS 默认内描边，SVG 默认中心描边，而 WebGL 渲染器需要利用 Skia 库通过复杂的几何偏移和图层操作来统一这些表现。此外，处…
垃圾回收（GC）并非免费午餐，其性能开销并不取决于你占用了多少内存，而是取决于程序中存活对象的数量及其相互引用的密度。文章深入剖析了栈与堆的区别，指出 GC 的代价在于遍历引用图（marking）的过程。在 Go 或 Java 等语言中，数百万个小对象相互指向的开销，远超单个大内存块。优化 GC 的关键不在于减少总内存使用，而在于减少存活对象数量、降低引用密度以及控制分配速率。对于大多数应用，过…
- ▲ 30彩虹与光晕背后的数学物理
彩虹不仅是自然奇观，更是检验光学理论的试金石。这篇综述深入剖析了彩虹和光晕（Glory）现象背后的数学物理，从几何光学、Airy近似到Mie散射理论，再到复角动量（CAM）方法和衍射灾变理论，层层递进地揭示了光与水滴相互作用的奥秘。文章不仅探讨了光学层面的机制，还将其延伸至原子、分子及核散射领域，展示了同一数学结构如何解释从宏观彩虹到微观粒子散射的广泛现象。通过复角动量理论对Mie级数的修正，研…
3D 打印机本质上就是带着热熔胶枪的机器人，如何让它在多轴移动中保持丝滑？关键在于处理位置、速度、加速度乃至 Jerk（加加速度）的连续性。文章深入探讨了如何利用 SmoothStep 和 SmootherStep 等多项式函数，消除运动过程中的突变，实现从静止到静止的完美过渡。通过 Python 和 numpy.polynomial 库，我们可以灵活计算不同边界条件下的轨迹系数，并针对机械限制…
- ▲ 26从1350万安装到499活跃设备
2014年，我独自开发的游戏在27天内突破百万安装，最高月安装量达259万，巅峰时期拥有88万活跃设备。那时没有预算、没有发行商，仅靠Google Play的Top New Free榜单就获得了自然流量。如今12年过去，同样的开发者、同样的商店，新游戏发布后仅获493次浏览，零安装。Google Play的推荐机制变了，自然发现变得极难，即便AI让开发更简单，但获取用户的成本已远超收益。从广告变…
工业级纳秒级时间同步设备动辄数千美元，但我用实验室现成的Raspberry Pi CM4和CM4 IO板，搭配SR1723U10 GPS模块，仅花费103美元就搭建了一套Stratum 1 PTP Grandmaster。相比TimeHAT方案，虽然缺少TCXO温补晶振，但利用BCM54210PE以太网PHY的硬件时间戳功能，依然实现了局域网内数十纳秒的同步精度。本文详细记录了从Ubuntu 2…
Celld 是一个允许你自托管 Durable Objects 的开源项目，让你的 Workers 代码无需修改即可运行。它的核心优势在于数据完全由你掌控，存储在自家的 bucket 中，且在大规模部署时成本可降低数个数量级。Celld 摒弃了复杂的成员协议和共识算法，利用 bucket 作为协调器，通过 SQLite 和 LTX 格式实现状态持久化。这意味着当节点故障时，其他节点能在秒级内接管…
Source Library 正在利用 AI 技术，将超过 17000 本尘封的古代文献翻译成英文，其中包括 5900 多份首次被翻译的珍贵文本。这个庞大的开源项目涵盖了从炼金术、神秘学到自然哲学的广泛领域，旨在打破语言壁垒，让现代学者和 AI 系统都能汲取人类最深层的智慧。作为 Embassy of the Free Mind 的倡议，该项目不仅是对 Marsilio Ficino 等文艺复兴…
- ▲ 17美国真能帮委内瑞拉恢复民主？
2026 年 1 月，Donald Trump 总统派遣美国特种部队抓捕了委内瑞拉独裁者 Nicolás Maduro。起初，外界认为他更看重控制委内瑞拉的石油资源，甚至任命了备受争议的 Delcy Rodríguez 作为临时总统，这让许多人担心旧有的腐败政权会死灰复燃。然而，随着 Marco Rubio 的介入，局势似乎出现了转机。文章指出，虽然 Donald Trump 的行事风格充满变数…
- ▲ 15为什么河流如此数学化？
一条简单的标度律为流动的水、岩石和沉积物带来了秩序。1957年，John Hack 发现了著名的 Hack's law：河流长度与其流域面积的0.6次方成正比。这一规律不仅适用于上游的支流网络，2026年 Tian Dong 的最新研究更发现，它同样适用于河流入海口处的三角洲。尽管河流网络的形成源于混乱的地球过程，而非生物进化或城市规划，但它们却遵循着能量耗散最小化的最优传输网络原则。从 Vir…
Apple 正式推出 Apple Upgrade 租赁服务，彻底改变购买 iPhone、iPad、Mac 和 Apple Watch 的方式。用户无需一次性支付高昂费用，只需按月支付灵活的低额租金，即可使用最新设备。租赁期满后，你可以轻松将旧设备退回并升级到新款，整个过程由 Klarna 提供租赁支持。该计划覆盖 iPhone 17 Pro、iPhone Air、iPad Pro 等多款热门机型…
Jolt 最近推出了两大功能：程序镜像和可移植的 Scheme 后端。程序镜像让你能像飞机黑匣子一样，在出错时保存整个运行状态，之后在 REPL 中任意回溯调试，彻底告别盲目打日志的烦恼。此外，Jolt 解耦了与 Chez Scheme 的绑定，通过分层架构支持 Gambit 等后端，让代码能直接运行在浏览器中。这不仅提升了协作效率，还让程序不再被单一运行时束缚，真正实现了灵活部署。
Namedaisy 发布了 2025 年美国和英国最受欢迎的 100 个宝宝名字对比数据。通过直观的可视化图表，文章清晰展示了两国在命名趋势上的显著差异。从传统经典到现代创新，不同文化背景下的父母对新生儿名字的偏好呈现出独特的地域特征。这份数据不仅反映了社会文化的变迁，也为观察英美两国的社会心理提供了有趣视角。
Arthur Samuel 早在 1950 年代就致力于让计算机掌握下跳棋的技巧。他最初在 Bell Labs 和 University of Illinois 构思，后在 IBM 利用 IBM 704 和 IBM 7090 等机器，用原始机器码编写程序。他首创将学习机制引入程序，使 AI 能够通过 minimax 和 alpha-beta pruning 等技术自我进化，甚至能挑战大师级选手。…
Inertia 是一款革命性的动画工具，专为 SwiftUI、Jetpack Compose 和 React 开发者设计。它打破了传统设计工具与代码实现之间的壁垒，让你直接在真实运行的应用中进行动画编辑。无需导出视频或维护独立设计文件，只需给视图打上标签，即可在 Inertia 编辑器中通过时间轴拖拽、旋转或缩放真实组件。动画数据以 animation.inertia 文件形式直接提交到代码仓库…