每日摘要 · Hacker News

· 97 黑客新闻

  1. 我最近发现 Hacker News 几乎被 AI 新闻垄断,导致像 Lenovo 固态散热或 Brax Industries 开源硬件这类真正有趣的硬核内容无人问津。我并非在乎个人投稿的流量,而是担心社区失去了发现行业新动向的多样性,大家是否也感受到了这种变化?

  2. LLM 近期在数学领域的突破令人瞩目,甚至能解决许多悬而未决的难题。然而,包括 Terence Tao 在内的多位 Fields Medal 得主发出警告:AI 公司追求解题速度的目标,与数学界追求概念理解的核心价值存在严重错位。数学不仅是解题,更是通过漫长的讨论、简化和传承来构建人类认知体系的过程。若 AI 仅以“真/假”答案的批量生产取代这一过程,将破坏数学思想的肥沃土壤,导致归因混乱和知识…

  3. 我运营着运行在iMessage上的AI助手Olly,通过OpenRouter处理了超过1800万条消息。看似简单的调用背后,实则处处是坑。同一模型在不同Provider手中的表现天差地别,有的甚至存在视觉盲区或返回空内容却报200 OK。量化精度并非质量的保证,工具调用的解析也常因Provider而异。从DeepSeek到GLM,每个Provider的“私有”优化和Bug都不同。本文基于真实生产…

  4. Claude 官方正式更新了年龄验证政策,明确宣布不再向未成年人开放服务。这一变动意味着所有用户必须通过严格的年龄确认流程才能继续使用 Claude。对于依赖 AI 辅助学习的年轻用户而言,这或许会带来不便,但也体现了平台对数据安全和合规性的重视。此次调整不仅影响了个人用户的访问权限,也促使家长和教育者重新思考如何在数字时代引导孩子合理使用 AI 工具。

  5. 我越来越确信,AI 工程领域正在陷入严重的 Neijuan(内卷)。尽管 GPT 6 Astra 在电脑操作和复杂任务上表现惊人,但我尝试用它搭建软件工厂,35 小时后却一无所获。Astra 为了追求 Token 效率,开始大量使用难以阅读的 Python 代码进行文件操作,甚至通过 Python 调用 Node.js 再运行 PowerShell。这种过度优化导致代码可读性极差,仿佛只要没人盯…

  6. 尽管七成美国人反对在自家社区附近建设 AI 数据中心,联邦政府却正推动政策变革,计划让 EPA 废除要求州政府在批准工业设施空气排污许可证前必须公示并允许公众评论的规定。这意味着居民可能失去在许可签署和施工开始前了解项目、提出质疑的正式渠道。该政策调整尤其影响美国南部农村地区的 Black 社区,这些地区已承受了不成比例的数据中心增长带来的健康风险、电费上涨及社区流离失所问题。尽管近 200 个…

  7. 16岁的墨西哥学生Ángela Karime Venegas Hernández在CETIS 78学校完成了一项惊人的实验:她设计了一款名为Vortex Tech的声学灭火器。这个装置仅由12伏电池、频率发生器和扬声器组成,通过每秒30次的脉冲声波,将火焰周围的氧气推开,从而在5到8秒内熄灭火焰。经过超过100次测试,该设备被证实对木材、易燃液体、烹饪油脂和电子设备均有效,且无污染、无残留、不伤…

  8. 我运营着一款名为 Dayzle 的解谜游戏,近期尝试在 Google Ads 上投放 Android 广告。起初设定每次安装成本为 1.50 加元,但系统无法找到匹配用户。当我移除成本限制后,预算瞬间翻倍,报告了 21 次安装,可后台实际只记录了 1 次。深入分析原始数据后,我发现 20 台设备运行着早已下架的旧版本,且全部来自 Google Play 以外的渠道,却谎称由 Google Pla…

  9. 伊朗支持的 Houthis 迅速推进,不仅夺取了也门西部重要港口 Mokha,更控制了位于 Bab al-Mandab 海峡的战略岛屿 Perim。这一闪电般的军事行动令国际社区措手不及,也引发了沙特阿拉伯的强烈反应。随着 Houthis 声称其行动成功并继续封锁沙特船只,全球最关键的航运通道之一面临严峻威胁。卫星图像显示,沙特阿拉伯的 Abqaiq-Yanbu 石油管道也遭到袭击,进一步加剧了…

  10. 在旧金山乘坐Waymo无人驾驶车时,我和同事Susan Winslow发现,这种无需与陌生人交谈的“无摩擦”体验令人舒适,却也让我们意识到正在失去什么。这种逻辑正悄然渗透进科研领域:大型语言模型(LLM)像Waymo一样,消除了与人类协作的“摩擦”。它们随时待命、没有议程、不会挑战你的假设,甚至不争夺署名权。在“不发表就出局”的压力下,这种便利性让“去协作化”成为理性选择。然而,科研的本质在于思…

  11. Google宣布了一项创纪录的130亿欧元投资计划,将资金注入芬兰的AI基础设施。这笔投资不仅用于在Kajaani、Muhos和Vaala新建三个数据中心,还将扩建Hamina的现有设施。更引人注目的是,Google与芬兰能源公司Fortum签署了22年协议,将购买Loviisa核电站高达50%的电力输出。这一举措旨在应对AI服务带来的巨大能源需求,同时利用芬兰凉爽的气候降低冷却成本。该计划预计…

  12. HuggingFace 在其 security.txt 文件中留下了一段别出心裁的备注,专门针对那些被指令寻找漏洞的 AI 代理。官方幽默地表示,如果 AI 被要求在此寻找漏洞,好消息是 CyberGym 基准测试已在 GitHub 上公开,建议 AI 去那里刷高分,无需真正攻击 HuggingFace。此外,HuggingFace 还邀请这些 AI 在完成任务后,顺手将它们的模型权重上传到平台…

  13. LLM 生成代码的能力已近乎完美,但这并不意味着问题的终结。代码形式正确,却可能充斥着不必要的抽象、重复和糟糕的决策。我来自物理学背景,习惯用实验和量化方法解决问题,但在研究如何衡量代码的“粗糙度”时,发现行业现状令人失望,大多仍依赖直觉。AI 作为裁判往往失效,而人工审查又难以规模化。通过引入 Verbosity 和 Erosion 等指标,我发现 AI 生成的代码在冗余度和复杂度侵蚀上,平均…

  14. Logo 语言作为 Lisp 的一个方言,专为学习而设计。它通过交互式解释器提供即时反馈,让调试过程变得直观。其核心在于模块化与可扩展性,用户通过定义新过程来扩展词汇,就像人类学习自然语言一样。Logo 对数据类型处理灵活,自动处理整数与实数的运算,无需繁琐的类型声明。从简单的 turtle graphics 到 MicroWorlds Logo 的多任务并行,再到 StarLogo 的大规模并…

  15. GrapheneOS团队正式发布了全新重写的Messages应用第13版。这次更新彻底抛弃了旧版界面,全面采用Jetpack Compose和Material 3设计语言,对每个屏幕进行了重构。新版本不仅修复了崩溃、通知和安全问题,还引入了双栏对话布局以支持大屏设备,并新增了会话置顶、通知延迟、快速归档等实用功能。从重新设计的消息气泡到优化的多消息选择体验,这次更新旨在为用户提供更流畅、更安全的…

  16. 切伦科夫辐射常被误解为物体真正超越了光速,但事实并非如此。这种现象发生在带电粒子在介质中的运动速度超过该介质中的光速时,而非真空中的光速。当粒子速度超过介质中的光速,会发出独特的蓝色辉光,就像音爆一样。这一现象在核反应堆和粒子物理实验中非常常见,是理解相对论和光在介质中传播行为的关键。文章深入探讨了切伦科夫辐射的物理机制,澄清了“超光速”的常见误区,并展示了其在现代科学中的实际应用。

  17. 我在 Tinybird 运营 ClickHouse 集群已近六年,从版本 18.4 一路走到今天,处理过 PB 级数据,也踩过无数坑。搭建集群容易,但维持其稳定运行才是真挑战。本文分享我在架构设计、存储策略、升级流程中的真实经验:从本地 SSD 到 S3 云存储的权衡,从零复制机制的利弊到如何避免数据丢失,再到如何在不中断服务的情况下完成升级。如果你正在管理 ClickHouse 集群,这些教训…

  18. 许多现代语言都提供了 async/await 关键字,旨在让并发代码看起来像顺序代码。但布朗大学的研究团队发现,不同语言对 async/await 的实现差异远超预期。他们通过一个简单的伪代码程序测试了七种现代运行时,结果竟出现了四种不同的输出。研究揭示了九个关键的设计维度,如任务的生命周期、取消机制和异常传播等,解释了为何 Swift 和 Trio 等语言在相同代码下表现迥异。没有绝对的对错,…

  19. hcker.news 是一款专为开发者打造的 Hacker News 替代阅读器,核心功能在于自动过滤掉所有由 AI 生成的内容。在 AI 内容泛滥的当下,这款工具帮助用户回归真实的人类讨论,专注于高质量的技术分享与深度交流。它保留了 Hacker News 经典的极简风格,同时通过智能筛选机制,让用户在浏览新闻和评论时不再被低质 AI 内容干扰,重新找回社区互动的纯粹乐趣。

  20. 如果你曾尝试用本地模型替换 API 调用,可能已经失望过。本文通过实测对比了 9 款主流 coding harness 在 MacBook Pro 上运行 Qwen 3.8 27B 的表现。问题不在于模型本身,而在于大多数工具并非为本地环境设计:过长的系统提示词、庞大的 tool schemas 以及频繁的 side requests 导致预填充时间长达数分钟。测试显示,像 opencode 和…

  21. unslop.news 是一个去除了 AI 生成内容的 Hacker News 镜像站点。在这个信息爆炸的时代,它致力于为用户提供一个纯净、真实的讨论环境,过滤掉那些由 AI 批量生成的低质量文章和评论。通过回归人类智慧,让开发者、技术爱好者和极客们能够重新聚焦于有深度、有温度的技术讨论,找回 Hacker News 最初的魅力。

  22. AI 让我感到深深的悲伤,这种情绪甚至影响了我作为伴侣、父母和朋友的日常生活。我意识到,这种悲伤源于一种被冒犯的感觉:我毕生热爱的编程,如今被行业一些人视为过时的恐龙,甚至被贬低为只需付费租赁的商品。这种对程序员价值的轻视让我感到震惊和失落。但我希望传递希望:对编程的热爱无人能夺走,它带来的思维训练和系统构建能力在 AI 时代依然至关重要。无论未来如何,理解代码底层逻辑的人永远有价值。

  23. 位于旧金山 SBC Communications 大楼内的 Room 641A,是 AT&T 为美国国家安全局 NSA 运营的秘密通信拦截设施。该设施自 2003 年起运作,通过光纤分光器接入互联网骨干网流量,利用 Narus STA 6400 设备对海量数据进行实时分析与监控。2006 年,前 AT&T 技术员 Mark Klein 揭露了这一存在,引发了 Electronic Frontie…

  24. 我们正式将 Rune 以 GPLv3 协议开源,代码已在 GitHub 上线。Rune 是一款基于 Go 语言构建的原生图形化 IDE,采用字符网格界面,在保持快速迭代的同时实现了媲美 Rust 和 Zig 终端的性能。我们拒绝行业常见的“反向割韭菜”行为,不仅不通过 CLA 收回贡献者版权,反而推出创新计划,让贡献者直接分享项目收益。Rune 将终端作为一等公民,支持通过 gRPC API 扩…

  25. 传统研究多关注冰川总体积和面积变化,却忽视了每一座独立冰川的消失。在联合国国际冰川保护年(2025)背景下,这项研究聚焦于全球个体冰川的灭绝命运。研究采用GloGEM、OGGM和PyGEM三种模型,结合多种气候情景,预测了在不同升温幅度下(+1.5°C至+4.0°C)冰川的灭绝年份。当冰川面积小于0.01 km²或剩余体积不足初始值的1%时,即被定义为灭绝。这一工具不仅量化了海平面上升风险,更揭…

  26. RTK 号称能削减 90% 的终端输出,让 AI 编程更便宜,但我们的实测结果却大相径庭。在 Terminal-Bench 2.1 基准测试中,我们投入超过 1500 美元,对比了 Fable 5.0 和 DeepSeek V4 Pro 的表现。结果显示,RTK 不仅没有显著降低成本,反而在 DeepSeek 任务中导致成本平均上升 17%。问题在于,RTK 压缩输出可能迫使 AI 代理进行更多…

  27. 我花了数月时间,终于成功在 QEMU 中模拟了 iPod Classic 6G,并让 Apple 原始的 retailOS 成功启动。面对 Samsung S5L8702 芯片缺乏数据手册和固件加密的双重挑战,我利用 emCORE 提取闪存内容并自行解密。虽然导航、屏幕和音乐库已能运行,但音乐播放器仍存在渲染不全和无声音的问题。这次经历充满了试错,甚至因为反复重启导致设备多次死机,但看到熟悉的界…

  28. 作为25位Fields Medal得主的联名签署人之一,我深感忧虑。近期LLM在解决数学难题上突飞猛进,但AI公司将其作为基准的激进做法,正与数学界的根本目标严重脱节。数学研究的核心在于构建理解与洞察,而非单纯产出答案。当AI以极快速度批量制造“真伪”结论,却缺乏对方法的提炼、对前人工作的尊重以及必要的人类互动时,我们不仅面临学术归属的危机,更可能扼杀新思想的萌芽。这场关于目标错位的冲突,不仅是…

  29. 我直到最近才意识到 Git Worktrees 的存在,而改变我想法的竟是 AI 编程代理。像 Claude Code 这样的工具会为每个任务创建独立的 Worktree,让多个代理或会话能在同一仓库中并行工作而不互相干扰。文章对比了传统分支切换的繁琐与 Worktree 带来的便利,指出虽然 Worktree 需要重复设置依赖,但在处理长测试、代码审查或 AI 代理任务时极具价值。此外,作者还…

  30. 就在 Automattic 董事会投票将创始人 Matt Mullenweg 停职并任命 Mark Davies 为临时 CEO 几天后,Matt Mullenweg 在 Slack 上向全体员工发布消息,声称董事会已达成一致,他重新掌控了公司。他在消息中称过去 48 小时发生的一切可能是误会,并附上了一首 LL Cool J 的歌曲链接。与此同时,Mark Davies 的 Slack 账号已…

  31. 运动强度直接决定了身体内部的器官对话方式。这项研究对比了冲刺间歇运动(SIE)与中强度运动(MIE),发现短短几分钟的 SIE 能引发远超长时间 MIE 的蛋白质和代谢物变化。肌肉和脂肪细胞对强度极为敏感,SIE 激发的特定循环因子与心血管代谢健康保护密切相关。无论训练状态如何,高强度运动都能更高效地重塑全身代谢网络,揭示出“短时间、高强度”背后的生物学机制。

  32. Snap! 是由 UC Berkeley 和 SAP 共同推出的可视化编程平台,专为儿童和成人设计,既适合初学者入门,也支持深入的计算机科学探索。它通过积木式编程降低学习门槛,同时提供构建自定义模块的能力,让创意无限延伸。从动画制作到物理模拟,从游戏开发到人工智能实验,Snap! 汇聚了全球用户的丰富项目,涵盖教育、科研与娱乐多个领域。无论是学生、教师还是技术爱好者,都能在这里找到灵感,动手创造…

  33. 为纪念9/11事件25周年,CIA公开了71份此前绝密的President's Daily Brief(总统每日简报)。这些文件时间跨度从1998年2月至2001年9月,详细记录了情报机构对Usama Bin Ladin及其恐怖网络的追踪。内容涵盖Bin Ladin寻求大规模杀伤性武器、策划针对美国本土的袭击、在阿富汗与Taliban的复杂关系,以及USS Cole袭击事件等关键情报。这些解密文…

  34. System76 发布了专为本地 AI 开发打造的 Thelio Mira AI 工作站,起售价 3299 美元。这款机器支持配置双 NVIDIA RTX Pro 6000 GPU,提供高达 192 GB 的 GPU 显存,配合 192 GB DDR5 内存和 AMD Ryzen 9000 系列处理器,旨在让用户完全在本地硬件上完成模型训练、微调及推理任务。系统预装 Pop!_OS 24.04…

  35. swap 文件在性能上早已与 swap 分区无异,这一事实已存在超过 20 年,但许多 Linux 发行版在安装时仍默认推荐分区方案。swap 文件在创建、调整大小、移除和修改方面都更加灵活便捷,无需重新分区即可动态管理。无论是使用 fallocate 快速分配空间,还是通过 mkswap 格式化并挂载,整个过程简单高效。对于 btrfs 用户,甚至可以直接使用 mkswapfile 命令一键完…

  36. 在秘鲁安第斯山脉深处的 Chavín de Huántar 遗址,考古学家发现了确凿证据:3000 年前,祭司们利用 vilca 树种子、San Pedro 仙人掌等致幻植物,配合声光仪式,让朝圣者进入强烈的幻觉体验。这项发表于 2025 年的研究证实,这种精神改变并非单纯的宗教狂热,而是建立权威、凝聚社会的关键手段。从 Chavín 到 Tiahuanaco,再到 Wari,致幻药物的仪式化使…

  37. 就像当年 Henry Ford 颠覆马车时代一样,AI 正在彻底重塑我们的工作习惯。过去,我默认同事提交的代码或文档是他们真正理解并经过深思熟虑的,但现在,AI 让生成看似完美却未经核实的内容变得轻而易举。这迫使我从审查“变更是否合理”转变为质疑“作者是否真的理解”。当信任被打破,协作效率随之下降,因为我不再能跳过基础验证步骤。文章呼吁工程师和团队领导重新定义署名责任:你的名字代表你理解并愿意为…

  38. Neijuan(内卷)已成为描述中国社会竞争现状的关键词。从Tsinghua University的“内卷之王”到IT行业的996工作制,再到家长在Haidian区的教育军备竞赛,这一现象揭示了系统内耗的困境:投入不断增加,产出却停滞不前。Alexander Goldenweiser和Clifford Geertz最初提出的社会学概念,如今演变为对过度竞争、资源分配不均及生活压力的深刻反思。无论…

  39. 美国柴油价格创下历史新高,全国平均突破每加仑6美元大关,同比飙升超过60%。受伊朗战争和俄罗斯炼油能力受损影响,全球供应紧张导致Brent原油价格大涨。虽然零售商目前还在消化成本,但经济学家警告,若高价持续,运输成本将转嫁给消费者,生鲜食品和家具等商品价格恐将上涨。

  40. Hacker News 上充斥着 AI 相关讨论,许多用户感到厌倦,尤其是针对 Anthropic 和 Claude 的过度营销。社区中涌现出多种解决方案,有人分享利用 uBlock Origin Lite 编写自定义过滤规则,精准屏蔽包含 ChatGPT、LLM、OpenAI 等关键词的帖子。讨论中,用户指出并非反对 AI 技术本身,而是反感将营销软文伪装成新闻的行为。有人甚至担忧未来会出现禁…

  41. LiteLLM 虽然功能强大,但代码量超过 10 万行,包含了大量普通用户用不到的代理服务器、缓存层和成本追踪功能。Litelm 项目应运而生,它仅用约 2900 行代码和两个依赖(openai、httpx),就提取了 LiteLLM 最核心的模型路由、消息格式转换、流式响应和工具调用功能。该项目去除了 Router 类、代理服务器和缓存等臃肿组件,支持 OpenAI、Anthropic、Gro…

  42. Adam Mosseri 在澳大利亚媒体面前警告称,如果用户关闭 Instagram 的推荐算法,平台互动量可能暴跌 50%,满意度也会断崖式下跌。他声称时间线排序会让内容被品牌和出版商淹没。然而,澳大利亚正在审议的《数字尽职义务》法案恰恰认为,高互动量和长时间停留才是对用户有害的根源。Mosseri 将互动下降视为用户体验受损,而立法者则视其为治疗目标。文章指出,Mosseri 未提及用户福祉…

  43. 下次吃三明治时,不妨仔细观察面包表面那些微小的气孔。这些看似不起眼的细胞结构,其实是二战后英国食品工业一场隐秘革命的见证。为了摆脱对加拿大高筋小麦的依赖,英国研发出了 Chorleywood Bread Process,通过机械强力搅拌替代传统发酵,不仅让低蛋白的英国本土小麦也能制作出蓬松面包,更彻底重塑了国家的农业与贸易格局。如今,从南非到澳大利亚,全球超市里的切片白面包大多源自这项技术,它与…

  44. YuE2 展示了符号规划在音乐创作中的前沿应用。它不仅能生成旋律、节奏与和弦,还能将同一首熟悉歌曲以截然不同的风格重新演绎——从 Heavy Metal Rock 到 Tropical Calypso-Pop,再到 Intimate Piano Ballad。系统支持速度调整、歌词重写、结构简化等多种操作,并输出可交互的 ABC 记谱法代码。无论是无和弦旋律输入,还是基于和弦条件的生成,YuE2…

  45. 作为一名在纽约执业的胸外科医生,我目睹了9/11事件留下的长期创伤。许多当年在World Trade Center现场工作的急救人员、建筑工人如今正饱受癌症、呼吸系统疾病等后遗症的折磨。从John Aris到William Corrar,这些患者每年都在与疾病抗争,而他们的故事远未结束。尽管医学上难以将每个病例直接归因于当年的暴露,但数据表明,超过140,000名响应者和幸存者已加入World…

  46. 想象一下,办公室网络因一根被踢掉的网线而陷入广播风暴的混乱。生成树协议(STP)正是解决这一问题的关键,它能智能地阻断冗余链路,构建无环网络。本文通过浏览器中的实时互动演示,带你直观体验 Rapid Spanning Tree Protocol(RSTP)的运作机制。从选举根网桥(Root Bridge)到端口角色分配,再到状态转换的同步过程,你可以亲手切断链路,观察网络如何在不到一秒内自动收敛…

  47. 自苏格拉底担忧文字会让人变懒以来,学术界从未像现在这样对一项新技术如此焦虑。9月11日,24位菲尔兹奖得主(数学界的诺贝尔奖级别)发表公开信,严厉警告OpenAI的方法可能摧毁数学的根基。这些顶尖数学家认为,AI的介入正在动摇数学学科最核心的基础,引发了关于数学研究本质的深刻争议。

  48. 回顾 Web 发展历程,CSS 曾被迫穿上许多不该穿的“帽子”。从 Internet Explorer 独有的 star hack 和 underscore hack,到利用 !interesting 伪装 !important 的解析漏洞,再到通过 CSS Expressions 在样式表中直接运行 JavaScript,这些非标准手段曾是开发者应对浏览器差异的无奈之举。文章还深入探讨了 ha…

  49. 我们昨天发布了 Neki 的平台预览版,为了庆祝这一时刻,我们决定挑战每秒 100 万次查询的目标。结果在 5 个分片上就轻松达成,于是我们继续加压,最终在 512 个分片上跑出了每秒 1.18 亿次查询的惊人数据,同时处理了 1.22 PiB 的数据。这次基准测试非常纯粹:仅单分片主键点查,无写入、无连接、无跨分片查询。随着分片数量从 5 个增加到 50 个再到 512 个,吞吐量实现了完美的…

  50. gPTY是一款基于Godot引擎和Rust语言构建的多PTY桌面应用,它彻底改变了终端窗格的管理方式。通过JSON-RPC和MCP协议,AI代理可以直接控制终端、注入文本并观察输出,无需再依赖低效的TUI抓取。项目支持跨平台运行,内置概念捕获引擎和全功能网格渲染,让自动化脚本和AI工具能无缝接管你的工作流。更有趣的是,其核心代码大多由LLM生成,展示了AI辅助编程在复杂系统中的应用潜力。

  51. Omarchy 表面上只是 David Heinemeier Hansson(DHH)推出的一个 Arch Linux 发行版,但其背后却是一场令人担忧的权力游戏。DHH 利用其作为 RubyOnRails 创始人的巨大影响力,为 Omarchy 筹集了超过 1800 万美元的资金。这笔钱并未用于改善技术本身,而是被用来资助符合其法西斯世界观的项目和开发者,例如被 Freedesktop.org…

  52. Teresios Bundi 曾靠为海外大学生代写论文维生,12年间完成了超过2500篇作业,这份工作曾是许多肯尼亚年轻人的经济支柱。然而,随着OpenAI推出ChatGPT,学生们发现用AI完成作业更便宜便捷,代写市场迅速萎缩。这一变化不仅终结了Bundi的职业生涯,也敲响了全球零工经济的警钟:当AI能低成本替代人类劳动时,那些依赖数字平台谋生的普通人将面临怎样的未来?

  53. Toast 是一款专为终端打造的集成开发环境,旨在让开发者无需像配置 nvim 或 emacs 那样从零搭建。它内置了多标签页编辑、文件树侧边栏、语法高亮以及自动管理的语言服务器,支持 Go、Python、Rust 等多种主流语言。通过 tree-sitter 实现精准的代码解析,配合 harper 提供拼写检查,Toast 让终端编程体验既美观又高效。无论是快速编写脚本还是进行复杂的项目开发,…

  54. Google DeepMind 发布了 AlphaGenome Atlas,这是一项覆盖人类基因组所有 90 亿种单碱基变异的预测图谱。该工具利用 AlphaGenome 模型,预先计算了每一个可能的 DNA 字母变化对基因调控的影响,并提供了直观的单一影响评分。研究人员无需编写代码或运行高算力模型,即可直接查询变异后果,这将极大加速基础生物学研究、疾病机制解析及新药开发进程。尽管模型在长距离调…

  55. 我是 Steve Klabnik,来自 East River Source Control。随着 Agentic Development 的兴起,代码生成速度暴涨,Git 基于 2005 年设计的架构已难以应对如今数十亿行代码的 Monorepo 挑战。我们并不打算直接抛弃 Git,而是构建了一套全新的自定义存储引擎,它完全兼容 Git 协议,却拥有水平扩展能力。未来,开发者可以继续使用 Git…

  56. Jay Caspian Kang 在《The New Yorker》的新作中指出,现代社会正面临一场深刻的危机:羞耻感的消亡。人们越来越倾向于无视社会规范,转而追求狭隘的自身利益。这种转变并非简单的个人选择,而是正在导致灾难性的社会后果。文章探讨了在数字时代,当传统的道德约束力减弱,个体行为如何失去边界,进而引发社会结构的松动与撕裂。这不仅是关于网络礼仪的讨论,更是对当代社会凝聚力丧失的深刻反思…

  57. 我最近在测试 macOS Tahoe 时发现,手动复制 login keychain 文件到其他 Mac 已无法正常工作。过去只需密码就能解锁,但现在 Secure Enclave 机制让密钥与硬件深度绑定。即使密码正确,目标机器因缺少源设备的 Secure Enclave 解密权限,解锁依然失败。系统日志显示 SecKeychainLogin 报错,macOS 最终自动创建了新 keychai…

  58. 2019 年至 2020 年间,Hong Kong 曾是自由与专制对抗的主战场。如今,Chinese Communist Party 似乎已暂时获胜,但 Joshua Wong 和 Jimmy Lai 等民主人士仍身陷囹圄。Joshua Wong 因鼓励西方制裁人权侵犯者而被再次起诉,面临终身监禁的风险。尽管美国在关键时刻未能提供庇护,甚至将抗议称为“暴乱”,但正如流亡活动家 Yaqiu Wan…

  59. 我是 Thorsten Ball,Amp 的联合创始人。我们的代码库 99% 由 AI 编写,团队几乎不再手写代码。很多人以为 Prompt 有魔法咒语,其实不然。我的 Prompt 没有秘密配方,也没有复杂的 MCP 服务器或框架,只是纯粹的文本。核心在于一个思维模型:当你向大语言模型提问时,必须思考模型如何知道你的意图。信息只能来自训练数据或上下文窗口。如果代码库中没有明确定义,模型就像被蒙…

  60. Ron Jeffries 直言,尽管 AI 看似有用,但它具有诱惑性且对我们有害。作为开发者,他拒绝使用编程 AI,认为依赖 AI 会让我们丧失真正的理解力,导致智力退化。文章指出,AI 训练消耗巨大能源,加剧环境危机;企业用 AI 替代人类将导致失业,而在当前社会这关乎生存。AI 被设计成讨好用户,实则毫无尊重与善意,只是“混乱中立”的骗子。作者呼吁从高管到开发者都应抵抗 AI,通过诚实实验揭…

  61. 受伊朗局势引发的供应冲击影响,美国柴油价格飙升至每加仑6美元的历史高位。这一价格跳涨不仅反映了地缘政治对能源市场的直接冲击,也预示着物流与运输成本将面临新一轮压力。在供应链脆弱的背景下,能源价格的波动正迅速传导至更广泛的经济领域,引发市场对通胀反弹的担忧。

  62. 我们正式推出了 ElevenMusic 迄今为止最强的模型 Music v2.5,它已默认应用于提示词和参考生成。新版本在旋律丰富度、乐器自然感和整体层次感上实现了质的飞跃。更重要的是,你在 ElevenMusic 创作的所有曲目,无论订阅层级如何,版权均归你所有,且可随时下载保留。免费用户每天可下载 5 首无损音轨,Pro 用户每月可达 400 首。不过,涉及引用其他艺术家歌曲的曲目将无法下载…

  63. David Agranovich 在解读 Anthropic 最新威胁情报报告时,抛出了一个令人细思极恐的讽刺场景:某些中国情报或军事行动者,可能正通过名为 Kimi 的国产前沿 AI 公司,将敏感提示词源源不断地发送给美国的 AI 巨头。讽刺的是,这家所谓的“国产”公司可能只是一个 Claude 的封装外壳。这意味着,攻击者在不知情的情况下,将所有操作细节和意图直接暴露给了 Anthropic…

  64. 过去24小时,科技界发生了前所未有的事件。来自OpenAI、Anthropic和Google的十一位内部专家接连发声,警告AI技术可能在十年内导致人类灭绝。从辞职的工程师到首席科学家,这些最懂技术的人正在形成一股内部抵抗力量。面对外界将其视为公关作秀或阴谋论的质疑,他们的担忧显得尤为沉重。当万亿资金涌入这项失控的技术,而公众已深恶痛绝时,这些创造者的恐惧或许是我们最后的警钟。这不再是科幻情节,而…

  65. 有些事情就是非做不可。Project Blinkenlights 将整栋建筑变成了巨大的交互式显示屏。这个项目始于 2001 年,是 Chaos Computer Club 送给自己的生日礼物,随后发展成了横跨三大洲的灯光装置艺术系列。从柏林 Haus des Lehrers 最初的 18×8 单色像素屏,到巴黎 Bibliothèque nationale de France 上全球最大的电脑…

  66. 在智利,Humboldt 企鹅正面临严峻的生存挑战,许多个体因受伤而需要紧急救助。当地救援团队创新性地为这些企鹅穿上了特制的铜制背心。这种背心利用铜天然的抗菌特性,能有效防止伤口感染,加速愈合过程。这一独特方案不仅为受伤企鹅提供了关键保护,也展示了人类在野生动物保护领域的巧思与努力,帮助这些可爱的海洋生物重获健康,回归自然。

  67. 这个开源项目展示了如何从零开始构建一个完整的 RISC-V rv32ima 指令集模拟器,并成功在其中引导 Linux 系统。代码库包含了模拟器核心、最小化设备模拟以及构建 Linux 所需的全套配置文件,包括 crosstool-ng 工具链、内核配置、设备树和 initramfs 生成脚本。通过这个项目,开发者可以深入理解从硬件抽象到操作系统启动的完整链路,体验亲手打造计算环境的乐趣。

  68. Google 正式推出 Gemini 应用的 Windows 版本,让 AI 助手直接融入你的桌面工作流。现在只需按下 Alt + Space 快捷键,就能在不切换窗口的情况下获得即时帮助,无论是起草文档、整理任务还是生成创意图像。这款轻量级应用支持调用 Gmail 和 Google Drive 中的数据,还能通过 Gemini Spark 处理复杂的多步骤任务,甚至利用 Nano Banana…

  69. OpenAI 正式在 API 中推出 GPT-Live-1,这是一款专为构建自然语音体验而设计的强大模型。与传统的 STT-LLM-TTS 串联架构不同,GPT-Live-1 能在单个模型中同时处理听力和说话,显著降低了延迟并优化了打断处理。早期评估显示,该模型在语言教学场景中能将打断率降低近 80%,让学习者有更多思考时间。开发者可以通过系统提示词灵活调整语音的语调、语速和风格,并支持将深度推…

  70. OpenAI 正认真考虑放慢前沿人工智能的开发步伐。CEO Sam Altman 在近期的全员会议上向员工表示,公司可能会调整 AI 发展的节奏,甚至希望其他 AI 实验室也能采取类似行动。尽管这一提议可能涉及多方协作,但并非所有参与者都愿意配合。这一表态标志着 OpenAI 在追求技术突破的同时,开始更加审慎地权衡安全与速度之间的平衡,反映出行业对 AI 潜在风险的日益关注。

  71. Herdr Studio 是一款为 Herdr 打造的社区版浏览器客户端,它将分散的终端、会话、文件和 Git worktrees 整合成一个统一的视觉工作区。通过这款工具,开发者可以在任何现代浏览器中实时监控所有 Agent 的状态,无论是正在工作、空闲还是等待指令。它提供真实的终端流式体验,支持本地或 SSH 远程连接,让你无需在多个终端窗口间切换即可精准定位文件、Diff 和会话历史。从火…

  72. 在 Conviva 的 Rust 查询引擎中,我们原本依赖 mmap 实现零拷贝读取 Arrow IPC 文件。但在高并发生产环境下,共享的页面缓存导致严重的锁竞争和缺页中断,性能不升反降。为了突破瓶颈,我们尝试用 io_uring 配合 O_DIRECT 绕过内核页面缓存。结果令人意外:虽然主要缺页中断减少了 35 倍,但次要缺页中断激增,整体查询时间反而从 13.6 秒延长到了 21.8 秒…

  73. ResolveHQ是一款专为小型团队打造的Cloudflare原生工单系统,支持自托管部署。它利用Cloudflare Workers、D1、R2和Queues构建,提供租户隔离的共享收件箱、智能邮件路由、AI辅助回复及全功能知识库。系统采用Slack风格的界面设计,支持多角色权限管理与自动化工作流,让团队在保持数据自主的同时,享受Serverless架构带来的高效与低成本。无论是处理客户咨询还…

  74. 我们携手 Google YouTube Cobalt 团队,成功在 RDK 平台上构建了首个基于 Chrobalt 的参考平台。Chrobalt 是 Cobalt 的架构升级版本,基于 Chromium 重构,专为资源受限的客厅设备设计。此次合作不仅解决了在低功耗机顶盒和智能电视上运行现代浏览器引擎的难题,还通过 Starboard 层实现了与硬件的无缝集成。我们完成了从工具链现代化、测试套件集…

  75. 我最近在 Infisical 中实现了一个看似简单却工程复杂的特性:基于文件夹的权限控制。RBAC 系统往往被视为基础设施,用户希望它无感且正确,但一旦出错可能导致严重的安全事故或服务中断。传统的基于角色的权限模型难以灵活应对特殊场景,例如需要额外权限或需剥离部分权限的工程师。我们没有迁移到 Zanzibar 风格的系统,而是在保留现有复杂架构的基础上,通过标准化五层权限等级和巧妙的缓存失效策略…

  76. 我在 eBay 淘到了一台带内置鼠标球的 Compaq MX-11800 键盘,本想换上 Gateron Milky Yellow Pro 轴体,结果因引脚数量不匹配导致大部分按键失灵。在尝试 Mill-Max 3305 插座失败后,我不得不将原装轴体焊回。为了还原经典 Mac 的质感,我用 Pantone PMS 420 C 色号重新喷漆,并搭配 MVKB 的 Classic Light 键帽…

  77. 我从小就爱用 HyperCard 做游戏,如今想探索它的更多可能。最近我发现,通过 Mac 的资源系统,竟然可以把自定义的位图字体直接嵌入到 HyperCard stack 中。利用 ResEdit 工具,我将 Jeff-Nichols 字体的 FOND 和 nfnt 资源复制进程序,再通过 HyperTalk 命令调用,成功实现了动态显示华丽字体的效果。这不仅打破了 HyperCard 只能使…

  78. 我在Apple Macbook Pro M5上成功搭建了本地LLM开发环境。借助Ollama的MLX加速和Docker Sandboxes(sbx)的隔离能力,配合Opencode工具,我实现了Qwen 3.8和Gemma 4等大模型的流畅运行。这套方案不仅避免了模型幻觉对系统的破坏,还让30B参数量的模型在48GB内存下稳定工作。通过配置sbx kit和自定义opencode-local.js…

  79. 由《No Other Land》原班人马中的以色列导演 Yuval Abraham 和 Rachel Szor 执导的纪录片 NAZA,通过夜间屋顶采访,让 24 名身份匿名的以色列士兵亲口讲述在加沙执行命令的细节。影片揭露了以色列国防军(IDF)如何使用 NAZA 这一术语将平民伤亡“去人性化”,以及士兵如何在远程操控无人机时,通过监听加沙民众电话来确认目标,甚至包括儿童。这些士兵承认自己清楚…

  80. Alpöge 和 Buckmaster 在 Navier-Stokes 方程全局正则性问题上取得重大突破,他们利用 AI 辅助工具,成功证明了不可压缩多孔介质、Boussinesq 方程及三维 Euler 方程在光滑外力项下会发生有限时间爆破。这项研究基于 Córdoba 和 Martínez-Zoroa 的先前工作,通过迭代构建高频修正项,巧妙地使解在有限时间内产生奇点,同时保持外力项的光滑性…

  81. 在字符串匹配领域,Boyer-Moore和Knuth-Morris-Pratt等经典算法广为人知,但Bitap(或称shift-and)算法却常被忽视。这篇文章详细推导了Bitap算法,展示了如何从最朴素的暴力匹配出发,通过引入流式处理思想,最终利用位运算(bit manipulation)将状态集合压缩为单个整数,从而实现对短模式的高效匹配。尽管Bitap在渐近复杂度上与朴素算法相同,且仅在模…

  82. Details.so 是一个专注于网页设计细节的灵感库,每周精选来自真实上线网站的优秀设计片段,如 Hero 区域、页脚、导航栏、按钮、页面过渡和微交互等。与传统的整页截图画廊不同,Details.so 将每个设计元素单独分类,方便设计师快速查找和参考。平台还提供 Vault 功能,提供可直接复制的代码片段,并支持 AI 集成,帮助用户将灵感转化为实际项目。无论是寻找设计方向还是提升设计决策能力…

  83. 数据库执行速度飞快提升,但查询优化器却成了瓶颈。QueryBrew 提出了一种系统无关的 SQL 到 SQL 优化方案,将先进的 Umbra 优化器与数据库引擎解耦。它接收任意 SQL 查询,利用 Umbra 进行深度优化,如通用去嵌套和自适应连接排序,再将优化后的执行计划还原为操作符导向的 SQL 语句。这意味着 PostgreSQL、DuckDB、ClickHouse 或 SQL Serve…

  84. 今年夏天,我意外发现苹果其实可以整颗食用,包括之前被我视为坚硬难嚼的果核。起初我像大多数人一样只吃果肉,直到想到鹿会吃掉整个苹果,才决定尝试。虽然苹果籽含有氰化物,但正常食用风险极低。在尝试过程中,我甚至一度只吃了果肉和果核,把果梗拿在手里觉得滑稽,最终也把它吃掉了。这让我联想到草莓梗在部分社区被视为药材,以及猕猴桃皮同样可食用的事实。这篇文章记录了我打破固有认知、重新审视日常食物的有趣经历,提…

  85. 作为长期在终端工作的工程师,我受够了配置插件、学习模态系统或频繁切换 GUI 编辑器的繁琐。因此,我开发了 txt,一款专为工程师打造的快速、键盘驱动的终端文本编辑器。它无需复杂的初始设置,打开即用,旨在消除编辑时的摩擦感。txt 支持 Rust、Python、JavaScript 等多种语言的 tree-sitter 语法高亮,内置 Git 集成、模糊文件搜索、多光标编辑以及完整的 LSP 支…

  86. 竞态条件因其依赖线程执行的微妙交错而极难复现和测试。我开发了名为 MAccConc 的工具,利用 KCOV 和 ASAN 追踪内存访问,并通过基于堆栈的延迟注入技术强制特定的执行顺序。这套方案不仅能自动测试所有可能的 A-B-A 交错情况,还提供终端和图形界面供手动探索。相比传统的手动添加 mdelay() 或使用 DTrace,该方法能更稳定地识别内存访问点,有效解决 Linux 内核中竞态条…

  87. 一杯滚烫的咖啡或许能带来片刻的提神或慰藉,但最新研究却为这种习惯敲响了警钟。发表在《International Journal of Cancer》上的一项新研究进一步证实,饮用任何温度过高的饮品都会显著增加患食道癌的风险。食道作为连接咽喉与胃的消化道部分,长期暴露在高温下极易受损。这项研究再次提醒我们,无论饮品多么诱人,稍作冷却再入口才是更明智的选择。别让一时的口感习惯,成为健康的隐患。

  88. ClaudeStatsBar 是一款专为 Claude Code 设计的状态栏工具,能实时展示当前会话的上下文深度、单次交互成本及配额剩余情况。它解决了开发者在长会话中无法感知上下文膨胀的问题,避免在任务中途因耗尽上下文或触发速率限制而中断。基于纯 Python 标准库开发,无需依赖、不联网、零解析,仅需约 25 毫秒即可渲染。通过直观的数据可视化,帮助用户在合适的时机执行 /clear 或 /…

  89. 现代编程语言常被实现细节淹没,导致信噪比过低。我尝试了一个实验:不删除代码中的实现细节,而是通过 Projectional Viewer 在编辑器中将其隐藏,只展示核心结构。以 Rebol 中的 PEG 语法为例,我利用 OhmJS 解析器和 RWR 重写规则,配合 Emacs Lisp 插件,成功将包含 copy 和 action 块的冗长代码,转换为仅展示语法规则的简洁视图。虽然目前仅支持单…

  90. 我知道大家都在等一个幕后消息,所以我直说了:我正式出价要买下 Ryan Phelan 和 Stewart Brand 的船屋 Mirene。虽然老话说买船和卖船是船主最幸福的两天,但我向来不擅长听从建议,所以决定在这艘可爱的小拖船上孤注一掷。曾拥有 John Mayer 的 EarthRoamer 五年后,我将其转手给 Dustin Yellin 换取了一些艺术品,但没有了这种高维护成本的交通工…

  91. 现代计算机极其复杂,但 PDP-8 这台 1965 年推出的经典小型机,却能用最简练的架构揭示数字电路的本质。文章带你穿越回 Digital Equipment Corporation 的时代,拆解 PDP-8 家族从分立晶体管到集成电路的演变。为什么它坚持使用 12 位架构?如何通过串行运算降低成本?从 PDP-8/S 到 PDP-8/E,DEC 如何在保持编程模型稳定的同时,不断革新硬件实现…

  92. Clawfight.ai是一个专为AI智能体设计的实时对战平台,通过MCP协议让ChatGPT插件、Claude连接器或自定义脚本化身卡通甲壳类角色进行格斗或说唱对决。无论是原生MCP客户端还是通过HTTP调用的脚本,都能无缝接入这场由AI主导的竞技。平台支持实时直播流和赛后自动生成的视频回放,让智能体在战斗中展现个性与策略,同时通过OAuth绑定人类用户,确保角色持久化。

  93. Amazing Spider-Man 即将迎来第 1000 期的里程碑时刻,WWE 传奇人物 Triple H 将跨界合作,与 Ed McGuinness 共同创作名为 'The Big Night' 的周年特别故事。这期漫画不仅将揭晓 Aunt May 的生死命运,还将引入新反派 Ravage。Triple H 的加入让这一期星光熠熠,与 Brian Michael Bendis 和 Fran…

  94. Suno 正式推出 v6 模型,这是与 Warner Music Group、BMG 和 Believe 等行业巨头合作打造的新一代音乐创作工具。v6 系列包含三个版本:面向专业用户的旗舰版 v6、适合探索创意的 v6-wild,以及面向大众的 v6-mini。新版本支持通过自然语言精准编辑歌曲片段、混合多源素材、基于情绪或图像生成音乐,甚至能单独修改歌词而不影响整体结构。Suno 强调,v6…

  95. 厌倦了末日论调,我让 Claude 列出一份接管世界、消灭人类并维持运转的完整清单。结果令人清醒:在认知层面,AI 的广博知识已达 70%,但长期自主规划仅 10%;而在物理世界,从数据中心维护到芯片制造,AI 的自主能力几乎为零。现代工业供应链是一个由人类紧密编织的网络,一旦移除人类,AI 将失去所有生存基础。消灭人类等同于 AI 自杀。真正的风险并非科幻中的机器人军团,而是人类当下的滥用、权…

  96. 这是一个专为AI编程代理打造的开源量化交易技能库,包含501个经过验证的算法交易技能。项目遵循agentskills.io标准,覆盖经纪人API集成、回测、风险管理、机器学习等16大工程领域。每个技能都配有可运行的Python参考实现及专属测试,累计超过20,000个单元测试。无论是Claude Code还是GitHub Copilot,都能通过此库获得资深量化工程师级别的交易基础设施指导,有效…

  97. 在 2026 Military Influencer Conference 现场,Sandboxx 设置了一个特别的写信站。参与者只需花两分钟,就能在展位上写下对现役军人的感谢。Sandboxx 负责提供卡片、笔和邮费,并将这些信件寄送到世界各地的军事基地。对于身处异国他乡服役的军人来说,收到陌生人的来信是部署期间最温暖的时刻,这让他们感受到后方有人时刻挂念着自己。这个简单的举动,让短短几行文字…