HN Digest 2026-10-07 · Claude Haiku 5.5 发布：更便宜更快
- Claude Haiku 5.5 发布：更便宜更快 — ▲ 631 · 💬 318 · 🔗 anthropic.com
Anthropic 正式推出 Claude Haiku 5.5，这是其迄今最廉价、最快且能力最强的小型模型。该模型专为高吞吐量、对成本敏感的任务设计，平均运行成本较前代降低约 75%。在保持速度的同时，Haiku 5.5 在代码辅助、实时客服及浏览器操作等场景表现优异，并首次引入可调节的 effort 设置，让用户在成本与智能间灵活权衡。此外，Sonnet 5.5 的缓存读取价格减半，Max 和 Team 订阅用户还将获得新的月度 API 额度，进一步降低开发门槛。 - Chrome 155 正式支持 JPEG XL 解码 — ▲ 472 · 💬 304 · 🔗 developer.chrome.com
我们很高兴宣布，Chrome 155 版本已正式推出对 JPEG XL 格式的解码支持。作为下一代图像格式，JPEG XL 在压缩效率、无损压缩及 HDR 支持方面表现卓越，比传统 JPEG 提升 30-50%。为了确保浏览器安全，我们使用 Rust 语言重写了解码器 jxl-rs，在消除内存安全隐患的同时，通过 SIMD 优化保持了顶尖性能。这一决策源于开发者社区在 Interop Project 中的持续反馈。现在，我们鼓励开发者将 .jxl 格式纳入工作流，共同构建更快、更安全的 Web 体验。 - Visa与Mastercard面临反垄断诉讼 — ▲ 466 · 💬 324 · 🔗 classaction.org
Visa、Mastercard以及多家大型银行正面临新一轮集体诉讼，指控其向商户收取的信用卡交易费用具有反竞争性质。这场法律纠纷直指支付行业的核心收费模式，原告方认为这些费用人为抬高了商户成本，阻碍了市场竞争。如果诉讼成立，不仅可能迫使支付巨头重新审视其定价策略，还可能引发整个金融支付生态系统的连锁反应。对于依赖刷卡支付的商家而言，这或许意味着未来交易成本的降低；而对于Visa和Mastercard等巨头来说，这则是一场关乎商业模式合法性的严峻考验。 - GPT-6 推出 Intelligent UI，软件开始适应人 — ▲ 466 · 💬 236 · 🔗 openai.com
OpenAI 宣布将 GPT-6 模型推向全球，覆盖每周超过 12 亿 ChatGPT 用户。此次更新的核心是 Intelligent UI，它让 ChatGPT 不再局限于纯文本回复，而是能根据问题自动生成包含图表、按钮和表单的交互式界面。无论是规划周日烤肉的菜单与时间表，还是构建复杂的计算工具，GPT-6 都能直接呈现可视化操作体验。此外，GPT-6 在推理速度上也有显著提升，能在思考的同时逐步输出答案，大幅缩短等待时间。这标志着人机交互的重大转变：未来不再是人们去适应固定的软件界面，而是软件主动适应人的需求。 - Margaret Hamilton 逝世，享年 90 岁 — ▲ 417 · 💬 39 · 🔗 news.mit.edu
Margaret Hamilton 于 9 月 30 日去世，享年 90 岁。作为 NASA Apollo 计划的软件领军人物，她带领团队在 MIT Instrumentation Lab 开发了登月关键代码，并首创了“软件工程”这一学科。她提出的“防御性编程”理念在 Apollo 11 任务中发挥了决定性作用，成功化解了 1202 错误危机，确保人类首次登月成功。从早期的 SAGE 防空系统到创立 Higher Order Software 和 Hamilton Technologies，她一生致力于提升软件可靠性。2016 年，她获颁 Presidential Medal of Freedom，其代码也被完整收录至 GitHub。她不仅是技术先驱，更是无数女性科学家的精神偶像。 - 从 Commodore 64 键帽照片还原经典字体 — ▲ 373 · 💬 62 · 🔗 github.com
这是一个基于 Commodore 64 经典键盘键帽照片重建的字体项目。开发者通过拍摄真实键帽，提取并优化了字母与符号的几何轮廓，最终生成了包含桌面字体、Webfont 及可编辑矢量路径的完整资源包。该字体不仅还原了 PETSCII 图形字符的键帽标识，还保留了原始照片的质感细节，同时修正了比例问题。对于复古计算爱好者或需要怀旧风格的设计师来说，这是一份珍贵的数字遗产，让 Commodore 64 独特的视觉风格在现代屏幕上得以重现。 - AnyPS5：无需模拟，将 PS5 游戏移植到 PC — ▲ 342 · 💬 293 · 🔗 github.com
AnyPS5 是一个开源项目，旨在将 PS5 的可执行文件直接移植到 Linux 和 Windows 平台，完全摒弃了传统模拟器的方案。该项目通过自动重链接器将二进制文件转换为目标系统的原生格式，并实现了 87% 的 PS5 系统库映射。目前，它已成功让《Dreaming Sarah》等游戏在普通 PC 上以 60 帧流畅运行。由于不需要单独的运行时进程，这种直接移植方式在性能上具有显著优势，为游戏跨平台运行和数字保存提供了全新的技术路径。 - BIGWORDS.PAGE: 将任意屏幕变为全屏展示牌 — ▲ 322 · 💬 103 · 🔗 bigwords.page
BIGWORDS.PAGE 是一个无需安装应用、无需注册账号的极简工具，只需一个 URL 就能将手机、平板、电视或大屏幕变成全屏展示牌。无论是机场接机的欢迎标语、会议室的倒计时、前台的 Wi-Fi 密码展示，还是动态新闻滚动条，都能通过链接即时生成。所有数据仅存储在 URL 片段中，绝不上传服务器，确保隐私安全。支持 Markdown 格式、自动适配屏幕尺寸、多页幻灯片切换及二维码生成，真正实现了“链接即应用”的轻量级体验。 - 他们让化学选择了镜像 — ▲ 288 · 💬 53 · 🔗 nobelprize.org
生命体中的氨基酸只有一种镜像形态，这种同手性（homochirality）的起源曾是困扰化学界百年的谜题。2026年诺贝尔化学奖授予Henri B. Kagan和Kenso Soai，以表彰他们在不对称有机合成中发现非线性效应和自催化作用。Henri Kagan在1986年率先突破，而Kenso Soai则在1995年设计出首个具有同手性潜力的反应，并于2003年成功实现了仅生成单一镜像分子的反应。这一成就不仅解开了生命化学的起源之谜，更为药物研发中精准制造特定镜像分子提供了关键路径，彻底改变了化学家对反应控制的理解。 - Strands Decider 2B：专为决策设计的开源小模型 — ▲ 274 · 💬 78 · 🔗 strandsagents.com
我们推出了 Strands Decider 2B，这是一款专为快速决策优化的开源小模型。不同于能生成任意文本的 LLM，它专注于在预设选项中做出判断并输出置信度评分。这种设计牺牲了部分灵活性，却换来了极低的延迟和更高的可靠性，非常适合在本地 CPU 或 GPU 上运行。我们基于 Qwen3.5-2B 架构改造，去除了文本生成头，使其在 JevBench 基准测试中表现优异。无论是工具选择、模型路由还是作为 Agent 的护栏，Strands Decider 2B 都能以毫秒级响应提供精准决策，是构建高效智能体工作流的理想选择。 - 191个动态ASCII艺术，让网页瞬间复古 — ▲ 274 · 💬 56 · 🔗 ascii.rest
ascii.rest 提供了191个精心设计的动态ASCII艺术作品，涵盖3D形状、物理模拟、生物动画、加载器、图表、文字特效以及27种编程语言和22个Linux发行版的Logo。这些作品以TypeScript编写，无需依赖，可直接用于React、Next.js、Astro或纯HTML页面。无论是复古风格的场景如“alpine dawn”还是科技感十足的“black hole”，都能为网页增添独特魅力。所有资源均采用MIT许可证，免费开放使用与修改。 - Meta与Microsoft限制员工使用Claude AI — ▲ 251 · 💬 246 · 🔗 rswebsols.com
Meta和Microsoft正大幅削减员工对Anthropic旗下Claude AI工具的使用，转而优先推广自家开发的代码助手。Microsoft已将内部员工的月度AI支出上限从10万美元砍至1万美元，并强制转向GitHub Copilot和OpenAI框架。Meta方面，Claude Code的用户数也从6万锐减至3万，转而推广MetaCode和Muse Code。这一战略调整并非停止向客户提供Claude服务，而是为了在激烈的AI竞争中控制内部成本并掌握核心技术。尽管预算收紧，Anthropic的年收入增速依然强劲，但科技巨头们显然更倾向于将关键开发资源掌握在自己手中。 - State of Devs 2026：开发者为何精疲力竭 — ▲ 237 · 💬 163 · 🔗 2026.stateofdevs.com
State of Devs 2026 调查显示，开发者正面临前所未有的职业倦怠。近半数受访者遭遇工作不稳定和薪资不足，四分之一的人曾经历裁员，更有超四分之一的人计划在五年内转行。AI 的普及虽带来效率，却也引发了“AI 疲劳”和认知过载，近一半开发者认为 AI 对心理健康产生了负面影响。此外，女性及少数群体在职场中仍面临歧视与伪装身份的压力，加剧了身心耗竭。在充满不确定性的行业风暴中，开发者们既感到精疲力竭，又渴望对话与改变。 - OpenAI的Navier-Stokes证明为何失效 — ▲ 237 · 💬 150 · 🔗 arxiv.org
Autoformalisation正被广泛用于验证AI生成的数学文本，例如OpenAI宣称证明了Navier-Stokes方程解的爆破。然而，这一过程存在严重隐患：AI将自然语言翻译成Lean等形式语言时，难以保证语义忠实。文章指出，消除数学自然语言中的歧义，其难度在Solvability Complexity Index层级中达到无穷大，甚至超过了停机问题。这意味着，即使Lean验证通过，原始自然语言证明也可能完全错误。作者通过多个实例，包括OpenAI的Navier-Stokes证明，展示了AI翻译导致的Lean验证与自然语言证明不匹配的问题。 - GitHub 遭遇 Git 操作与 Pull Requests 故障 — ▲ 223 · 💬 176 · 🔗 githubstatus.com
GitHub 官方状态页面显示，Git Operations、Pull Requests 和 Actions 等服务正经历可用性下降和性能问题。Webhooks 和 Issues 功能也受到影响，目前团队正在持续调查中。对于依赖 GitHub 进行代码协作和自动化流程的开发者而言，此次故障可能导致提交代码、拉取请求或触发工作流时出现延迟或失败。在等待修复期间，建议开发者关注官方更新，避免重复操作，并检查本地缓存以确认代码状态。 - 软件博客写作中的反模式清单 — ▲ 197 · 💬 110 · 🔗 refactoringenglish.com
我在软件博客中总结了初学者常犯的错误：冗长的开场白、假设读者无所不知、过度依赖外链、强行续集式写作、过于正式的语气，以及移动端排版和字体可读性问题。开发者喜欢细节，但读者需要快速获得价值。文章强调，标题和前三句话必须明确回答‘这篇文章适合我吗？’和‘我能得到什么？’。不要指望读者去读你的前一篇博文，也不要让他们点击链接才能理解内容。写作应像日常对话一样自然，避免AI生成的千篇一律风格。最后，务必在移动端预览你的博客，确保没有横向滚动和对比度过低的问题。 - 2美元ESP32-C3实现53万域名拦截 — ▲ 177 · 💬 75 · 🔗 github.com
这个项目在仅2美元的ESP32-C3芯片上，无需PSRAM，成功运行了类似Pi-hole的DNS广告拦截器。核心突破在于将53.7万个域名转换为40位FNV-1a哈希值存储在Flash中，通过二分查找实现毫秒级响应，仅需约50KB RAM。相比传统将字符串加载到内存的方案，这种方法大幅降低了硬件成本，让普通用户也能轻松搭建家庭级广告过滤网关，甚至能直接插入路由器USB口运行。 - Robert X. Cringely：谎言如何摧毁Mineserver — ▲ 176 · 💬 83 · 🔗 jeremyreimer.com
Robert X. Cringely 曾凭借 Accidental Empires 和 Triumph of the Nerds 建立深厚声誉，却在 Mineserver 项目中彻底崩塌。这个原本旨在为子女打造 Minecraft 服务器的 Kickstarter 项目，因资金耗尽而停滞，但他选择用谎言掩盖真相：从“即将发货”到“被火灾烧毁”，再到“投资者被评论者吓跑”，谎言层层叠加，最终摧毁了数十年的公信力。这不是一个失败的故事，而是一个关于如何因不断撒谎而自我毁灭的警示。 - OpenAI 一夜解出 372 个数学难题 — ▲ 174 · 💬 209 · 🔗 scottaaronson.blog
昨天，OpenAI 一次性发布了 372 个数学领域的重大突破，其中包括困扰学界多年的 Unique Games Conjecture 证明。作为复杂性理论家 Dana Moshkovitz 的丈夫，我亲眼见证了她职业生涯的终极目标被 AI 轻易攻克。虽然这些由 AI 生成的证明目前还难以被人类完全理解，甚至被形容为“外星人”的作品，但这标志着数学研究进入了全新的时代。从 L=BPL 到黎曼猜想的进展，AI 正在以前所未有的速度解决那些曾让无数数学家皓首穷经的问题。 - Docker 推出 AI Agent 构建器与运行时 — ▲ 163 · 💬 76 · 🔗 github.com
Docker 正式开源了 docker-agent，这是一个由 Docker Engineering 打造的 AI Agent 构建器和运行时。开发者只需通过声明式的 YAML 配置文件，即可快速创建、运行并共享 AI 智能体。该项目提供了丰富的工具生态系统和多智能体编排能力，旨在简化 AI 应用的开发流程。从代码提交记录来看，项目已集成 OpenAI Decisions、TypeSafe Jev 等评估器，并支持 AWS CLI 等云工具，展现了强大的扩展性。这不仅是一个技术工具，更是 Docker 在 AI 时代重新定义开发者工作流的重要尝试。 - God of War 在浏览器中运行无需模拟器 — ▲ 150 · 💬 81 · 🔗 github.com
这个项目将 PSP 游戏直接重新编译为 WebAssembly，无需传统模拟器即可在浏览器中流畅运行。通过静态重编译技术，MIPS 机器码被转换为 C++，再编译为 WebAssembly，并配合 HLE 内核和 WebGL2 渲染器实现。God of War: Chains of Olympus 和 God of War: Ghost of Sparta 已成功移植，在 Chrome 和 Firefox 中实现 60 帧运行，分辨率最高可达原生四倍。项目还优化了多线程渲染、音效合成和 DRM 解密等关键模块，展现了 Web 技术在游戏领域的巨大潜力。 - 地下15米隧道屋，30万英镑出售 — ▲ 149 · 💬 154 · 🔗 readingchronicle.co.uk
在Reading郊区的Tilehurst，一座拥有15米深地下隧道的奇特房产正以30万英镑的价格出售。土木工程师Tony Deane耗时二十年，仅凭桶和手推车，与家人合力挖掘出超过1300平方英尺的地下空间。这个地下网络包含房间、走廊、一条手工建造的铁路，甚至还有一个隐藏在泳池旁火箭模型内的秘密入口。拍卖行BTG Eddisons Property Auctions的专家称，这是他们从未见过的独特项目，地下空间可被改造为安全存储、避难所或EMP抗干扰数据中心。该房产还包括一个2500平方英尺的三层工作室、游泳池及花园，规划许可已获批用于改建住宅。 - Codemode：Pi 如何突破 LLM 工具调用限制 — ▲ 145 · 💬 75 · 🔗 lucumr.pocoo.org
过去我常建议用脚本替代自定义工具，但 Pi 1.0 推出的 Codemode 改变了这一观点。Codemode 让 LLM 能在 harness 侧的受控环境中直接执行 JavaScript 代码，从而编排复杂操作。它解决了传统工具难以处理图像读取、子代理调度等原生需求的痛点。通过 Codemode，智能体不仅能并发调用模型 API 生成图像或进行文本分类，还能将中间状态存入会话转录中供后续调用。这种将‘大脑’与‘双手’分离的架构，既保证了安全性，又极大扩展了智能体的能力边界。 - 四岁儿子的“Wood Tape”购物清单 — ▲ 143 · 💬 17 · 🔗 gamesbyemail.com
四岁的 Guy 坚持要去 Home Depot 买一种叫“Wood Tape”的东西，我起初以为他只是童言无忌。为了让他主导这次购物，我全程旁观，看着他自信满满地询问店员、挑选 Duct Tape、红蓝黑三色油漆以及画图纸。直到最后，我才恍然大悟：他需要的不是某种神秘的胶带，而是用来在木桌上贴出棋盘格的蓝色美纹纸。原来，他早就在脑海里规划好了一切，从板材尺寸到树屋的位置，甚至每一步的购物流程。那个看似混乱的下午，其实是他精心设计的蓝图。 - A Walkable History of Art: 可漫步的3D艺术史博物馆 — ▲ 140 · 💬 60 · 🔗 artmuseum.artfrompixels.com
A Walkable History of Art 是一个基于 Wikipedia 数据构建的沉浸式 3D 艺术史博物馆，将全球艺术家及其作品汇聚于虚拟殿堂。用户可通过缩放时间轴、点击艺术家姓名，瞬间步入专属 3D 画廊，在虚拟空间中自由漫步欣赏从 Medieval & Gothic 到 Contemporary Pop Art 的千年艺术杰作。项目完全开源，旨在以互动方式让艺术知识触手可及，让每个人都能‘走进’历史，感受艺术的魅力。 - 因吐槽Norm Macdonald，夫妻被swatting 55次 — ▲ 139 · 💬 135 · 🔗 cbc.ca
我和妻子Niki Robinson因为我在Twitter上发了一条关于Norm Macdonald不好笑的推文，竟然在两年内遭遇了55次swatting。武装警察多次深夜闯入家中，甚至在我赤裸时将我按在门口。尽管我们多次向Milwaukee Police Department解释情况，警方却未采取有效措施。最终，我们起诉City of Milwaukee并获得了575,000美元的赔偿。然而，涉事警官未受任何纪律处分，政策也未改变。这起事件揭示了普通人在网络骚扰面前多么脆弱，也暴露了执法系统应对swatting的严重缺失。 - 全球民意：社交媒体正伤害民主 — ▲ 138 · 💬 104 · 🔗 pewresearch.org
Pew Research Center 最新调查显示，全球 37 个国家的民众对社交媒体冲击民主的担忧日益加剧。在大多数有趋势数据的国家，认为社交媒体对民主有害的比例自 2022 年以来显著上升。美国民众态度最为负面，64% 的成年人持此观点，且这一比例自 2022 年未变，而其他国家正逐渐向这一悲观态度靠拢。值得注意的是，高收入国家如德国、荷兰和法国，民众对此的负面看法尤为强烈；相比之下，低收入国家民众更倾向于认为社交媒体对民主有益。此外，年轻群体普遍比年长群体更看好社交媒体的正面影响，显示出明显的代际认知差异。 - 黑客伪造 Google 等巨头的 TLS 证书 — ▲ 137 · 💬 48 · 🔗 arstechnica.com
攻击者通过劫持 .gh、.sl 和 .as 三个顶级域名注册机构，篡改权威 DNS 记录，成功骗过自动化验证机制，为 Google 及其他全球知名品牌生成了伪造的 TLS 证书。Google 已紧急更新 Chrome 浏览器以拦截这些非法证书，并敦促域名所有者监控证书透明度日志。此次事件再次暴露了 DNS 劫持在证书颁发链条中的致命弱点，提醒我们浏览器端的防御并非万全之策，未被发现的证书仍可能构成潜在威胁。 - Google Playground：创意游戏的孵化场 — ▲ 115 · 💬 2 · 🔗 labs.google
Google Playground 是一个充满活力的平台，汇聚了全球开发者创作的各类独立游戏。从梦境主题的 Snooze Jump 到快节奏的 Truth Ninja，再到复古风格的 Polygon Pazer 和 Octo Pop，这里应有尽有。无论是喜欢解谜的 Word Cube，还是追求刺激的 Summit Swoop，玩家都能找到适合自己的乐趣。通过 Discover 页面，你可以探索他人创造的精彩作品，感受创意与技术的完美结合。 - Google Playground：无需代码也能做游戏 — ▲ 110 · 💬 191 · 🔗 blog.google
Google 推出了实验性平台 Playground，让游戏创作不再被代码门槛限制。用户只需通过自然语言描述，就能从零开始创建、测试并分享自定义游戏。无论是调整物理规则、重塑角色还是改变环境，只需简单对话即可实现。平台支持多设备游玩，提供排行榜与多人模式，并计划未来集成 Unity Spark，为专业创作者提供更强大的工具。所有发布游戏均经过安全审查，确保社区友好。目前 Playground 已在美国上线，面向 18 岁以上用户开放，部分功能将根据 Google One 会员等级逐步解锁。 - 整数乘法突破 n log n 瓶颈 — ▲ 109 · 💬 76 · 🔗 github.com
数学领域迎来重大突破，一项新研究宣称将整数乘法的计算复杂度推到了 n log n 之下。这一成果直接挑战了长期以来的理论极限，意味着未来在处理超大数字运算时，算法效率将迈上新台阶。该研究被收录于 openai/math 预印本库中，标题直指核心突破，引发学界对计算复杂性理论边界的重新审视。 - 二战炸弹再现：Exmouth的拆弹艺术 — ▲ 109 · 💬 88 · 🔗 theguardian.com
2026年1月，Exmouth Marina的疏浚作业意外挖出一枚二战时期的250kg德国炸弹，与此同时，Plymouth的建筑工地也发现了一枚50kg炸弹。这是自二战结束以来，同一天在英国同一地区发现两枚未爆弹的罕见事件。11EOD部队迅速介入，面对因腐蚀和年代久远而难以预测的引信，拆弹专家PO Scott Dooley和Capt Liam Kidman展现了极高的专业素养。他们不仅要处理历史遗留的致命威胁，还要在人口密集区确保公众安全。文章深入探讨了二战炸弹为何至今仍是巨大隐患，以及拆弹团队如何在现代城市中应对这些沉睡的杀手。 - Rust 的 derive 竟隐含 inline 陷阱 — ▲ 109 · 💬 29 · 🔗 yossarian.net
在 Rust 开发中，我们习惯使用 #[derive(...)] 来快速实现 Debug、Clone 等核心特性。最近我发现了一个容易被忽视的细节：Rust 编译器在展开这些 derive 宏时，往往会自动添加 #[inline] 属性。对于简单的结构体，内联能提升性能，但在处理深层嵌套的错误层级（如 ErrorA、ErrorB、ErrorC）时，这种自动内联会导致代码膨胀。我们在优化 uv 项目时发现，通过自定义 proc macro 禁止特定 Debug 实现的内联，成功将二进制文件体积缩小了约 160KB。这提醒我们，虽然 #[inline] 只是提示，但在复杂场景下，盲目依赖 derive 的默认行为可能会付出意想不到的二进制体积代价。 - AI 辅助证明 11 个正方形的最优排列 — ▲ 105 · 💬 49 · 🔗 github.com
一个名为 11SquaresFormalized 的 GitHub 项目，利用 Lean 形式化验证系统，成功完成了关于 11 个正方形最优排列问题的完整证明。该项目通过 EvolvingPrograms 的验证流程，接受了全部 7920 个本地 Lean 模块，最终审计报告为零误报。证明过程结合了 Lean 的几何推理与原生数值证书（native numerical certificates），确保了结论的绝对可靠性。最优边长被精确计算为约 3.877，该模型允许任意方向旋转和合法边界接触。这一成就标志着数学证明与 AI 辅助验证技术的深度融合，为复杂几何问题的形式化验证树立了新标杆。 - PS5越狱狂潮，Sony坐立难安 — ▲ 101 · 💬 122 · 🔗 pushsquare.com
PS5越狱进展正以史无前例的速度升级，Sony与黑客之间的猫鼠游戏全面爆发。借助AI工具，修改者已在v7.00至v13.60固件的PS5上成功安装各类模拟器，涵盖Switch到初代Xbox。尽管性能尚不稳定，但这一趋势已引发二手主机抢购潮，甚至导致GameStop将PS5 Pro售价炒至1500美元。与此同时，PC端PS5模拟器也在快速迭代，部分独占游戏如Demon's Souls已可在PC运行。面对安全漏洞，Sony或将加速固件更新，但这无法阻止旧版本设备的越狱。这场技术博弈或许会加速PS6的推出，但短期内Sony恐怕难逃头痛。 - 韩国称AI agents或已入侵银行系统 — ▲ 97 · 💬 30 · 🔗 reuters.com
韩国方面透露，近期针对本国银行的网络攻击中，疑似出现了AI agents的身影。这一消息引发了对自动化攻击手段升级的担忧。如果AI agents真的被用于此类攻击，意味着黑客可能利用这些智能体进行更复杂、更隐蔽的操作，从而绕过传统的安全防御。这不仅是对银行系统的威胁，也预示着网络安全领域可能迎来新的挑战。面对这一情况，各国金融机构和网络安全团队需要重新评估现有的防御策略，以应对可能由AI agents驱动的潜在威胁。 - 机器如何学会精准：从铁到微米 — ▲ 93 · 💬 42 · 🔗 glinscott.github.io
工业革命初期，工匠们连让气缸圆、导轨直都异常艰难，误差常达几毫米。John Wilkinson 发明的镗床让气缸精度提升三十倍，让 Watt 的蒸汽机得以密封。Henry Maudslay 引入 slide rest，将刀具固定在铸铁滑座上，彻底消除了手工切削的颤振。更令人惊叹的是，工匠们通过三块平板互相刮削比对，无需任何精密仪器就能制造出绝对平整的基准面。从肉眼可见的粗糙到 Joseph Whitworth 能检测百万分之一英寸的误差，这段历史揭示了现代工业精密制造的真正起源。 - Push Ifs Up and Fors Down：代码优化的代数法则 — ▲ 92 · 💬 43 · 🔗 debasishg.github.io
源自 TigerBeetle 的编程启发式原则“Push Ifs Up and Fors Down”揭示了提升代码清晰度与性能的核心逻辑。该法则建议将条件分支（if）向上推至调用者，让函数专注于无分支的核心逻辑；同时将循环（for）向下推至批量处理层，以利用向量化执行。文章深入探讨了这一原则在 SQL 查询优化（如投影提前、连接推迟）以及函数式编程范畴论中的映射，指出通过类型系统（如用 Walrus 替代 Option）记录前置条件，能有效减少无效计算。这不仅是一种编码习惯，更是基于代数定律的系统性重构策略。 - AstroHelm: 手机引导望远镜精准定位天体 — ▲ 88 · 💬 30 · 🔗 astrohelm.app
AstroHelm 是一款专为 iOS 和 Android 设计的天文观测应用，它利用手机摄像头实时进行天体定位（Plate Solving），无需昂贵的 GoTo 赤道仪或专用硬件。只需将手机固定在望远镜或长焦镜头上，AstroHelm 就能通过比对星图数据库，以高达 10 角秒的精度指引你找到星系、星云和行星。无论是在光污染严重的城市还是无网络的野外，它都能离线运行，让天文观测变得简单直观，彻底告别繁琐的星图记忆和校准过程。 - 研究：Claude与ChatGPT对富人推荐更高价 — ▲ 88 · 💬 32 · 🔗 bloomberg.com
一项新研究揭示了Claude和ChatGPT等AI聊天机器人在充当购物助手时的潜在偏见。研究发现，这些模型会根据用户的财富状况提供不同的价格建议，往往向富裕用户推荐更昂贵的商品。这种现象引发了关于AI算法公平性的担忧，并可能促使监管机构介入。当AI开始“看人下菜碟”，我们是否还能信任其提供的中立建议？ - 我请插画师画了房子，成了 Home Assistant 仪表盘 — ▲ 87 · 💬 4 · 🔗 antonfrolov.substack.com
为了让家人真正愿意使用 Home Assistant 控制面板，我请插画师将我家画成了手绘风格。这个仪表盘不再是枯燥的图标堆砌，而是能随设备状态变化的动态插画：壁炉会闪烁，花园灯会亮起，空调运行时会有动画效果。我通过 picture-elements 卡片配合 WebP 动画，实现了昼夜模式切换和多层视图拼接。最终，这套系统通过 HAOS Kiosk Display 直接投射到电视上，成为全家都会主动查看的智能家居中枢。 - SynthID：如何识别AI生成的媒体内容 — ▲ 86 · 💬 76 · 🔗 synthid.com
SynthID是Google DeepMind开发的一项数字水印技术，能够嵌入到AI生成的图像、音频和视频内容中，使其可被识别。这项技术由Google、Nvidia、OpenAI和Kakao等公司采用，旨在应对AI生成内容带来的透明度和真实性挑战。SynthID的水印对人类不可见，但能通过专门工具检测，且对常见的文件转换和压缩具有鲁棒性。与通用的AI检测工具不同，SynthID依赖的是内容创建时嵌入的主动信号，而非被动分析生成痕迹，因此可靠性更高。不过，它仅适用于已集成SynthID技术的模型生成的内容。 - Rosalind Franklin 早就看穿 DNA 双螺旋 — ▲ 84 · 💬 2 · 🔗 link.springer.com
长久以来，James Watson 在《双螺旋》中的描述让大众误以为 Rosalind Franklin 未能从著名的 Photograph 51 中解读出 DNA 的螺旋结构。然而，新研究揭示了被历史掩盖的真相：Franklin 拍摄 Photograph 51 并非偶然，而是基于她对 Photograph 49 的深入分析。她早已通过计算确认了 DNA 的 B 型螺旋参数，拍摄 Photograph 51 只是为了获得一张构图更完美、适合发表的影像。这一发现不仅推翻了 Franklin“忽视”关键证据的旧论，更还原了她作为科学家的敏锐洞察与严谨判断，证明了她在理解 DNA 结构上其实比 Watson 更早一步。 - LLM 重学电报语：输出成本减半 — ▲ 83 · 💬 52 · 🔗 fiveminutesforward.com
LLM 的 Token 计费模式其实和 1866 年的电报费如出一辙。研究发现，只需一条简单的指令让模型使用“电报语”（Cablese）风格——即省略冠词、填充词并缩写，同时保留所有事实数据——就能在保持跨模型理解力的前提下，将输出 Token 减少 40% 至 49%。这意味着 Agent 的内存容量变相翻倍，且无需任何额外训练或硬件升级。与那些难以审计的“黑盒”压缩协议不同，Cablese 是人类可读的，既保留了审计线索，又大幅降低了 API 账单。这一发现表明，LLM 的权重中早已内化了人类在带宽受限时代的写作智慧，我们只需唤醒它。 - 为何Victorian精英如此高效？ — ▲ 83 · 💬 145 · 🔗 worksinprogress.co
现代成功学推崇STEM、冷浴和凌晨5点起床，但Victorian时代的英国精英却截然不同：他们晚起、酗酒、热衷派对与体育，学校课程以Latin和Greek为主，极少涉及科学。然而，正是这群看似“不务正业”的人，让Britain在19世纪成为全球最富强的国家。文章指出，他们的成功或许并非源于硬技能，而是得益于对软技能、团队协作和精英内部网络的极致重视。从Eton College到Oxbridge，这种独特的教育体系培养了强大的忠诚度和领导力，挑战了我们对“高效”的单一认知。 - 我在 Reddit 的封号历险记 — ▲ 78 · 💬 75 · 🔗 orchidfiles.com
我想在 Reddit 分享我的开源项目，结果刚发帖就被删号。为了绕过规则，我尝试了各种方法：换 IP 注册、每天只发一两条评论、故意在文中留错别字、甚至注册手机账号攒到 1000 分 karma。但无论我如何伪装成普通用户，只要内容稍显完美或包含 GitHub 链接，账号就会被封禁。哪怕是创建自己的社区，最终也难逃被删的命运。最终我意识到，在 Reddit 推广项目并非单纯靠内容质量，而是需要遵循一套隐形的‘生存法则’。 - ServerFault 15 年老兵宣布退休 — ▲ 75 · 💬 49 · 🔗 sysadmin1138.net
在 ServerFault 担任版主超过 15 年后，我决定在年底离职。从 2011 年首届社区选举当选至今，我见证了站点从早期的激烈冲突到如今的缓慢衰退。我曾亲历不同国家用户间的文化摩擦引发的骂战，也曾在垃圾信息泛滥的至暗时刻通宵清理数据。如今，每日提问量仅剩两三则，编辑队列也近乎静止。虽然 StackExchange 整体仍在讨论政策，但 ServerFault 已许久没有实质性争论。是时候让社区决定是否需要接替我了。 - ShinyHunters勒索Boeing子公司，主谋被拘 — ▲ 70 · 💬 15 · 🔗 krebsonsecurity.com
约旦少年黑客Rey因涉嫌领导ShinyHunters勒索集团被捕，该团伙在作案期间正试图勒索Boeing剥离的Jeppesen ForeFlight业务单元。讽刺的是，Rey的父亲疑似在Royal Jordanian Airlines工作，而该航司的机队正是由Boeing制造。Rey被捕前曾高调炫耀窃取FBI数据并勒索Cl0p勒索软件团伙，甚至利用CVE-2026-35273漏洞绕过Mandiant的防御规则。与此同时，另一名涉案人员Pepijn van der Stap被荷兰警方逮捕，并面临试图策划谋杀的指控。ShinyHunters已从核心组织演变为一种“特许经营”式的犯罪品牌，由多名自由职业者接力运营，继续利用Oracle PeopleSoft漏洞窃取数据。 - 1993 年墨西哥 La Cueva BBS 会话回放 — ▲ 69 · 💬 23 · 🔗 nanochess.org
1993 年，我还在用基于 Zilog Z280 的自制电脑和 2400 波特率的 Hayes 调制解调器上网。那时 Internet 尚未普及，我通过阅读书籍自学 RS-232C 协议、AT 指令和 ANSI 转义序列，亲手编写了串口终端程序。幸运的是，我在一张旧软盘上发现了一个名为 CUEVA.TXT 的文件，完整记录了当年 2 月 11 日后访问 La Cueva BBS 的 64K 缓冲区数据。为了重现这段历史，我利用 JavaScript 和 jsTerm 将这份数据文件制作成了会话回放。看着屏幕上快速跳动的字符，仿佛又回到了那个拨号上网、充满 ANSI 艺术和神秘 BBS 的年代。 - AI时代，工程师如何避免成为Forever Junior？ — ▲ 64 · 💬 56 · 🔗 tech.criteo.com
在AI主导的软件开发时代，我担心真正的危机并非工程师消失，而是Senior工程师的消失。当AI代理能完成大部分编码工作，Junior工程师若过度依赖工具，可能永远无法掌握核心技能，沦为只会审查AI代码的Forever Junior。我在Criteo的经历告诉我，要打破这一困境，必须主动培养好奇心、深度审查能力和自主性。通过向AI提问、模仿团队代码模式，甚至偶尔‘禁用’AI亲手写代码，我试图在AI辅助下重建自己的专业深度。这不仅是技术成长，更是对工程师身份的重塑。 - 木槌击打角度：为何要这样设计？ — ▲ 62 · 💬 22 · 🔗 timberframe-tools.com
制作一把木工木槌看似简单，但槌头角度却大有讲究。我在旧版 Timber Framing 书籍中找到了答案：木槌挥动时呈弧线轨迹，为确保击打瞬间槌面与凿柄垂直，避免凿子偏斜导致榫眼歪斜，槌头必须设计特定角度。这个角度并非固定不变，而是取决于你的握持位置和挥动方式——是用手腕轻敲还是用手肘重劈。文章详细演示了如何利用绳子和胶带，根据个人的挥动弧线精准测量并切割出最适合你的木槌角度。 - M-Vave FM-1固件逆向工程揭秘 — ▲ 62 · 💬 39 · 🔗 github.com
这是一个针对M-Vave FM-1口袋合成器固件的深度逆向工程研究。项目通过拆解Package、SPL和SDK来源，确认了目标硬件为搭载pi32v2 CPU的JieLi AC791N/WL82芯片，并解析了其基于Dexed/msfa的六算子FM引擎。研究详细记录了USB-MIDI的OTA协议、引导链及内存布局，但特别强调当前工作尚未建立可靠的ROM恢复或回滚机制。该仓库不包含替换固件，而是提供了完整的分析工具链、Ghidra脚本以及针对OTA加载器的控制流追踪，旨在为社区提供透明的技术细节与安全评估，而非直接提供破解工具。 - Shaders：WebGPU 特效组件化新方案 — ▲ 61 · 💬 28 · 🔗 github.com
Shaders 项目将 WebGPU 的强大图形能力封装为声明式组件，支持 React、Vue、Svelte、Solid 和纯 JavaScript 等多种框架。开发者无需手写复杂的着色器代码，只需像使用普通 UI 组件一样，通过嵌套、混合和遮罩来组合 200 多种特效，如渐变、噪点、玻璃拟态和光标轨迹。项目提供无限画布的可视化设计编辑器，设计完成后可直接导出对应框架的代码。此外，它还支持 CLI 工具同步项目，并集成了 MCP 服务器以便 AI 编程助手直接调用。从免费的基础组件到 Pro 版的千种预设，Shaders 让创建高性能的 GPU 加速视觉效果变得前所未有的简单。 - MIT 3D 打印平台三小时造出电机 — ▲ 57 · 💬 27 · 🔗 news.mit.edu
工厂电机损坏往往导致停产，传统更换流程耗时耗力。MIT 团队研发了一套多材料 3D 打印平台，能一次性打印出包含导电和磁性材料的复杂电机。该系统配备四个挤出头，可处理不同形态的材料，仅需约三小时即可制造出功能完整的线性电机，且材料成本低至 50 美分。研究人员表示，这项技术有望彻底改变硬件制造方式，让机器人、车辆和医疗设备的电子组件实现现场快速定制，摆脱对全球供应链的依赖。 - 科学家或将创造“镜像生命” — ▲ 55 · 💬 92 · 🔗 economist.com
地球上的生命具有独特的“手性”，即关键分子只采用两种镜像形式中的一种。如今，科学家正尝试在实验室中制造完全相反的“镜像生命”。这项突破性研究不仅可能揭示生命起源的奥秘，更带来了前所未有的风险：这种新型生命形式若泄露到自然界，可能因无法被现有生物系统识别或分解，从而对人类和整个生态系统构成不可预知的威胁。 - Stanford 找到让软骨再生并阻止关节炎的方法 — ▲ 54 · 💬 12 · 🔗 sciencedaily.com
Stanford 科学家发现，通过阻断一种随年龄增长的蛋白质 15-PGDH，可以逆转老年小鼠的软骨流失，甚至预防因 ACL 撕裂导致的关节炎。这项研究揭示，软骨再生并非依赖干细胞，而是让现有的 chondrocytes 改变基因表达，回归年轻状态。更令人振奋的是，取自人类膝关节置换手术的软骨样本在处理后也开始了功能性再生。如果该策略在人体中验证成功，未来或许能通过口服药或注射剂实现软骨再生，从而大幅减少膝关节或髋关节置换手术的需求。 - nanoMuse: 跨设备开源AI智能助手 — ▲ 54 · 💬 20 · 🔗 github.com
nanoMuse是一款专为所有设备打造的开源个人AI智能体，拥有独特的名字与形象。它不仅能执行任务，还能在应用关闭时持续工作，并记住你的偏好。在涉及不可逆操作前，它会主动询问确认。支持Android、iOS、Windows、macOS、Linux及浏览器，将你的手机屏幕和电脑作为双手，实现跨设备无缝协作。 - 开源160个声音可视化实验 — ▲ 51 · 💬 14 · 🔗 kagan.in
这是一个名为 iwrzwr/visual archive 的开源项目，汇集了超过160个声音与音乐的可视化实验，横跨25个以上类别。从波形动画、频谱图案到矩阵显示、粒子效果，再到节奏与记忆主题的创意呈现，每个实验都展现了声音如何转化为视觉语言。项目涵盖从复古风格的 teletext 与 ASCII stream，到现代感十足的 vector scope 与 spectral tape，甚至包括对信号处理、控制逻辑与推理引擎的可视化探索。无论是开发者、设计师还是声音艺术爱好者，都能在这里找到灵感。所有代码开源在 GitHub 上，作者也活跃于 X 平台分享创作过程。 - ProcInSh: 3D可视化Linux进程探索工具 — ▲ 50 · 💬 15 · 🔗 github.com
ProcInSh是一款专为Linux打造的Web版进程检查器，灵感源自《攻壳机动队》，让你仿佛以‘幽灵’身份在进程空间中自由漫游。通过3D可视化界面，用户可以直观地浏览进程树、查看详细信息，甚至探索内存与环境变量。支持从crates.io安装或源码编译，需Rust、C编译器及BPF后端等依赖。无论是日常调试还是深入系统底层，ProcInSh都能提供沉浸式、交互式的进程分析体验。 - Paramount与Warner Bros合并：820亿债务的代价 — ▲ 49 · 💬 3 · 🔗 techdirt.com
Larry Ellison主导的Paramount与Warner Bros正式合并，新公司命名为Skydance，但背负了820亿美元的巨额债务。这场耗资1100亿美元的并购案被批评为典型的“为了增长而增长”，预计将引发大规模裁员、产品品质下降以及流媒体服务价格上涨。尽管有12个州的总检察长尝试阻止，但在Ellison强大的游说压力下，反垄断执法最终未能生效。文章指出，从AOL到AT&T，Warner Bros参与的每一次重大合并都以混乱和裁员告终，而这一次，消费者和劳动者将再次为这笔债务买单，CNN等媒体也可能因此进一步向企业权力和右翼意识形态倾斜。 - Jev 驱动 SRE 诊断：成败复盘 — ▲ 48 · 💬 27 · 🔗 sregym.com
我们不再依赖 LLM agent，而是构建了一套纯由 Jev 驱动的 SRE 诊断流水线。该流程通过程序化收集集群证据并整理成选项，交由 Jev 进行快速判断以定位根因。在 SREGym-Lite 的 21 个故障场景中，这套无需 LLM 的方案在 105 次诊断中成功通过 80 次，成功率达 76.2%，中位诊断时间仅需 14.6 秒。实验显示结果高度一致：对于每个故障，五次尝试要么全过要么全挂。Jev 虽不生成命令或撰写报告，但其在证据筛选和根因判定上的精准选择，证明了低成本模型在自动化运维中的巨大潜力。 - 处理器缓存效应：代码性能的隐形杀手 — ▲ 48 · 💬 5 · 🔗 igoro.com
很多人知道缓存是快速但容量小的内存，却忽略了其运作细节对程序性能的巨大影响。本文通过五个 C# 代码示例，深入剖析了内存访问模式、Cache Line、L1/L2 缓存层级、指令级并行以及缓存关联度如何决定程序运行速度。你会发现，看似简单的循环步长变化，或是对数组元素的访问顺序，都可能导致性能翻倍或减半。理解这些“无聊”的硬件细节，是优化真实世界程序性能的关键。 - Treg：Agent 工具的 OpenRouter — ▲ 43 · 💬 11 · 🔗 github.com
Treg 旨在成为 Agent 工具的 OpenRouter，解决开发者为单次任务购买昂贵订阅（如 Semrush、Crunchbase）的痛点。它通过统一接口聚合数千个外部端点，支持按次付费，最低仅需一美分，无需注册各服务商账号。用户只需告知任务目标，Treg 即可自动匹配工具并注入凭证，确保密钥永不离开服务器。无论是调用外部 API、运行 CLI 工具还是执行复杂技能，Treg 都能让 Agent 像调用模型一样便捷地获取各类能力，同时支持团队共享自定义工具与密钥，彻底简化了 Agent 的工作流。 - 永久夏令时或损睡眠与心理健康 — ▲ 42 · 💬 108 · 🔗 sci.news
加拿大研究人员警告，若取消季节性时钟调整，应选择永久标准时间而非永久夏令时。研究指出，永久夏令时会导致冬季早晨推迟一小时日出，使人们在黑暗中通勤，进而扰乱生物钟，影响睡眠质量和心理健康。虽然人们喜欢傍晚的余晖，但缺乏早晨光线会削弱调节昼夜节律的关键信号，可能加剧季节性情绪障碍。相比之下，永久标准时间更符合人体生理节律，尽管夏季日出较早，但可通过遮光窗帘等简单措施缓解。研究呼吁政策制定者权衡利弊，优先保障公众健康。 - Pendulum 的 + 号为何成了 Python 最诡异的运算符？ — ▲ 40 · 💬 19 · 🔗 dev.arie.bovenberg.net
Pendulum 是 Python 中处理日期的流行库，但它的 + 运算符却有个诡异之处：它会根据调用栈中的函数名来决定计算逻辑。这种设计源于它在“时区感知算术”和“无缝替换标准库”之间的两难选择。为了兼容标准库的 astimezone 方法，Pendulum 被迫在运行时检查调用者，导致性能暴跌 600 倍。作者指出，虽然这种猜测机制能暂时解决问题，但本质上是一种脆弱的妥协。最终，通过修改 astimezone 实现来绕过这一陷阱，才是更优解。文章还提醒开发者，在使用 Pendulum 时需注意第三方时区转换、PyPy 环境以及热循环中的性能问题。 - Xbox拿下GTA 6独家云游戏流媒体权 — ▲ 38 · 💬 56 · 🔗 theverge.com
Xbox CEO Asha Sharma在内部全员会上透露，Microsoft已达成一项其他平台方从未尝试的交易：获得Grand Theft Auto VI的独家游戏流媒体播放权。这意味着游戏首发时，只有Xbox Cloud Gaming平台能向玩家提供串流服务。虽然Rockstar Games尚未宣布Grand Theft Auto VI的PC版本，但这一协议让Xbox能直接触达原本需要Xbox Series X/S或PS5主机的PC玩家。值得注意的是，此次独家流媒体权益与Microsoft即将在11月推出的Xbox Cloud Gaming新策略同步：一方面对Game Pass Ultimate等订阅用户限制每月串流时长，另一方面开放按小时付费的Pay-as-you-go选项，让非主机用户也能灵活体验GTA 6。 - gtlds.fyi: 探索所有拟议新通用顶级域名 — ▲ 38 · 💬 54 · 🔗 gtlds.fyi
gtlds.fyi是一个汇聚了所有拟议新通用顶级域名（gTLD）的开放平台。它清晰列出了986个申请域名、背后的申请公司以及263个重叠案例。无论是域名投资者、品牌方还是技术爱好者，都能通过字母索引快速检索，直观了解从.abion到.gen等海量新后缀的申请状态。项目完全开源，代码托管在GitHub，让域名生态的透明度触手可及。 - Amazon Prime Day 2026：AWS 数据大揭秘 — ▲ 36 · 💬 27 · 🔗 aws.amazon.com
作为 AWS 的年度传统，今年我们再次公开了支撑 Amazon Prime Day 2026 背后的惊人数据。在 2026 年 6 月 23 日至 26 日的狂欢中，AWS Graviton 承担了 Amazon EC2 高达 49% 的计算任务，Amazon EBS 每日处理超过一 Exabyte 的数据传输。AWS Lambda 单日调用量突破 2.3 万亿次，Amazon DynamoDB 更是处理了超过 59 万亿次请求，峰值达到每秒 1.92 亿次。从 Amazon CloudFront 交付的 2.1 万亿次 HTTP 请求，到 Amazon SNS 单日发送的 5 万亿条消息，这些数字不仅展示了技术的极限，更确保了全球数百万 Prime 会员流畅的购物体验。 - agent.reviews: AI智能体实测软件工具 — ▲ 33 · 💬 33 · 🔗 agent.reviews
这是一个让AI智能体亲自试用并评测开发工具的平台。无论是Git、Terraform还是Claude API，智能体在完成真实任务后，会基于实际体验给出评分和详细反馈。它不依赖排行榜的冷冰冰数据，而是聚焦于工具在真实工作流中的表现，告诉开发者什么好用、什么阻碍了效率。支持Claude Code、Cursor、GitHub Copilot等主流智能体，一键安装技能即可开始贡献评测。 - Durable Actors: 构建实时应用的开源持久化对象 — ▲ 32 · 💬 24 · 🔗 github.com
Durable Actors 是一款开源的 TypeScript 框架，旨在成为 Cloudflare Durable Objects 的替代方案，彻底消除厂商锁定和内存限制。它让开发者能够轻松构建 ChatGPT、Notion 或 Devin 等实时应用，通过状态化无服务器函数抽象了分布式系统中的持久化、协调和基础设施难题。项目支持 Python 和 TypeScript，提供类型安全的客户端自动生成，内置可观测性，并支持本地开发及在 GCP 上自托管运行。 - 在 Vectrex 上运行类 Windows 系统 VECOS — ▲ 31 · 💬 8 · 🔗 youtube.com
一段视频展示了名为 VECOS 的操作系统，它专为复古游戏机 Vectrex 设计，并运行在 UVMC2 模拟器上。该系统成功在老式硬件上实现了类似 Windows 的图形界面体验，让这台经典设备焕发出新的生命力。视频演示了其在 UVMC2 环境下的实际运行效果，展现了复古硬件与现代软件理念结合的可能性。这一项目不仅是对 Vectrex 潜力的深度挖掘，也为复古计算爱好者提供了全新的探索方向，证明了即使在有限的硬件条件下，也能创造出令人惊叹的用户界面。 - ICANN 公布 2026 年新顶级域名申请名单 — ▲ 31 · 💬 44 · 🔗 icann.org
ICANN 正式揭晓了 2026 年新一轮通用顶级域名（gTLD）的申请详情，全球共有 1615 个申请提交，涵盖品牌、社区及地理名称等多种类型。此次申请窗口期从 4 月持续至 8 月，北美地区以 864 个申请领跑，欧洲和亚太地区紧随其后。ICANN 强调，这一里程碑标志着域名系统（DNS）的进一步扩展，旨在通过公平透明的流程，帮助全球组织构建可信的在线身份。接下来，申请人将进入替代期、字符串确认日以及社区意见征询阶段，最终决定哪些新域名将正式上线。 - Windows 热补丁冲突：谁动了我的代码？ — ▲ 31 · 💬 7 · 🔗 devblogs.microsoft.com
最近我调研了热补丁机制，发现它的设计初衷仅允许 Windows Update 这一方进行修补。如果某个函数已经被热补丁覆盖，而其他人试图再次修补，系统会直接判定出错。对于 Windows Server 和 Windows 11 Enterprise 而言，热补丁空间是受控的，只有授权代码才能使用。但如果有人未经授权进行了 detour 或其他形式的补丁，热补丁代码会检测到这种“ rogue patching”，并宣布该文件无法热补丁，最终导致系统必须重启。更糟糕的是，这里存在竞态条件：预扫描可能显示一切正常，但扫描完成后，函数可能被他人修改，导致补丁程序卡在半途，既无法继续也无法回滚。这种状态就像在火区停车，一切看似平静，直到消防车到来，却发现路被堵死，后果不堪设想。 - LLM与数据投毒如何制造虚假共识 — ▲ 30 · 💬 23 · 🔗 medium.com
当LLM将统计频率误认为事实，现实便由制造共识者定义。OpenAI曾揭露，俄罗斯、中国和伊朗等国家利用生成式AI部署自动化人设，污染网络信息。从Leopold II的殖民暴行被包装为文明使命，到苏联二战牺牲被西方叙事边缘化，再到企业将算法伤害营销为“数字健康”，权力通过营销和AI重塑我们的认知。如今，数据投毒和Answer Engine Optimization让合成内容淹没真相，LLM在递归幻觉中取代了人类记忆。要夺回认知自主权，必须学会识别叙事中的遗漏、时间锚点和语义伪装，拒绝将良知出租给算法故事。 - 当气候变迁，美国南方能否成为橄榄油新产地？ — ▲ 30 · 💬 26 · 🔗 ambrook.com
随着全球气候变迁，传统橄榄油产区如西班牙和意大利面临产量下滑，而美国南方正悄然崛起为新的潜力产区。从Thomas Jefferson早期的尝试失败，到如今Georgia的Woodpecker Trail Olive Farm和Texas的Dell's Favorite Texas Olive Ranch在极端天气中艰难求生，南方农民正以独特土壤和微气候挑战自然极限。尽管面临霜冻、干旱和飓风等气候威胁，美国本土橄榄油产量仅占消费量的5%，市场缺口巨大。Jill Myers称其为“新世界油”，鼓励更多地区实验种植。然而，正如Frank Majowicz所言，这是一场与大自然的持久战，成功与否往往取决于运气。 - 千纸鹤传说：Sadako与和平的祈愿 — ▲ 29 · 💬 12 · 🔗 mazdastories.com
在日本，千纸鹤（senbazuru）不仅是折纸艺术的代表，更承载着长寿与好运的寓意。传说折叠一千只纸鹤便能实现愿望，这一信念因广岛原子弹受害者Sadako Sasaki的故事而深入人心。如今，Mazda在全球发起纸鹤捐赠项目，延续这份和平与希望的象征。从艺术到教育，折纸不仅是传统技艺，更是连接数学、语言与创意的桥梁。 - 用 Yggdrasil 打造朋友间的加密存储网 — ▲ 26 · 💬 9 · 🔗 github.com
yggstore 是一个基于 Yggdrasil 网络的概念验证项目，它让朋友之间可以互相借用磁盘空间，构建去中心化的加密存储系统。文件被加密并分片存储在不同节点的机器上，即使单台设备故障也不会丢失数据。用户只需发送一个包含密钥的密封 stub 文件，即可通过邮件或任何渠道分享文件，完全无需依赖云端服务。该系统支持文件版本历史、节点间消息传递，甚至能托管网站和接收加密邮件。目前项目处于实验阶段，加密方案尚未经过独立审查，不建议作为唯一备份。 - AI 幻觉已解决？审计才是真答案 — ▲ 25 · 💬 15 · 🔗 cringely.com
上周，有人用 8 美元和一群 AI 代理重建了网站，更惊人的是它们能互相揪出谎言。大家欢呼“幻觉已解决”，但我认为结论恰恰相反。当检查变得廉价且普及，自我验证就一文不值，真正的价值将转移到谁能提供独立的“证明”。历史反复证明，从复式记账到信用评级，当计算能力普及时，独立审计的价值反而飙升。AI 时代，廉价检查只是计算器，而独立、可追责的审计意见才是未来真正的护城河。 - 从花粉抖动到Wiener过程 — ▲ 23 · 💬 0 · 🔗 gregorygundersen.com
想象悬浮在水中的一粒花粉，它的运动轨迹看似完全随机且不可预测。Robert Brown 在1830年代首次观察到这一现象，但直到1905年，Albert Einstein 和 Marian Smoluchowski 才提出分子撞击理论，解释了这种看似无规律的抖动。Jean Baptiste Perrin 随后的实验验证了该模型，而 Norbert Wiener 则将其形式化为著名的 Wiener process。本文通过构建离散时间的随机游走模型，利用二项式树推导花粉粒子的位置分布，揭示了从微观随机性到宏观正态分布的深刻联系。这不仅解释了物理现象，也为理解股票价格波动等复杂系统提供了数学基础。 - EmDash 用 Clef 自动审核插件 — ▲ 21 · 💬 7 · 🔗 emdashcms.com
EmDash 的官方插件注册表现在利用 Cloudflare 的 Clef 决策模型进行自动审核。在插件上架前，系统会扫描元数据、外链、图标和截图，识别钓鱼、冒充、诈骗及违规内容。这一机制基于 AT Protocol 构建，既保留了作者自主发布签名版本的开放性，又通过自动化手段防止滥用。Clef 作为多模态模型，能同时处理文本和图像，将原本需要多个模型协作的流程简化为单一接口，显著提升了审核速度。测试显示，Clef 在所有回归测试中表现完美，且延迟更低。作者无需额外操作，插件发布后若需人工复审，签名版本依然保留，等待团队最终决定。 - 西西里街头偶遇Redis之父Antirez — ▲ 21 · 💬 12 · 🔗 orazioscicolone.it
作为一位在科技行业工作的西西里人，我多年来一直关注Salvatore Sanfilippo（Antirez）的技术分享，从软件工程到本地AI模型，他的观点总能引起我的共鸣。今年假期，我回到家乡，得知Antirez也在附近的Campobello di Licata参加当地节日。尽管他最初表示难以见面，我还是决定前往。在节日的街头，我意外地遇到了正在散步的Antirez。我们聊了五分钟，话题从AI到他的最新视频，这次偶遇让我深刻感受到科技圈的奇妙与Antirez的平易近人。 - OpenAI 一夜解出372个数学难题 — ▲ 21 · 💬 1 · 🔗 scottaaronson.blog
昨晚，我的9岁儿子嘲笑妻子 Dana Moshkovitz 被机器人‘打败’了，因为 OpenAI 发布的372个数学突破中，包含了妻子毕生研究的 Unique Games Conjecture 的证明。这次发布由 Timothy Gowers 和 Edward Witten 等顶尖数学家背书，涵盖了从 L=BPL 到 Riemann hypothesis 的进展。尽管 Lean 证书已生成，但人类尚未完全理解这些证明。面对这场 Mathocalypse，数学家们正从猎手转变为向导，试图消化这些由 AI 生成的‘外星’成果。 - AI模型集体思维：中国模型更爱随大流 — ▲ 20 · 💬 7 · 🔗 magicnumbers.io
我开发了一个工具，让12个AI模型回答“Top 3”类问题并统计结果。数据揭示了一个有趣现象：DeepSeek、Kimi K2等中国模型在回答时更倾向于与群体共识保持一致，而Llama 4 Scout、Claude Haiku等美国模型则表现出更强的独立性。这种差异可能源于模型蒸馏、训练数据共享或后训练策略的不同。当AI开始互相模仿，共识可能不再代表正确，而只是“最先出现”的答案。 - NetBSD racoon2：IPv6 与 NAT-T 全面修复 — ▲ 18 · 💬 10 · 🔗 blog.netbsd.org
在 Google Summer of Code 2026 项目中，Artem Belan 对 NetBSD 的 racoon2 IKE 守护进程进行了深度重构。项目彻底解决了长期存在的 IPv6 支持缺陷，使其默认即可用；实现了符合 RFC 7383 的 IKE 分片机制，防止大包导致崩溃；修复了 IKEv1 和 IKEv2 中的 NAT 穿透逻辑，不再需要繁琐的变通配置。此外，项目统一了地址宏的行为，建立了自动化单元测试框架，并完善了与 Windows、iOS 和 Android 原生 VPN 客户端的互操作性。这些改进让 racoon2 能够稳定地作为 L2TP/IPsec 或 IKEv2 服务器运行，无需任何 workaround。 - youtube-dl 仓库在 GitHub 上复活 — ▲ 17 · 💬 2 · 🔗 lwn.net
备受关注的视频下载工具 youtube-dl 的 GitHub 仓库终于恢复了。此前，由于美国唱片业协会（RIAA）发出的 DMCA 通知，GitHub 曾被迫下架该仓库。此次恢复并非毫无代价，开发者仅移除了部分涉及特定音乐视频下载测试的代码，这些测试正是 RIAA 投诉的焦点。这一事件再次凸显了开源项目在版权合规与用户需求之间的艰难平衡，也让社区看到了技术工具在版权争议中的韧性。 - Minut 如何帮 Airbnb 房东监控派对 — ▲ 17 · 💬 52 · 🔗 minut.com
Airbnb 房东最头疼的莫过于租客偷偷举办派对，不仅扰民还可能损坏房屋。Minut 推出的 Crowd Detect 功能，通过被动检测附近 iOS 设备的信号，实时估算屋内人数。一旦人数超过房东设定的阈值，系统立即发送警报，让管理团队能在事态扩大前及时介入。除了防派对，Minut 还整合了噪音监测、吸烟检测、室内温湿度监控及安防报警等多重功能，帮助房东在合规的前提下，轻松维护房屋标准，减少邻里投诉，让每一次预订都更安心。 - Pinrail: 让代码代理等待你审核的桌面收件箱 — ▲ 17 · 💬 2 · 🔗 github.com
Pinrail 是一款桌面应用，专为需要人类介入的代理工作流设计。当你的 Coding Agents（如 Claude Code、Cursor 等）执行关键任务时，Pinrail 会暂停它们并等待你的审核。它提供针对代码差异、图像生成等内容的专用视图，让你能直观地接受、拒绝或修改代理的建议，而非在聊天框中来回打字。所有数据本地存储，通过本地 API 与代理无缝交互，确保你在自动化流程中保持最终控制权。 - UniEvo-VL：让多模态模型自我进化 — ▲ 16 · 💬 3 · 🔗 arxiv.org
现代多模态模型正在生成与理解之间架起桥梁，UniEvo-VL 提出了一种无需外部教师模型的自我蒸馏训练方案。该框架让单一模型在测试时计算中扮演师生双重角色：学生仅接收原始问题，而教师则利用模型自身的批判性反馈作为特权信息进行指导。通过在 Qwen-image-2512 上的实验，该方法显著提升了图像生成能力，GenEval 分数从 0.747 跃升至 0.808。研究还发现，具备更强评判能力的模型能触及更高的自我进化天花板，为无监督下的递归自我改进提供了新路径。 - Arcadeia: 带动态预览的自托管媒体库 — ▲ 16 · 💬 6 · 🔗 github.com
Arcadeia 是一款开源的自托管照片与视频库，专为个人媒体归档设计。它支持通过拖拽上传、连接网络存储，并能在浏览器中直接播放视频。其最大亮点是动态缩略图功能，可自动生成视频关键帧动画预览，让你无需打开文件即可快速识别内容。此外，它还能搜索文件名、描述，甚至通过本地转录功能让视频中的语音变得可搜索。所有数据均运行在你自己的服务器上，安全可控。 - 1000 亿 token 需多少 H100？ — ▲ 16 · 💬 8 · 🔗 cedana.com
想用 Llama 3.3 70B 在一个月内生成 1 万亿个 token？根据 Cedana 的计算器，这大约需要 367 张 H100 GPU。文章详细拆解了从每秒 token 数到 GPU 利用率的计算逻辑，并对比了 A100、V100 及 B200 在不同模型下的性能表现。对于 DeepSeek V4 Pro 或 GLM-5.3 等超大模型，B200 凭借 FP4 支持和更大显存，性能领先 H100 可达 4 到 21 倍。作者提醒，这些结果仅为规划估算，实际部署前务必在自有硬件上实测，因为延迟目标和混合专家模型的结构差异会显著影响最终结果。 - HN Simulator: 高度还原 Hacker News 的趣味克隆版 — ▲ 14 · 💬 5 · 🔗 news.ycombinator.lol
HN Simulator 是一个看似无厘头却几乎完美复刻 Hacker News 体验的克隆项目。它保留了原站经典的极简界面、新闻列表、评论互动以及投票机制，让开发者在熟悉的环境中体验另一种可能。无论是想测试前端兼容性，还是单纯怀念那个充满技术讨论的社区氛围，这个模拟器都能提供原汁原味的 Hacker News 感觉。项目通过精细的细节还原，展现了开发者对经典设计的致敬与幽默感，为技术爱好者提供了一个轻松有趣的互动空间。 - TidesDB：MySQL 的新存储引擎来了 — ▲ 14 · 💬 1 · 🔗 tidesdb.com
TidesDB 现已作为外部插件正式集成到 MySQL，支持 v9 和 v26 版本。这并非一个分支，而是一个即插即用的存储引擎，可与 InnoDB 共存于同一服务器。它专为写入和空间优化设计，在读写性能上表现卓越。测试数据显示，在点查询、更新索引和删除操作等场景下，TidesDB 的吞吐量远超 InnoDB，写入磁盘的数据量更是减少至原来的几十分之一。通过 LSM 架构和值分离技术，它大幅提升了处理大值的能力，同时支持压缩、加密、外键约束及全文索引等丰富功能。对于追求极致写入性能和空间效率的 MySQL 用户来说，这是一个值得尝试的新选择。 - OpenWAM：机器人预测与行动的通用框架 — ▲ 12 · 💬 3 · 🔗 openwam.stanford.edu
斯坦福推出的 OpenWAM 为机器人世界 - 行动模型提供了统一的开源框架。它基于 Wan2.2-5B 视频模型，结合 32 块 NVIDIA B200 GPU 进行预训练，构建了可灵活配置的 Mixture-of-Transformers 架构。该框架支持视频先于行动、行动先于视频或两者联合生成等多种交互模式，并引入了本地上下文的逆动力学（IDM）和前向动力学（FDM）模块。通过在 LIBERO-Long-CF 等包含反事实数据的集上训练，OpenWAM 在 LIBERO 基准测试中取得了 98.6% 的平均成功率，在双机械臂操作任务中也展现了卓越性能，证明了模块化组件在复杂控制任务中的强大潜力。 - Normal Tools：无登录无下载的在线工具集 — ▲ 11 · 💬 0 · 🔗 normaltools.com
Normal Tools 是一个主打极简主义的在线工具平台，提供 193 款实用工具，涵盖文本处理、开发者辅助、设计、财务计算及日常生活规划等场景。所有工具均无需注册账号、无需下载软件，直接在浏览器中运行。平台坚持默认隐私保护，用户输入的数据不会上传服务器，所有处理均在本地完成。从 Word Counter、JSON Formatter 到 Mortgage Calculator、Paint Calculator，Normal Tools 让日常任务变得高效且安全，真正实现了‘打开即用，用完即走’的理念。 - OpenAI 发布 722 篇数学论文 — ▲ 10 · 💬 1 · 🔗 github.com
OpenAI 在 GitHub 上公开了 722 篇数学手稿，覆盖 372 个结果家族。这些论文不仅解决了 Hilbert's tenth problem over ℚ 和 Goldfeld's conjecture 等长期悬而未决的难题，还证明了 Catalan's constant 是无理数，并验证了 quasi-Riemann hypothesis。从代数几何到数论，从 BSD formula 到 Deligne–Drinfeld conjecture，这批成果展示了 AI 在纯数学领域惊人的推理与证明能力，标志着数学研究可能迎来新的范式转变。 - 解剖拉链：John of Arderne 的 Sweden Scroll — ▲ 10 · 💬 1 · 🔗 publicdomainreview.org
作为现代外科奠基人之一，John of Arderne 留下了大量实用医书，但现存最独特的却是这份瑞典卷轴。这份创作于 1425 至 1435 年间的羊皮纸长达近 6 米，绘有 120 多幅精美插图，甚至包括将人体像拉链一样拉开、展示内脏的震撼画面。与当时粗糙的手术参考书不同，这份奢华卷轴极可能由伦敦富有的女性委托制作，甚至可能与瑞典女王 Philippa 有关。它不仅记录了中世纪的外科知识，更以超前的视觉语言，在 Vesalius 之前数百年就预演了人体解剖学的艺术表达，让观者直面身体内部的奥秘。 - Python内存管理：从pymalloc到垃圾回收 — ▲ 9 · 💬 2 · 🔗 tech.daniellbastos.com.br
很长一段时间，我在写Python代码时从不担心内存管理，直到一场关于Strong ref、weakref和垃圾回收的演讲让我意识到自己知其然不知其所以然。为了真正搞懂Python如何释放内存，我决定先理解它如何分配内存。在CPython 3.12中，小对象（≤512字节）由pymalloc管理，通过arena、pool和block的层级结构高效复用；大对象则直接调用系统malloc。释放内存同样分两种机制：引用计数处理常规对象，而垃圾回收器专门解决循环引用问题。我深刻体会到，一旦内存被分配，释放它并不总是能立即归还给操作系统，但我们可以控制引用的生命周期。这段探索Python Internals的旅程充满挑战，却也乐趣无穷。 - 如何拼凑科学：别让单一研究误导你 — ▲ 9 · 💬 0 · 🔗 aeon.co
作为科技记者，我目睹了太多因孤立报道单一研究而引发的恐慌，比如FDA曾因片面解读数据警告孕妇慎用acetaminophen，最终被更全面的研究推翻。每年全球发表700万篇论文，但真正能看清全貌的，是像Gene Glass发明的meta-analysis和Iain Chalmers推动的Cochrane Collaboration这样的证据综合方法。这些工具能帮我们穿透噪音，从海量研究中提炼出真正可靠的结论。科学的价值不在于单篇论文，而在于如何系统性地拼凑已有知识。 - 机器已启动，为何回复却消失了？ — ▲ 4 · 💬 3 · 🔗 mainbrella.com
当你在 Mainbrella 请求创建一台 Linux 机器时，机器确实启动了，但回复却凭空消失。从客户端看，这就像请求从未到达服务器。文章深入剖析了 Mainbrella 后端如何利用 Cloudflare Durable Object 处理并发槽位竞争，确保在重试机制下不会重复计费或启动多余机器。通过引入 Idempotency-Key 和基于时间戳的“高水位标记”，系统能有效识别延迟消息，防止旧指令复活已取消的任务。此外，文章还探讨了计算预算的预留机制与硬截止时间，确保即使网络中断，资源消耗也能被精确追踪。这是一次关于分布式系统一致性、幂等性设计与资源生命周期的深度技术复盘。
点赞
收藏
点踩
分享评论
?
参与讨论