The Hacker Daily

美国商务部周五宣布解除对 Anthropic 公司 Claude Mythos 5 模型的出口禁令，允许超过 100 家美国企业和政府机构使用该模型。商务部长 Howard Lutnick 在致 Anthropic 的信中表示，已确定「适当的保障措施已到位」，允许「可信合作伙伴」访问该模型。此前两周，美国政府曾以安全担忧为由封禁 Mythos 及其姊妹版本 Fable 5，担忧这些强大模型可能被「越狱」用于恶意目的。值得注意的是，解禁恰逢 OpenAI 发布 GPT-5.6 同一天，而 Fable 5 仍处于封锁状态。有报道指出，美国政府曾担忧 Mythos 被释放给与「中国关系密切」的合作伙伴（如一家韩国电信运营商）。此举建立了美国政府对前沿 AI 模型发布的监管框架，欧洲等盟友对此表达不满，称其新依赖华盛顿的决定。

Fusion是一门新兴编程语言，核心价值在于让开发者用单一代码库生成 C、C++、C#、D、Java、JavaScript、Python、Swift、TypeScript 和 OpenCL C 十种语言的库代码。示例「Hello, world」库只需写一次，用 fut 工具即可导出到所有目标语言。生成代码轻量（无 VM、无仿真、无依赖）、可读性强，适配目标语言的命名规范和文档注释风格。与同样定位跨语言的 Haxe 不同，Fusion 专注于库级别的组件复用而非整应用开发。社区主要质疑集中在调试机制——现有评论者担忧需在某一目标语言中调试后再反向适配；Rust 未被列入目标语言也引发讨论；此外通用语言难以针对特定语言做优化是该模式的本质挑战。

AWS 正式推出 Lambda MicroVMs，一种基于 Firecracker 虚拟化技术的新型无服务器计算原语，专为运行用户或 AI 生成代码的隔离有状态执行环境而设计。核心特性包括：虚拟机级隔离（无共享内核）、从预初始化快照实现近乎即时的启动和恢复、以及最长 8 小时的有状态会话（支持自动暂停/恢复）。每个终端用户或会话获得独立 MicroVM，环境状态在暂停后完整保留，恢复时对客户端透明。AWS 宣称该技术源自支撑每月超过 15 万亿次 Lambda 调用的同一底层技术，旨在填补容器启动快但隔离弱、传统 VM 隔离强但启动慢、以及 Lambda 函数不适合长会话交互之间的市场空白。

开发者 PaybackTony 将 Hacker News 热门榜单以火车站 split-flap 分屏翻转板的形式呈现，顶部显示当前 #1 故事，下方以「排名·分数·标题」格式展示 Top 20，每行可点击固定自定义文本。内置设置面板可调节翻页节奏、开关音效及全屏显示，并提供 Token 允许用户通过脚本、CRON 或 Webhook 向云端广播当前排名。该项目使用 Quickish Cloud Function 定时抓取 HN 首页并同步至所有在线看板。评论区有用户反馈被 CloudFlare 限流，作者随后修复了移动端并恢复服务。

本文介绍了 libdeflate 压缩库中 Level 13 级别的实现——一个刻意追求极限压缩但牺牲编码速度的实用主义方案。Level 13 在标准 DEFLATE 格式内通过更深入的解析搜索、更多优化轮次（最多 15 轮）和延迟块分割策略来榨取压缩率。在 Silesia 语料上比最强的实用级别 Level 12 节省 86,990 字节（约 0.134%），但运行时间增加 56.4 倍。由于 DEFLATE 解码器已广泛部署于 HTTP、ZIP、PNG 等场景，这种编码端的一次性额外投入在「压缩一次、分发多次」场景下具有经济价值。文章采用零压缩回归策略开发，确保每个优化都不导致任何文件变大。有评论类比 x264 的 placebo 设置，也有人指出 DEFLATE 作为不对称算法的本质——解压完全不受影响。

安全研究人员披露了一起精心策划的供应链攻击。攻击者伪装成新加坡DeFi投资机构「Lua Ventures」代表，通过数周邮件往来建立信任后，以「技术面试」名义向目标交付一个名为「Ticket Harbor」的票务系统代码库。该仓库实际藏有三层混淆的远程控制木马PinpinRAT，利用patch-package机制在TypeScript编译器中注入恶意代码——在typescript+5.9.2.patch文件顶部注入base64+XOR编码的加载器，每次运行tsc或构建命令即触发。木马采用RSA-2048密钥交换和AES-256-CBC加密通信，支持文件读写、进程spawn、凭证窃取和DNS隧道等指令。C2服务器地址为89.124.107.161:80，Windows被控后会创建名为「PinpinWrap」的计划任务。攻击链包含自删除机制（三层清理），展示了专业级攻击组织的特征。VirusTotal上所有杀软均未检出。作者已向加拿大相关机构报告，并警告所有在Rust/crates.io社区收到类似「面试邀请」的开发者立即断网并重置凭证。

本文是《Sport Compact Car》杂志技术援助计划的开篇。一名读者「Scared to Race」因把预算全花在外观改装（空气套件、珍珠漆、降低车身、轮毂）上，导致他那台搭载SR20DE发动机的2001款日产Sentra SE无力对抗朋友的涡轮MX-6，面临被「暴揍」的风险，且预算为零。杂志派出工程师团队分六步进行免费改装：将19英寸轮毂换回15英寸（减重52磅，0.3秒提升）；拆除内饰所有部件包括顶棚、地毯、仪表台等（减重273磅，0.5秒提升）；移除排气管、改造进气、拆除空调/发电机/大灯等「寄生负载」；最后甚至拆掉翼子板、车门、引擎盖、行李箱，将整备质量压到1904磅，0-60mph从8.6秒降至6.3秒，四分之一英里从16.3秒降至14.7秒。整篇文章以戏谑夸张的风格呈现技术改装过程，强调「外观党」的代价与零预算改装的可能性。

本文指出全球每年约 6200 万吨电子垃圾中包含大量仍可正常使用的硬件，这些机器并非真的变慢，而是 Windows 越来越臃肿——Ubuntu Xfce 空闲仅占 650MB 内存，Windows 11 则需 3 到 4GB。文章按内存分区给出发行版推荐：2GB 以下选 antiX 或 Puppy Linux；2 到 4GB 首选 Lubuntu 或 Linux Lite 8.0；4GB 以上则可用 Xubuntu 或 Linux Mint Xfce。桌面环境方面，Xfce 定制深度最优，LXQt 最轻量但上限低，MATE 居中。文章还介绍了三项通用优化：zram 压缩内存交换、调整 swappiness 降低磁盘写入、以及服务裁剪。2026 年 BunsenLabs Carbon、Xubuntu 26.04 LTS 和 Linux Lite 8.0 三个重要版本均证明轻量 Linux 并非小众需求。

OpenAI 宣布其最新 GPT-5.6 Sol 模型将仅向经美国政府批准的组织开放，普通个人用户无法访问。此举引发社区对「监管俘获」的强烈担忧：政府审批机制将形成壁垒，阻止新进入者竞争，只有大型既有企业能获益并定价，这将扼杀 AI 领域创新。评论者还指出此举将加速开源模型发展，并可能促使非美国用户转向中国模型，使美国技术领导地位长期受损。

DBOSify 是一个基于 Postgres 构建的工作流编排项目，声称可作为 Temporal 的替代方案。核心特点是无需额外部署协调节点（coordination node），仅依靠应用服务器中的嵌入式 worker 和数据库即可运行，这与 Temporal 自建服务器前端的架构形成对比。评论者 clarif 质疑其定位——究竟是替代 Temporal 整体，还是仅替代 Temporal Python SDK；前 Temporal 员工 swyx 则认为其设计比 Temporal 实际 worker 更简单。lelandbatey 指出 DBOS 的设计理念就是不依赖协调节点，只有 worker 和 DB。该项目用 Python 实现，通过在应用服务器中嵌入 worker 来实现工作流管理，降低了基础设施复杂度，但社区对其实际生产可用性和功能完整性仍存疑问。

John Gruber 撰文悼念二十年挚友、知名科技记者 Om Malik。Om 于两日前因心脏病逝世，享年约 52 岁。他曾是 GigaOm 创始人，以 24 小时不间断博客写作闻名，但在 2008 年心脏病发作后彻底改变生活方式，从快节奏博主转型为深度评论作家。2014 年他离开新闻业加入 True Ventures 做投资人，但从未停止写作——直到生命最后几周，他仍在 ICU 病床上创作。Gruber 赞其「没有一丝虚伪」，既能以诚挚温暖朋友，又以尖锐精准著称。他热爱洋基队、咖啡、精美手表和摄影，「他的存在让每个房间都变得更好」。

美国电子前哨基金会（EFF）警告加州立法机构撤回 AB 2047 法案。该法案要求在三维打印机中嵌入审查和监控软件，以防止无证制造枪支。EFF 指出：法案的核心问题无法通过修订解决——监控技术根本不可能有效运作，既会误拦合法打印，也无法阻止真正有意者绕过限制。更严重的是，法案将言论审查、企业监控和开源实验criminalize合法化。已通过的修订虽移除了转售刑责、为好莱坞商业用户提供豁免，但仅是削减企业阻力之举，普通消费者、独立创作者和开源社区仍受侵害。EFF 呼吁加州参议员投票反对这一无效且侵犯隐私的法案。

作者通过Artificial Analysis的18个基准测试，分析开放权重LLM与闭源LLM的性能差距。单一基准（Intelligence Index）显示2024年夏季以来差距持续缩小，线性外推显示约在2026年12月追平。但对全部18个基准取平均后，差距基本保持在5个月左右，几乎没有变化。编码基准改善最显著（从落后15个月缩至1-2个月），而多数基准改善有限。作者指出LLM质量衡量存在根本困难——不同测量方式会给出截然不同的结论：要么开源末日即将到来，要么开源始终落后5个月且可能扩大。文章还暗示闭源模型厂商可能在基准测试上有「作弊」空间。

本文探讨AI如何逐步渗透纯数学研究。从1976年四色定理的计算机辅助证明，到2024年Google DeepMind的Aletheia自主产出Ph.D.级成果、OpenAI系统证伪组合几何重要猜想，AI数学能力已从「随机鹦鹉」进化为能独立解决奥数金牌级别问题的推理机器。更关键的是，大语言模型正与Lean等证明助手结合，将人类直觉证明自动形式化，绕过传统缓慢的数学探究流程。文章引发核心追问：当AI能直接给出证明，数学家数百年来的「理解之旅」还有意义吗？人类是否会沦为「神谕祭司」——只负责提问而不真正理解？社区对此争论激烈，涉及证明可验证性、知识垄断、AI能否真正「理解」等根本问题。

Lovable.dev 宣布自 5 月 13 日起，新项目全面迁移至 TanStack Start 框架。原有架构为 React + Vite 单页应用（SPA），以客户端渲染（CSR）部署为静态文件，缺陷明显：爬虫需等待 JS 执行（约 10 秒中位数延迟，部分爬虫完全不执行 JS），社交媒体预览也因无法读取 CSR 的空 HTML 而失效。TanStack Start 是 TanStack 团队推出的全栈 React 框架，支持 SSR、静态站点生成（SSG）和按路由混合渲染，其核心是 createServerFn 机制：服务端逻辑可直接写在组件文件内，构建时自动拆分客户端与服务端bundle，原需独立部署的边缘函数现可与组件共存于同一文件，一同部署为边缘 Worker。此外，VITE_ 前缀的变量暴露至客户端，其余均为服务端仅限，且 secret 在运行时以 binding 方式注入、随时可轮换无需重新构建。Lovable 还与 TanStack 团队合作，针对 TanStack Start 最新 API 规范对 AI 模型进行了专项训练，确保代码生成符合最新约定。

Aleph Neuro 发布其超声波脑成像技术的最新进展。该技术利用神经血管耦合原理——神经元放电时血液流向增加——通过超声穿透颅骨并散射红细胞来绘制脑部血管 map。与需要开颅植入电极或仅能获取模糊信号的 EEG/MEG 不同，此方法可产生百万像素级、亚毫米分辨率的全脑图像。研究团队展示了首张通过完整颅骨获取的活体人类脑部 3D 血管图像，分辨率较 CT 提升 100 倍。技术采用硫六氟化物微泡造影剂（FDA 已批准），通过稀疏注入克服衍射极限实现超分辨率。设备成本约 4000 美元，远低于 MRI。最终目标是无造影剂的神经血管成像，借助 AI 从海量原始数据中提取更弱信号。评论中有人质疑超声波穿透颅骨的能力，也有人指出低剂量超声仍可能对脑组织产生 ultrastructural 影响；此外「读心」技术的隐私和伦理风险也引发担忧。

本文介绍了一个使用跳房子哈希（hopscotch hashing）算法实现的 C++ 高性能哈希映射与哈希集合库。该算法结合了链地址法与开放寻址法的优点，通过限制冲突 key 的最大探测距离来保证 O(1) 期望查找时间，同时保持较高的空间利用率。评论指出，当前业界已普遍转向 boost::unordered_flat_set 搭配 rapidhash 等更快的哈希函数组合，原有 benchmark 已显陈旧（2019 年后未更新）。多位评论者提及 robin hood 哈希与跳房子哈希在性能曲线高度接近，而 google::dense_hash_map 在 benchmark 图中表现最优。

德克萨斯大学麦Combs商学院研究发现，2010年代外国资金涌入推高了美国房价——外籍买家集中地区房价平均高6.7%，但住房供应仅增长1%。然而该研究更重要的发现是供应弹性严重不足：全国房价每上涨1%，仅带来0.26%的供应增长。旧金山供应弹性仅0.06%（需求反映为涨价），而夏洛特则较高（需求反映为增量）。研究者指出，城市通过区划和许可管理控制着供应灵敏度这一关键变量，巴尔的摩正是通过改革许可流程提升了市场弹性。

WorkWeave 开源了一款智能模型路由工具，可在编程工具内根据任务复杂度自动选择最合适的 AI 模型（Claude、Codex、DeepSeek 等），声称能以更低成本保持同等的代码质量和开发速度。核心机制是由一个专门的路由模型学习判断何种任务该交给哪个模型，并通过「任务成功奖励」机制不断优化选择。开发者强调系统已考虑缓存问题——一旦某模型开始处理任务并积累缓存，切换到其他模型的门槛会相应提高，以避免频繁 cache miss 带来的额外开销。评论区的批评主要集中在：路由导致缓存失效可能抵消节省、缺乏 A/B 测试数据支撑、隐私风险、以及大模型厂商未必有动力做这件事（Anthropic 不太可能主动把 Claude 流量路由到 DeepSeek）。也有用户指出 Cursor 已内置类似子代理路由功能，项目差异化优势尚不明显。

列线图是一种利用直线辅助从图表上读取公式计算结果的图形化计算工具，1880 年由法国工程师菲贝尔·莫里斯·多卡尼（Philbert Maurice d'Ocagne）发明，曾广泛用于工程计算。文章介绍了其原理：几个刻度尺平行排列，已知变量用直尺对齐后即可读出未知变量；并展示了滑块曲柄机构的复杂公式应用例子，证明了列线图能求解隐式变量。列线图历史上应用于铁路土方计算、水利设计、医学生理学、弹道学、机器加工、统计分析、军事等领域。文章还提及 PyNomo 开源工具可生成各类列线图 PDF。评论补充了史密斯图（Smith chart）这一电气工程常见列线图、贝叶斯定理列线图在医学诊断中的实际应用，以及美国海军核反应堆化学控制仍在使用列线图等内容。

Hightouch是一家处于D轮融资阶段的数据同步初创公司，获得顶级投资机构支持，正在大规模招聘。公司强调「永远饥饿」的价值观，倡导高增长心态（如认为能增长5倍时，应问「为何不能10倍」），同时重视善良、高效执行、同理心、影响力驱动和谦逊等文化。福利方面提供有竞争力的薪酬和股权、美国员工100%健康保险覆盖、80%家属覆盖、每月100美元健康津贴、灵活PTO政策（美国育儿假16周/12周），以及远程友好的工作环境。招聘岗位覆盖技术类（软件工程师、AI代理、数据科学、机器学习负责人等）、销售类（企业级、中端市场各级销售）和客户成功类（技术客户经理、解决方案工程师等），多数岗位支持全球远程工作。Hightouch曾被《福布斯》评为美国最佳创业雇主之一。

本文是前现代军队系列第三篇，探讨军队的薪酬与后勤保障。作者指出，现代人习惯用金钱思维，但前现代社会的核心是「实物经济」——即将食物、劳动力从农业部门转移到军事用途。军队最大开支是士兵薪酬（含口粮），其次是船只、城堡、火炮等资本品。缺乏货币化的社会中，统治者往往通过「再分配经济」直接掌控物资：小型社会用「礼物经济」犒赏武士和工匠；大型王国则建立「宫殿经济」，国王或神庙直接拥有土地，臣民以实物缴纳贡赋。这种体系在青铜时代的东地中海地区（埃及、黎凡特、美索不达米亚、迈锡尼希腊）最为典型。

BBC 长波广播服务于周六凌晨正式停播，位于伍斯特郡的 213 米高瓦克斯伯恩发射塔（建于 1934 年）将停止发射。该发射塔耗资 20 万英镑（约今 2000 万英镑）建造，二战期间曾用于干扰德军雷达并向法国抵抗组织传递情报，参与了诺曼底登陆的通讯协调。BBC 表示因设备老化、听众锐减且升级成本过高，放弃维护该服务。当地历史专家与「二十世纪协会」正推动将发射塔列为历史遗产保护建筑，但 Historic England 此前以大部分原建筑已拆除为由拒绝。目前已有遗留文物在地区遗产中心展出，运营方 Arqiva 尚未回应未来规划。

作者为理解编译器如何将普通循环转换为并行执行形式，手写了一个约180行Python代码的小型编译器。核心思想是将普通for循环降级（lower）为vector_for循环，让多个循环迭代可并行执行。编译器通过分析每个值是uniform（所有lane相同）还是varying（各lane不同）来决定如何生成代码：uniform值如常量可跨lane共享，varying值如索引需逐lane计算。当数据长度不整除lane数时，用mask掩码跳过越界的load/store。转换后的代码显式标注了哪些是连续读取（masked_load）、哪些是分散读取（gather），便于后续代码生成阶段直接发射SIMD等高效指令。作者承认这是教学用的toy实现，未处理复杂依赖分析、别名、类型等问题。

本文探讨反证法（proof by contradiction）的逻辑本质与正确理解方式。文章指出，许多人将「证明逆否命题」误当作反证法，实际的反证法是：假设¬P成立，经过推导得出矛盾（如0=1），从而断言P为真。评论中的核心争议在于「排中律」（tertium non datur）与「归谬法」（reductio ad absurdum）的区别——前者指「A为真或A为假，别无他选」，后者指「假设某事实导致荒谬」。在构造主义逻辑中，反证法仅适用于证明否定命题（¬P本质上是P⇒False的语法糖）。有评论指出，Andrej Bauer在2010年与Timothy Gowers的讨论中厘清了这一术语的现代用法，但多数数学家沿用了更宽泛的传统定义。