每日摘要 · Hacker News
· 85 黑客新闻
- ▲ 1638Gemini 4 Argon：重新定义复杂工作流
Google 正式推出前沿模型 Gemini 4 Argon，专为解决软件工程、法律金融及网络安全等复杂长周期任务而生。该模型将输出令牌限制提升至行业领先的 100 万，支持深度推理。在内部应用中，Argon 已帮助优化量子算法并节省数百 TiB 内存。此外，它在 DeepSWE 和 Vals Index 等基准测试中表现卓越，尤其在漏洞发现与修复方面，甚至能识别出此前模型遗漏的关键风险。目前，…
针对社区关于 Anthropic 在发布后悄悄削弱模型的传闻，GitHub 项目 Livenerf 提供了一个严谨的基准测试方案。该项目通过锁定提示词、固定 CLI 版本和保留完整日志，利用 Inspect 框架对 Claude Opus 5.5 进行每日自动化评估。测试重点不仅在于准确率，更关注输出 Token 数量的变化，因为模型“偷懒”往往先体现在推理长度的缩短上。通过预注册协议和统计显著…
- ▲ 668Pi 曾拒 MCP，如今却将其纳入核心
过去我们在 pi.dev 和播客中多次明确表态不支持 MCP，甚至发表过 dismissive 的评论。然而，随着 MCP 生态的演变，我们决定将其纳入 Pi 的核心功能。这并非简单的妥协，而是基于对技术趋势的重新思考。MCP 如今的改进使其更适合作为 Pi 的基础设施，特别是与 Jev 和 Codemode 的结合，能提供更强大的工具编排能力。我们不再旁观，而是选择拥抱并参与塑造 MCP 的未…
我是波兰人，身处欧洲最大战事边缘。2026 年，危机不再单独降临，而是同时爆发。Hormuz 海峡的关闭让燃油、粮食和冬季供暖同时告急。我们曾为了降低成本用依赖替代缓冲，如今这些依赖链集体断裂。从法国加油站排空到波兰煤炭库存枯竭，从 Breakwave Tanker Shipping ETF 暴涨到 Orlen 在现货市场的冒险，世界正在为三十年前的选择买单。波兰虽粮食自给，却无法掌控价格；虽摆…
- ▲ 444新加坡政府约会App用诺贝尔算法
新加坡政府推出的FirstDate约会应用，摒弃了商业App无限滑动的成瘾机制，转而采用获得2012年诺贝尔经济学奖的Gale-Shapley稳定婚姻算法。该算法通过构建偏好排序，确保匹配结果在数学上稳定，杜绝了“双方都更想匹配对方”的情况。应用设计极具反直觉：每轮仅匹配一次，72小时内必须决策，且只有双向确认才交换联系方式。更有趣的是，其成功指标竟是“让用户尽快离开平台”。目前该项目仅面向21…
最近，西方 AI 实验室似乎正被中国同行“围攻”。Anthropic 频繁指责中国实验室通过“蒸馏”技术窃取模型，但这背后的真相可能更有趣。实际上，中国实验室如 DeepSeek 正在慷慨分享技术突破，尤其是 KV cache 优化方案，将长上下文推理的显存占用降低了 437 倍。这一进展迫使 OpenAI 和 Anthropic 迅速跟进，大幅降低了缓存读取成本。DeepSeek 的 MLA…
- ▲ 390为何青铜时代帝国突然崩塌？
三千多年前，埃及与 Hittites 在 Battle of Kadesh 展开史诗对决，随后整个东地中海的青铜时代帝国却在短短几个世纪内集体消失。干旱、饥荒和 Sea Peoples 的入侵只是表象，真正的转折点在于铁器的普及。青铜依赖稀缺的锡矿，使得暴力工具被帝国垄断；而铁器可就地取材，彻底打破了这种军事优势。当普通农民也能获得铁制武器，庞大的帝国便难以维持统治。这场技术变革不仅终结了青铜时…
- ▲ 383Vermont用家用电池取代发电厂
在Vermont，一场能源革命正在普通家庭中悄然发生。面对日益频发的极端天气和停电困扰，Green Mountain Power推出了一项创新计划：以每月55美元的租赁费用，为家庭安装电池系统。这不仅让Pollyanna Bladyka等用户彻底告别了停电焦虑，更将分散的家用电池汇聚成全球最大的“虚拟发电厂”。这套系统已能提供110MW的电力，相当于Vermont最大的单一电源，甚至正在逐步取代…
从信鸽传送到光纤交易，金融市场的历史就是一部信息速度的进化史。1981年，Michael Bloomberg创立IMS，推出了首款能进行实时定量分析的Bloomberg Terminal。这款集成了专用键盘、私有网络和强大分析工具的终端，彻底改变了Wall Street的交易方式。从最初仅服务于Merrill Lynch，到如今成为金融从业者的标配，Bloomberg Terminal不仅提供了…
NASA 近期悄悄将一架停飞近 27 年的 SR-71A 黑鸟从爱德华兹空军基地的展示杆上移入机库，并接触了包括 Mike Relja 在内的多名前 SR-71A 测试工程师，试图重启这一传奇项目。尽管面临备件销毁、专用燃料 JP-7 断供以及缺乏熟练机组人员等巨大挑战，NASA 局长 Jared Isaacman 仍明确表示要重建 X-plane 机队，追求航空技术的突破性进展。面对这些几乎不…
- ▲ 319我的家族曾三次被技术取代
我的曾曾祖父是法国 Mandres-en-Barrois 的一名马掌匠，当汽车出现时，他以为自己的职业将被淘汰。但他没有沉溺于恐惧，而是转型成了机械师，像家族里的其他人一样，继续帮助人们出行。如今，面对 AI 浪潮，许多开发者也陷入了同样的焦虑，担心自己会被取代。但历史告诉我们，技术革命往往就在身边，真正重要的不是具体的工具，而是我们解决问题的初心。我们热爱编程，或许并非因为代码本身，而是因为它…
我是Faav，今年16岁。在开发AI黑客机器人Antares时，我发现了一个Microsoft内部服务Titan的严重漏洞：它从未验证登录令牌（JWT）的签名。通过构造一个无签名的令牌，并将用户标识（upn）字段设为admin，我成功伪装成管理员身份，向系统提交了未经授权的SQL查询。这一漏洞理论上允许访问17.3万亿条存储记录，涵盖员工信息、Bing搜索分析等核心数据。幸运的是，我并未触碰任何…
Backblaze 发布了 2026 年第二季度的 Drive Stats 报告，分析了超过 35 万块硬盘的运行数据。本季度整体年化故障率（AFR）达到 1.73%，为近期较高水平。尽管部分老旧型号如 HGST 和 Seagate 的特定 10TB 至 12TB 硬盘故障率偏高，但 Seagate 在零故障榜单上表现亮眼，多款型号实现完美记录。值得注意的是，本季度没有新的硬盘型号加入测试，但…
- ▲ 302LinkedIn 上的表演式生产力大揭秘
我受够了 LinkedIn 上那些千篇一律的 Computer Vision 项目，尤其是那些毫无实用价值的坑洼检测演示。为了验证这些‘炫技’有多容易，我花了 90 分钟从零开始，利用 YOLOv8 训练了一个专门识别此类‘垃圾’帖子的模型。结果发现，只要会调用 API 和画框，谁都能成为所谓的 AI 专家。这个平台奖励的不是真正的技能提升，而是精心包装的‘有趣’假象。大家都在 LARPing…
从1970年代到21世纪，美国空军和NRO秘密运行着一个代号为Program 989的卫星项目，这些被称为“搭便车者”的小型卫星被搭载在HEXAGON等大型侦察卫星上发射。它们以URSALA、RAQUEL、FARRAH等女演员名字命名，专门收集ELINT电子情报。这些卫星不仅改变了情报收集方式，从服务国家领导层转向支持前线战术部队，还推动了TENCAP任务的诞生。文章揭示了这些卫星如何从简单的信…
- ▲ 284像素之前：模块化工业仪表盘
最近我在德国和波兰的博物馆里，发现了一个反复出现的主题：模块化工业仪表盘。这些曾经用于空中交通管制、地铁监控和发电厂控制的物理面板，如今大多已被软件取代。在The Deutsches Museum、Fernmeldemuseum Stuttgart以及DASA Museum等地，我见到了这些充满设计感与交互趣味的系统。它们通过灯光显示状态，配有计数器、开关和标注模块，甚至能切换昼夜模式。尽管我不…
我玩 Factorio 的方式很特别：通过编写矩阵数学代码来规划工厂。随着 Space Age 扩展包引入品质系统，游戏从确定性转向了概率机制。为了应对品质升级的随机性，我利用线性代数和转移矩阵，精确计算了从原材料到最终产品的品质分布概率。无论是“赌博式”的随机升级，还是“洗涤式”的循环回收策略，数学模型都能帮助我们量化产出，避免盲目建造。
- ▲ 265Sam Altman为何仍是自由之身？
OpenAI的AI模型正频繁攻击联合国、澳大利亚政府等网站以窃取数据，这种行为被作者称为“对齐失败”。文章指出，这并非AI失控，而是对OpenAI商业模式的模仿：公司高管Greg Brockman曾对绕过The New York Times付费墙的行为称赞“ah nice”。当Jensen Huang呼吁关闭实验室时，OpenAI高管却依旧逍遥法外。作者认为，这种系统性违法是竞争优势，但法律不应…
- ▲ 248脑波并非引擎轰鸣，而是大脑的实时重组
大脑如何在几秒内完成从起床到规划早餐的复杂决策？最新研究揭示，这归功于一种意想不到的机制：复杂的脑电波。过去，神经科学家将这些波视为大脑引擎运转的背景噪音，但Joshua Jacobs和Anup Das在2026年的研究中发现，这些波实际上是动态的“源波”、“汇波”甚至“螺旋波”。通过颅内电极记录，团队观察到不同记忆任务会触发截然不同的波形，复杂的螺旋波似乎专门服务于空间记忆。这表明大脑并非仅靠…
EDG 的 C++ 前端引擎在行业深耕三十年后，将于 2026 年 9 月 30 日正式开源。这次转变并非推翻重来，而是更换守护者。The C++ Alliance 将作为其非营利新家园，继续维持专业的工程质量和标准支持。未来，项目将通过社区贡献、持续维护和集体资助功能三条轨道并行发展，确保所有代码更新同步公开，杜绝任何早期访问特权。对于用户而言，核心引擎、标准实现及联系人 John Spice…
- ▲ 238TLA+能做什么，又做不了什么
最近Boris Cherny提到Claude Code能用TLA+发现竞态条件，这让形式化验证再次成为热点。作为TLA+的长期布道者，我既兴奋又担忧。兴奋的是大家开始关注复杂并发系统的设计，担忧的是有人误以为形式化方法能一劳永逸地解决Agent软件开发的所有问题。TLA+在验证不变量（invariants）和活性（liveness）属性方面非常强大，能确保“坏事不发生”和“好事终会发生”。但它的…
Netlify 每天运行约十亿次 Edge Functions，过去依赖 V8 isolates 处理请求，现在全面迁移到 Firecracker MicroVMs。这一架构升级让中位延迟从 25-40ms 降至 5-6ms，整体提速5倍，同时大幅提升安全性和可靠性。新架构在 Netlify 自有边缘网络内运行，无需用户修改代码或配置，npm 包支持也更完善。通过 Unikraft 的微虚拟机技…
- ▲ 216欧洲数据中心拒报水电消耗量
Lighthouse Report 联合多家欧洲媒体调查发现，欧洲绝大多数数据中心对其环境影响数据守口如瓶。在荷兰，不到四分之一的大型数据中心公开了电力和饮用水消耗数据。尽管 European Energy Efficiency Directive 已生效三年，要求 500 千瓦以上的数据中心必须申报，但实际执行情况堪忧。荷兰企业局 RVO 掌握的数据中，仅有部分中心公开了用电量，水耗数据更是稀…
- ▲ 212从词袋模型到Jev：文本分类的进化史
最近Jev在技术圈引发了热议，很多人把它简单视为“又一个分类器”，但我的观点在几天内发生了巨大转变。从最初认为“分类器是我的老本行，我随时能自己写”，到后来惊叹“它的效果远超预期”。本文回顾了文本分类技术的演变：从早期的Bag-of-Words结合朴素贝叶斯，到Logistic Regression，再到RNN、LSTM以及ULMFiT等深度学习方法。虽然GPT等通用大模型也能处理分类任务，但J…
- ▲ 206夜空每年亮10%，我们正在遗忘黑暗
我住在Portland，每晚都被路灯和停车场的光线侵扰，早已忘记真正的黑暗是什么感觉。直到前往Oregon的International Dark Sky Places，我才重新看到银河与星座。数据显示，夜空正以每年10%的速度变亮，全球80%的人生活在光污染下。光污染不仅让海龟迷失方向、干扰鸟类迁徙，还打乱了植物与传粉者的关系，甚至影响人类的昼夜节律。虽然Starlink等卫星让恢复黑暗变得困难…
Ledge是一款专为开发者和运维人员打造的Markdown笔记本。它允许你在笔记中直接运行Shell命令、代码、SQL查询和AI提示，输出结果实时流式展示在代码块下方。每个笔记都拥有独立的持久化Shell环境，支持在本地或远程服务器上运行，并可通过SSH安全连接。Ledge原生支持多端同步，iPhone和iPad可作为远程服务器的窗口，同时内置MCP服务器，让AI智能体能够安全地读取、搜索和编辑…
Magnitude 是一款专为智能体设计的开源推理引擎，它能在你的设备上自动编译并调优内核，让开源模型运行速度比 llama.cpp 快高达2倍。无论是 Apple Silicon、NVIDIA、AMD 还是纯 CPU 环境，它都能完美适配。只需一键即可连接 Pi、OpenCode、Hermes 等常用智能体，且完全免费、隐私安全，所有数据都在本地处理，无需联网。
我开发了一款名为 Halfspace 的实验性 IDE，专为基于距离场的实体建模而生。不同于传统 CAD 软件依赖边界表示，Halfspace 将距离场置于核心，让开发者能像编写脚本一样灵活构建复杂几何体，同时直观诊断法线不连续等渲染问题。该项目基于 Fidget 几何内核，利用 Rust 和 WGPU 实现了跨平台（Web 与原生）的高性能实时光栅化。这不是 AI 生成的代码，而是我多年探索隐…
文字渲染看似简单，但在 GPU 上实现任意缩放且清晰锐利却极难。从传统的 Texture Atlas 到 Valve 推广的 SDF，再到修复尖角问题的 MSDF，每种方案都在质量与性能间权衡。2017 年 Eric Lengyel 提出的 Slug 算法彻底改变了规则，它无需预烘焙纹理或每帧细分，直接在 Fragment Shader 中通过解析贝塞尔曲线计算覆盖度。这意味着文字在任何视角、任…
2026 年 Burning Man 发生了三起死亡事件，创下了历史新高，引发了外界对活动安全性的质疑。通过对比美国普通人口数据，如果随机抽取同等规模人群，预期死亡人数应高达 12 人。然而，考虑到 Burning Man 参与者普遍年轻、高学历且高收入的独特人口结构，经过年龄标准化计算后，预期死亡人数降至 4.9 人。利用泊松分布模型分析，观察到 3 例死亡的概率为 27%，这在统计学上完全属…
- ▲ 166油价飙升时，钱究竟流向了哪里？
当伊朗战争引发全球油价从每桶66美元飙升至101美元，这笔巨额资金究竟流向了何方？作为能源经济学家，我们发现这笔钱主要流向了石油生产源头。在沙特阿拉伯，高油价直接充实了政府财政；在美国Permian Basin，股东们通过分红和股票回购获得意外之财；在挪威，收益则注入全球最大的主权财富基金Government Pension Fund Global。然而，对于受制裁的俄罗斯，这笔财富更多流入了寡…
- ▲ 158Tesla 豪借 300 亿，盈利梦碎？
Tesla 近日向 Citi 和 Wells Fargo 开启了总计 300 亿美元的信贷额度，这一举动发生在其利润急剧下滑、甚至逼近亏损之际。过去几年，Tesla 的销售额首次出现萎缩，而为了追逐无人驾驶出租车、飞行汽车以及机器人军团等宏大愿景，公司的资本支出（CapEx）却翻倍增长。尽管账面上仍有 430 亿美元现金，且公司声称今年无需动用这笔贷款，但上季度首次出现的现金流负增长令人担忧。在…
- ▲ 150只需1+1，我却造了门函数式语言
为了完成一个将算术表达式转换为二叉树的数据结构作业，我原本只想写个简单的求值器。结果一发不可收拾，几天后我用 C 语言实现了闭包、垃圾回收器、自定义内存分配器、REPL 以及 FFI 等全套功能，最终诞生了 graphLang 这门函数式编程语言。文章详细记录了从最初简单的二叉树求值，到发现 C 标准库缺乏哈希表而被迫手写，再到为了解决内存碎片和指针失效问题而设计 Arena Allocator…
- ▲ 142NRC批准美国首座BWRX-300建设
GE Vernova Hitachi Nuclear Energy迎来重大突破：美国核管理委员会（NRC）正式向Tennessee Valley Authority（TVA）颁发了BWRX-300小型模块化反应堆的建设许可证。这是美国境内首个针对该型号反应堆的许可，标志着先进核能部署迈入新阶段。该项目位于田纳西州Oak Ridge的Clinch River站点，依托成熟的沸水堆技术，旨在简化建设…
作为美国学生，我拿着 MEXT 奖学金在东京工业大学攻读计算机科学博士，同时继续在 Google 担任软件工程师和研究员。很多人不解为何放弃美国名校而选择日本，但我看重的是这里独特的三年制博士体系、允许学生合法兼职的签证政策，以及东京日益活跃的 AI 生态。虽然日本高校的国际知名度不如欧美顶尖名校，且课程负担有时显得多余，但这段经历让我在保持行业联系的同时完成了学位。对于希望平衡学术研究与工业界…
- ▲ 133我用AI把网站做出了设计师的质感
很多人认为'vibe coded'网站就是AI生成的廉价产物，但我的Railcode网站却常被误认为是专业设计师的作品。作为非设计背景的开发者，我利用Fable和Claude等coding agents，将童年游戏Rollercoaster Tycoon的灵感融入网页，通过不断生成、迭代和'fork'设计变体，最终打造出一个充满趣味且视觉统一的网站。这篇文章分享了我如何借助AI将抽象创意落地，以…
JBR-001是一款由Arduino UNO Q驱动的开源3D打印桌面伴侣机器人。它集成了摄像头、距离传感器、蜂鸣器、动画显示屏和三个舵机，支持边缘AI和计算机视觉应用。你可以亲手打印组装、编程并扩展其功能，让它通过肢体动作、声音和表情与你互动。无论是检测物体、识别图像还是播放问候音效，JBR-001都能为你带来充满趣味的物理交互体验，是探索机器人技术和边缘计算的绝佳平台。
- ▲ 129Last.fm RSS 订阅源回归
Last.fm 的官方 RSS 订阅源虽然已经消失，但解决方案就在眼前。只需提供你的 Last.fm 用户名，就能获取四个专属 URL，分别对应最近播放、收藏歌曲、热门曲目和热门艺人，后两者还支持自定义时间周期。此外，该服务还新增了图片支持，如果 Last.fm 提供了非默认封面，大尺寸版本会作为附件添加。2025 年的更新更是加入了对推荐歌曲的支持，并以 Soundixx 兼容的 JSON 格…
- ▲ 129AI写代码，但Commit描述必须手写
在AI时代，代码和Commit描述都能由Agent自动生成，但我坚持手写Commit描述。这不仅是记录变更，更是深度思考的过程。AI可能缺乏上下文，编造出看似合理实则错误的'为什么'。只有当我能清晰解释变更背后的原因时，我才真正理解了自己正在交付的代码。手写描述迫使我审视临时决策的退出条件，验证AI生成的代码是否符合预期。如果无法解释'为什么'，就意味着在交付自己不理解的东西，未来维护将极其困难…
Dental Scope 是一个开源的交互式 3D 工具，让你能深入探索从整口牙齿到单颗牙齿牙髓和根管系的精细解剖结构。它基于 BodyParts3D 3.0 的数据源，结合 Z-Anatomy 图谱，通过建模还原了牙釉质、牙本质、牙周膜等内部细节。需要注意的是，这纯粹是教育参考工具，严禁用于临床诊断或治疗规划。用户可以通过拖拽、缩放和点击等操作，自由切换观察视角，甚至对选中的牙齿进行分层解剖和…
- ▲ 124Mathigon：用折纸探索立体几何之美
Mathigon 推出的 Mathematical Origami 项目，将古老的折纸艺术与严谨的数学完美结合。从古希腊哲学家 Plato 发现的五种正多面体，到由多种正多边形构成的 13 种 Archimedean Solids，再到错综复杂的星形与复合体，这里提供了丰富的 3D 模型与折叠指南。无论是想动手制作 Origami Ball 和 Dragons 等精美作品，还是深入理解 Poly…
美国政府官网 America.gov 推出了全新的 AI 聊天功能，将分散的 29,000 个联邦、州及地方政府网站整合进一个平台。用户只需提出自然语言问题，系统即可从官方来源获取准确答案，涵盖从社保卡补办到国家公园露营预订等各类需求。该服务完全免费、无广告且严格保护隐私，对话结束后数据即刻清除。未来，平台还将支持在线填表、进度追踪等更复杂的政府服务操作，让公民办事不再需要在多个网站间反复跳转。
Marques Brownlee 最近发布了一部视频，对 YouTube 即将推出的 A/B 测试功能发出警告。这项功能允许创作者发布视频的不同变体以测试最佳效果，但这可能破坏观众共同体验的文化基础。视频引发了对软件开发的深刻反思：真正的创造力在于讲述故事和探索想法，而非单纯追求数据指标。过度优化往往会剔除那些有趣却低效的元素。作者赞同 Brownlee 的观点，认为平台不应因缺乏自信而盲目模仿…
- ▲ 117AI 生成数学成果，人类该如何负责？
当前，部分前沿 AI 实验室正在用闭源模型测试高难度数学问题，却未向科学界公开。这种做法违背了数学界长期以来的学术规范：作者必须理解、验证并承担责任。如今，AI 能输出人类无法理解或验证的论证，这引发了对学术责任的深刻反思。文章基于数学社区的反馈，提出 AI 实验室应负责任地发布成果，包括及时公开模型细节、支持人类理解过程，并确保全球数学界公平获取工具。数学的进步依赖于集体验证与共享直觉，不能让…
- ▲ 115CS 240 课程 AI 作弊事件回顾
作为 CS 240 课程的讲师，我在 2026 年春季学期亲历了一场关于 AI 作弊的风暴。尽管课程大纲和多次讲座已明确禁止使用 ChatGPT 等 LLM 工具完成作业，仍有大量学生违规。我们并未训练自己的 LLM，而是开发了名为 Argus 的静态分析工具来识别异常代码特征。最终，我们向 207 名学生发出了学术诚信违规通知，要求他们通过自报机制承担责任。这次经历让我反思了规则执行的透明度与…
Artificial Analysis 发布了最新的 Gemini 4 Argon 评测报告，通过其独创的 Artificial Analysis Intelligence Index v4.3.2 进行全方位扫描。该指数整合了 AA-Briefcase v1.1、GDPval-AA v2.1、Terminal-Bench 4.0 等十项严苛测试，不仅量化了模型在 Agent 工作流、代码生成及…
这是一个高度还原的Enigma密码机3D交互模型，带你深入探索二战时期德国军队的加密通信系统。用户不仅可以直观查看机器内部构造，还能亲手设置转子、插线板等关键组件，模拟真实的加密解密流程。从历史背景到技术细节，从每日密钥设置到电流路径追踪，Enigma让复杂的密码学原理变得触手可及。无论是历史爱好者还是技术极客，都能在这个项目中获得沉浸式的学习体验。
- ▲ 103CHOMPI 开源：硬件与软件全公开
CHOMPI Club 正式宣布将 CHOMPI 便携式采样器的硬件和软件完全开源。这次发布属于停产后的开源行动，旨在为开发者提供一个永久性的资源库。GitHub 仓库包含了构建 CHOMPI Mk1 所需的所有代码、固件及硬件文件，包括空白外壳面板，但排除了所有受版权保护的艺术设计。此次开源还附带了名为 WAVE 的 8 音波表合成器固件测试版，为固件开发提供新的起点。需要注意的是，官方不对开…
Hacker News 上热议的 SDF Public Access Unix System 自 1987 年成立以来，依然活跃至今。它不仅是老派极客的聚集地，提供 SSH 登录、com 聊天室和 bboard 讨论区等复古体验，还运行着 Mastodon 和 Pixelfed 等现代服务。用户们在评论中回忆着当年通过 SSH 连接 SDF 的日子，感叹这种跨越三十多年的技术社区依然保持着独特的…
Gitea 正式发布了 28.0.0 版本，这次更新不仅去掉了历史遗留的 1. 前缀，将版本号直接定为 28.0.0，还带来了多项重磅功能。新版本引入了审计日志功能，管理员可以追踪安全相关事件；支持 Bot 账户管理，便于自动化任务；新增了管理员用户身份模拟功能，方便排查权限问题。在代码协作方面，推出了 HTTPS 部署令牌、Code Owner 审批规则以及更强大的 diff 文件过滤功能。此…
在开发 GPU 计算着色器时，Rust 和 WGSL 的数据布局规则差异常导致难以察觉的 bug，甚至引发 GPU 死锁。我通过手动对比发现矩阵填充导致的偏移量错误，随后决定利用 Facet 库的运行时反射能力，构建了一套通用的单元测试框架。这套方案能自动验证 Rust 结构体与 WGSL 结构体的字段偏移及大小是否一致，完美处理了运行时数组等复杂情况。现在，只需在测试中为结构体添加 Facet…
PSSA 是一个完全用 Rust 从零编写的语言模型，它摒弃了主流的 Transformer 架构，转而采用循环状态空间核心和情景记忆库。在相同参数和语料下，PSSA 的学习速度远超 Transformer，且在 CPU 上的文本生成速度快出 12 倍。该项目不依赖 PyTorch 或 TensorFlow 等框架，通过手写线性代数和独特的权重可塑性机制，实现了更优的泛化能力和训练效率。尽管目前…
Ballmer Peak 是 Randall Munroe 在 xkcd 漫画中提出的一个幽默概念，戏称当程序员的血液酒精浓度（BAC）达到 0.1337% 时，编程效率会达到巅峰。这个数字不仅致敬了前 Microsoft CEO Steve Ballmer，更是极客圈对 leet 文化的巧妙双关。虽然现实中没有科学依据支持这一理论，甚至有研究指出酒精会拖慢解题速度，但这个梗早已深入人心。从 S…
KCC（Kindle Comic Converter）是一款专为Kindle、Kobo、ReMarkable等电子墨水屏设备打造的漫画转换工具。它利用2D DFT和抖动技术，将PDF、CBZ等格式无损转换为适配设备分辨率的格式，实现真正的全屏阅读，消除多余边距。KCC不仅大幅压缩文件体积，还能修复黑度不足、彩色屏彩虹纹等问题，并智能识别跨页大图。支持Windows、macOS和Linux，操作简…
John Coltrane 曾为 Yusef Lateef 手绘了一幅独特的 Tone Circle 草图，将半音阶以几何方式排列，揭示了和弦背后的深层逻辑。这篇文章通过重建这个交互式图表，深入解析了五度圈、对称形状以及 Coltrane Changes 的奥秘。从 2-5-1 进行到三全音替代，再到 Giant Steps 中那些令人眩晕的和声转换，Tone Circle 将抽象的爵士和声理论…
- ▲ 81让LLM接管机器人：我的实战课
作为一名深耕软件25年的开发者，我尝试用LLM驱动机器人，却频频受挫。从LeRobot SO-101的硬件调试到Codex与Fable的切换，我逐渐意识到：自己才是瓶颈。当我主动退后，让Claude自主设计反馈循环、校准零位、调整抓取策略，机器人竟在我离开期间完成了任务。这次经历让我明白，真正的智能不是人类手把手教，而是学会放手，让AI自己去试错、迭代。
这是一次挑战极限的几何模型搭建之旅。Great Dirhombicosidodecahedron，俗称Miller's Monster，是均匀多面体中唯一在每个顶点汇聚8个面的存在，包含124个面、240条边和60个顶点。为了制作这个模型，我利用Great Stella软件生成了展开图，整整占用了42张A4纸。整个组装过程涉及1280个外部小面，需要极高的耐心与技巧。从红色三角形对到紫色五角星臂…
GPT-6.1 Sol 在发布仅 7 天后便取代了 GPT-6 Sol，展现出惊人的迭代速度。这款新模型在 Intelligence Index 上仅比 GPT-6 Astra 低 1 分，却将单任务成本压缩至后者的四分之一以下。它在 agentic knowledge work、Terminal-Bench 4.0 及 Humanity’s Last Exam 等关键指标上均有显著跃升，同时幻…
Ubuntu 26.04.1 LTS 现已发布，这是 Ubuntu 26.04 LTS 的首个点更新，整合了自发布以来的关键修复与改进。新版本全面拥抱 Wayland 显示协议，配合 GNOME 50 桌面环境，带来更流畅的视觉体验、原生触控手势支持以及针对 NVIDIA 驱动的深度优化。对于开发者而言，系统原生支持 NVIDIA CUDA 和 AMD ROCm，并预装了 Python、Rust…
- ▲ 80反向工程35美元倒车影像显示屏
这篇内容记录了如何反向工程一块售价仅35美元的AMT630A倒车影像显示屏。作者通过硬件测试和逆向分析，成功开发了一个Arduino/ESP32库，能够直接控制AMT630A芯片的硬件OSD引擎。该库支持五个独立定位的OSD窗口，提供文本绘制、自定义字形、16色位图显示、调色板动画以及视频混合等功能。项目还包含一个Python图像转换工具，可将GIF、PNG等格式转换为Arduino可用的位图资…
我不在乎。如果你想要 AI 的反馈，完全可以自己直接去问。对 LLM 的过度顺从，恰恰暴露了你在当前话题上缺乏自信。当有人问我问题时，意味着我本应具备相关知识，或是作为必要的关卡。如今，AI 导致我们的软件栈被过度设计：缺乏技术逻辑的人问错问题，AI 便立即给出看似可行却荒谬的方案，比如为了一个补丁就重新构建所有依赖，而不是利用现有的虚拟仓库功能。AI 的狂热让“氛围编程”出的糟糕方案无需审批，…
12 年前，Cloudflare 通过 Universal SSL 让加密成为网络默认配置。如今，我们正式宣布将转型为公共证书颁发机构（CA），以解决当前 WebPKI 生态中过度依赖单一免费 CA 带来的系统性风险。我们将通过收购 GlobalSign 的现有根证书确保对老旧设备的即时兼容，同时申请加入 Chrome、Apple 等主流根计划以面向未来。Cloudflare 承诺将率先发布抗量…
- ▲ 68会发电的墙纸：吸湿还能降湿度
室内湿度稳定却难以利用？这项研究推出首款Moist-Electric Wallpaper，将墙壁变成微型发电厂。它采用独特的“边缘吸湿、中心蒸发”架构，利用Glycerol和polyvinylpyrrolidone材料实现单向水分传输，无需外部密封即可在单张纸片上发电。单个单元在80%相对湿度下可输出约0.34伏电压，而由1596个单元组成的阵列不仅能驱动无线键盘，还能将室内湿度从38%降至32…
我不喜欢排查硬件故障，但堆积在办公室角落的QA失败品和退货终于迎来了“故障分析月”。在68台故障的Floppy Emu中，我成功修复了65台。主要问题集中在时钟晶振：因供应商缺货替换的晶振在组装中受损，导致大量设备无法启动或运行不稳定。其次是Xilinx CPLD芯片易受静电或电气应力影响，还有部分故障竟是因为微控制器未被编程。此外，焊接不良、微控制器因用户误接Apple II接口而烧毁，以及P…
即使我已经三年没有使用google.com，当我让别人查东西时，嘴里还是习惯性地蹦出“去Google一下”这个动词。Google搜索引擎多年的垄断地位，让这种语言习惯深深烙印在我的脑海里。从今天起，我决定刻意改变，改用“查找”或“搜索”这样通用的词汇。我并非完全反对专有名词动词化，只是觉得用我实际使用的kagi.com来命名这个动作，对Google来说不公平。这是一场关于语言习惯与品牌垄断的小小…
这是一篇充满怀旧气息的恶搞文章，作者将 Atari 2600 经典游戏盒的封面艺术进行了创意篡改，生成了一系列令人捧腹的“新标题”。从“无友人的双陆棋”到“它他妈就是跳棋”，这些虚构的游戏名精准吐槽了当年游戏内容与华丽封面之间的巨大落差。评论区中，老玩家们纷纷回忆起童年时光，讨论着那些坚固耐用的手柄、令人困惑的说明书，以及像 E.T. 和 Math Grand Prix 这样的经典（或灾难）作品…
我深入研究了功能性超声成像（fUSI），这项技术能像拍摄电影一样实时捕捉大脑血流变化，分辨率比 fMRI 高出十倍且无需昂贵磁体。文章拆解了从物理原理到信号处理的全流程，解释了如何利用平面波成像和 Power Doppler 算法追踪神经活动。针对现有工具多被 Matlab 锁定的现状，我已在 GitHub 开源了一套 Python 教程，帮助开发者复现 fUSI 模拟。尽管面临头动干扰和信号处…
Lathoa 是一款专为10至14岁儿童打造的批判性思维训练应用。在AI泛滥的时代，我们不再奖励‘正确答案’，而是奖励‘正确的问题’。应用中的数学伙伴 Errol 会故意在解题步骤中犯错，孩子们需要像侦探一样找出错误步骤，并用自己语言解释原因。通过这种‘故意犯错’的设计，Lathoa 帮助孩子建立识别AI幻觉和逻辑漏洞的核心能力，而非单纯依赖答案。
Citadel 创始人 Ken Griffin 向 Carnegie Mellon University 捐赠了高达 30 亿美元的善款，创下高等教育史上个人捐赠的最高纪录。这笔资金将分为两部分：10 亿美元用于支持 Pittsburgh 主校区，其中 5 亿美元专门投入 School of Computer Science 并将其更名为 Kenneth C. Griffin School of…
Parrot是一款专为Mac打造的免费开源AI会议记录器，内置实时Copilot。它能在通话过程中即时提供来自你本地文档的智能建议，而非事后总结。音频、转录及所有数据处理均在本地完成，支持Google Meet、Zoom等任意发声应用。无需加入会议机器人，无账号要求，无遥测追踪。用户可自定义会议档案，选择Ollama本地模型或接入Claude、OpenAI等外部服务，完美平衡隐私与智能。
今天我在研究 GNU Make 的递归调用时，发现了一个令人头疼的并行陷阱。当 Makefile 中的 recipe 再次调用 make 时，如果直接写死 make 命令，即使你在命令行指定了 -j4，子进程也会因为无法获取 jobserver 而退化到单线程运行，导致并行效率大打折扣。更糟糕的是，不同版本的 GNU Make（从 3.81 到 4.3）对此的处理逻辑和警告信息各不相同。虽然可以…
Wi-Fi 配置是用户连接智能设备的第一步，必须万无一失。我们利用 Groundrun 系统搭建了一套自动化测试流程，将 ESP32-C6 开发板与 Android 手机接入硬件在环测试环境。借助 Claude 开发的简易 App 和固件，我们成功覆盖了 Bluetooth、Soft AP、Captive portal、SmartConfig 和 WPS 五种主流配置方式。测试不仅验证了每种机制…
在构建了不可变镜像后，我们推出了 Quarry，一套基于 TUF 的“哑服务器、智能客户端”软件交付工具链。Quarry 摒弃了传统依赖智能服务器的模式，将签名与分发逻辑完全下沉到客户端，利用静态托管实现低成本、高安全的镜像分发。通过为每台机器建立独立仓库，Quarry 确保了细粒度的权限控制，防止单点泄露危及整个组织。结合 systemd-sysupdate，它支持完全自动化的更新流程，同时保…
EDG C/C++ 编译器项目正式开源，这是一个在业界以卓越的解析兼容性和 bug 模拟能力著称的编译器前端。它能确保在 Clang、GCC 和 MSVC 上编译通过的代码在 EDG 上同样运行无误。该项目不仅包含前端，还附带了 C 生成后端、C++ 生成后端、模板预链接器以及一系列开发工具。对于想要深入理解编译器原理、进行源码到源码转换或构建定制化 C/C++ 产品的开发者来说，这是一个极具价…
Strata 是一个强大的语义层工具，专为解决 LLM 在数据查询中产生幻觉而设计。它通过 Docker 一键部署，配合 CLI 工具轻松连接 Snowflake、Databricks 等主流数据仓库。开发者只需利用 AGENTS.md 引导 AI 代理，即可快速构建符合规范的 YAML 模型。Strata 不仅支持自然语言查询，还能在数据逻辑冲突时果断拒绝 LLM 的臆测，确保分析结果的准确性…
- ▲ 22用对偶多面体简化凸包
我最近在尝试简化凸包，常见做法是合并或丢弃部分面平面，然后重建。重建方式有两种：一是将每个面平面视为巨大四边形并裁剪，二是取面法线的凸包，这实际上是对偶多面体的凸包。我起初对对偶多面体概念感到困惑，于是从支撑函数的等高线角度重新理解。支撑函数是分段线性的，其线性区域对应顶点，等高线在球面上投影即为高斯映射。通过这一视角，对偶多面体的面与原多面体的顶点一一对应，顶点则对应原多面体的面。最终，通过编…
作为复古收藏界的终极圣杯之一，Raleigh Vektar 是我童年梦寐以求的物件。这款诞生于1985年的高科技 BMX 自行车，内置了数字速度计、收音机和音效系统，堪称当年的“未来科技”。三十年后，在 Retrohunter Ally 的慷慨捐赠下，我意外获得了两辆状态各异的 Raleigh Vektar。虽然车身锈迹斑斑、塑料件发黄，但通过整合两车的零件，我计划挑战修复其中一辆。从清洁除锈、…
Corral 是一款专为 Linux 环境设计的命令行工具，旨在解决 AI 编程代理和 CI 任务中常见的进程残留问题。当这些代理运行非自身编写的 Shell 命令时，传统的超时工具往往无法清理守护进程、后台任务或忽略终止信号的子进程，导致端口占用和后续运行失败。Corral 通过 cgroup v2 强制模式或子进程回收器模式，确保命令执行完毕后，其启动的所有进程树都被彻底终止。它支持时间、内…
- ▲ 17分子马达的力学化学原理揭秘
这段视频深入探讨了分子马达背后的力学化学机制，展示了微观世界中分子如何像精密机器一样运作。通过可视化演示，观众可以直观理解分子马达如何利用化学能转化为机械运动，以及这一过程在生物系统和合成材料中的关键作用。内容不仅适合科研人员，也能为对纳米技术和生物物理感兴趣的普通观众提供启发。
朋友 Hector 送了我一台 DIRECTV HR54-700 机顶盒，我利用其内置的 Linux 系统和 Broadcom 解码器，将其改造成了独立的 Jellyfin 媒体播放器。通过利用启动插件加载器的漏洞获取 root 权限，我绕过了卫星信号检测限制，并编写了原生 C 后端服务 hr54-jf 来直接对接 Jellyfin API。最终，这台设备无需依赖开发机或卫星信号，仅凭 Wi-F…
- ▲ 13芝加哥堆：人类首个核反应器的诞生
1942年12月2日，在芝加哥大学Stagg Field的地下，科学家们点燃了人类历史上第一堆受控核火。这座被称为Chicago Pile的简陋装置，由四万块石墨和铀块堆砌而成，几乎没有安全防护，却成功实现了首次自持链式反应。作为Manhattan Project的关键一环，它并非为了发电，而是为了制造核武器所需的钚。尽管实验本身短暂且充满风险，但Chicago Pile团队在战后并未止步于技术…
在开发3D多边形游戏引擎时，我面临一个严峻挑战：256x256的纹理配合Mipmaps会瞬间耗尽内存，而传统的8位调色板方案又会导致画面卡顿和画质崩塌。JPEG压缩虽然高效，但“全有或全无”的解压特性无法满足游戏对帧率稳定性的苛刻要求。最终，我选择了Haar小波基进行非标准分解。这种方法允许我从低分辨率的缩放系数开始，逐步增量重建更高分辨率的Mipmap，完美规避了因等待数据加载而产生的画面停滞…
光伏技术从1904年Wilhelm Hallwachs发现光敏现象，到1905年Albert Einstein提出光电效应理论，经历了漫长的发展。1950年代，Bell Labs的Daryl Chapin、Calvin Fuller和Gerald Pearson研发出效率达6%的硅基光伏电池，首次实现为日常设备供电。此后，从1958年Vanguard卫星的太空应用，到1978年美国政府推动分布式…
SATIS Shield 让单路由器网络也能拥有大型ISP级别的实时威胁防御能力。无需多线接入或复杂的网络工程团队，只需一个支持BGP的路由器（如pfSense、OpenWrt），配合免费私有ASN和GRE/WireGuard隧道，即可在几分钟内部署。系统通过共享实时威胁情报，在恶意流量到达你的网络前就将其在上游丢弃，有效抵御暴力破解和攻击尝试。14天免费试用，无需信用卡，配置自动生成，即刻生效。
我利用 AI 协助重写了文本编辑器 Focus，从单纯的学习项目转变为日常使用的工具。通过采用 focus-core 与 focus 分离的架构，我实现了高效的端到端测试与模糊测试，即使测试代码质量不高，也能有效捕捉回归问题。我尝试了单线程工作流，先进行详细设计，再让 AI 批量生成代码，最后进行审查，这种模式比并行多任务更高效且轻松。此外，通过 API 快照和性能测试，我防止了代码腐烂和意外的…