The Hacker Daily

文章通过分析 LLVM 提交代码，预测 AMD 即将在 Advancing AI 活动上发布的 MI400 系列数据中心加速器。GFX1250（MI455X）面向机器学习市场，GFX1251（MI430X）面向 HPC 市场。核心变化：采用 Wave32 模式（区别于 CDNA 的 Wave64 和 RDNA4 的双模式）；SIMD 可运行 20 个 wave（比 RDNA4 多 4 个）；每个 wave 可寻址 1024 个 VGPR（从 CDNA 的 512 大幅提升）；LDS 与矢量 L0 缓存合并为 448KB WGP$ 结构；采用 WMMA 而非 CDNA 的 MFMA 指令；移除几乎所有图形功能（无光栅化、无纹理、无光追），成为纯计算加速器。tensor 操作融合 RDNA4 的简化编程模型与 CDNA4 的高性能，K 维度因数据类型而异。分析师猜测这些设计可能预示未来消费级 GPU 走向。

本文揭示了乘法算法领域一个悬而未决的重大谜题。几千年来人类使用 grade-school 竖式乘法，时间复杂度为 O(n²)。1960年，23岁学生卡尔楚巴（Anatoly Karatsuba）在莫斯科国立大学一周内推翻了导师科尔莫格罗夫（Andrey Kolmogorov）提出的 O(n²) 下界猜想，发现了 O(n^1.585) 的快速乘法算法。其核心思想是将昂贵的乘法操作替换为廉价的加法：通过递归分割数字，将四次个位乘法减少为三次。2019年，哈维和范德霍芬（Harvey & van der Hoeven）进一步将复杂度推向 O(n log n)，但仍未证明这是最优解。目前最优算法仅在处理天文数字时才展现优势，Python 在约 630 位数字时切换到卡尔楚巴算法。数学家至今无法回答：乘法的终极速度极限究竟在哪里？

作者将 Kimi K3 与 Claude 进行日常编程对比，发现两者输出质量几乎无法区分，但 Kimi K3 API 价格仅为 Claude 的三分之一（输入 $3 vs $10，输出 $15 vs $50 每百万 token），订阅计划也更加大方。Claude 的 $20 套餐甚至无法支撑 Fable 的正常使用，被悄悄降级至 Opus。文章批评美国 AI 政策是「全面失败」——政府限制本国模型反而让中国实验室发布的无限制模型占据优势。GLM 5.2 以 MIT 许可证发布，在实际任务中超越 Opus，成本却极低。作者警告若美国推行类似汽车工业的保护主义（补贴、关税、监管），美国用户最终将只能用上质量更差、价格更高的本土绑定模型，直到开源权重于 7 月 27 日全面开放。

一位研究者在 Reddit 宣布，他使用 GPT（通过 Sol Pro 而非 Ultra）在凸优化领域取得突破，填补了 1979 年 Nemirovsky-Yudin 定理之后一个 30 年的理论空白。作者此前用 GPT 5.4 和 5.5 尝试了一年未能成功，最终通过一份精心撰写的 10 页提示词配合 Sol Pro 解决了问题。该论文尚未经过同行评审。社区反应两极：一派认为 AI 将取代低垂果实式的研究工作，数学家的价值在于提出新问题而非解决问题；另一派则指出提示工程本身需要深厚专业知识，AI 更像是放大器而非替代品。争议焦点包括 AI 证明的可靠性（类比 Mochizuki 的 abc 猜想证明曾被拒绝）、LLMs 是否具备真正的创造性、以及 DeepSeek 式「平权」时刻何时到来。

本文介绍 Hardcore IndieWeb 运动理念——完全自主控制网站内容和身份，回归 90 年代简单直接的 Web 发布方式：本地编辑 HTML 文件、通过 SFTP 上传至廉价虚拟主机（作者推荐 NearlyFreeSpeech.net，仅 $0.01/天）。所需工具仅限文本编辑器、文件传输工具和主机，无需框架、CLI 或订阅服务。作者批评依赖第三方博客服务（如 Medium）实质上将内容置于他人数据库，无法真正拥有数据。但评论区引发争议：有用户认为这不过是常识、毫无新意；也有人指出 NearlyFreeSpeech 本身仍是第三方依赖，域名才是最大成本（~$6/年）；还有人推荐用 GitHub Pages、自架 VPS、甚至 Tor 隐藏服务等替代方案，并讨论了家庭宽带+静态 IP 和 Cloudflare Tunnels 等技术路径。

作者反思了自己多次试图融入新社交圈的经历，发现最快的方式是主动组织活动而非只是参加。他指出社区场景并非自然生长，而是需要有人付出努力去组织——而大多数人不愿意做这点微小的辛苦工作，因此社区领袖往往就是那些真正愿意动手做事的人。作者认为当代社会疏离感的根源之一是「搭便车者」太多，大家都想消费社会关系却不愿生产；虽然宏观层面难以解决，但在个人层面可以通过主动「供给」来改善。有读者补充，举办活动本身就是建立深层连接的途径。

本文来自「Making Software」技术书籍网站，聚焦字体制作的技术层面。内容主要讲解字体在计算机中的编码方式与屏幕渲染原理，涵盖字形数据存储、提示指令、渲染管线等技术细节。评论社区对此反应不一：有读者认为标题具有误导性——文章并非字形设计或手绘字体的实操教程，而是偏理论的字体技术解释；也有声音认为是付费章节的免费预览，故仅涉及基础概念。整体而言，本文适合想了解字体底层技术原理的开发者，而非寻找字体设计指南的设计师。

Amiga Freeware Archive 是一个收录经典 Amiga 软件的免费资源站，提供数千款游戏、应用、演示程序、图形、音乐和工具的下载，总容量达 10,142 MiB。网站汇集了多个知名公共领域库，包括历史悠久的 17 Bit Software 和 Fred Fish 磁盘系列，以及 Scope、Slipped Disk 等 PD 库，还有 Scene 组织的作品如 The Assassins 游戏合集和 LSD Compendium CD-ROM。用户组方面收录了 TBAG、S.N.A.G. 等美国社区和新西兰用户组的磁盘杂志系列。评论区技术向用户纠正了「Amiga 是纯 16 位机器」的说法：68000 处理器拥有 32 位寄存器但采用 16 位外部数据总线；亦有用户反映 Lotus Turbo 等知名游戏并未收录，资源完整性存疑；Fred Fish 的策展贡献被高度评价，社区普遍视其为 Amiga 黄金时代的重要遗产。

本文介绍了一个展示复古Mac软件图标的视觉目录网站，涵盖Classic Mac OS时期的应用程序和文档图标。图标以绿色高亮显示，鼠标悬停可查看文件类型和创建者代码（creator codes），方便爱好者识别和研究。网站底部提供了Macintosh Garden的链接，访问者可在此获取原始资源。评论者指出该目录以OS8之前的软件为主，OS8时期的重大界面变化未在其中呈现。另有用户建议将热门软件优先展示，以便快速找到熟悉的内容。

作者详细介绍了如何把备用 Mac 打造成 Claude Code 专用控制环境，核心动机是隔离风险——Claude Code 配合 --dangerously-skip-permissions 使用时具备极高权限，在备用机上运行可避免影响主设备。相较于容器方案，实体 Mac 的优势在于能完整运行 macOS 原生应用（如 Unity 等需要 GUI 的工具），并可利用 Claude 订阅用量。作者建议机器事先擦除数据以防信息泄露。教程覆盖了：配置 admin 权限与 sudo 免密、开启 SSH、用 ssh-copy-id 部署密钥、阻止系统睡眠防止断网、跨机器剪贴板共享脚本 clip.sh，以及安装 Claude Code 并配置 PATH环境变量等完整步骤。评论中有人指出直接给 agent sudo 权限风险过高，建议配合独立 VLAN 隔离；也有人认为对非游戏开发等 GUI 场景虚拟机即可替代；还有人质疑24/7运行的实际需求。

资深游戏设计师 Adrian Hon 正在制作一款名为 Strandfall 的户外真人角色扮演游戏，融合了寻路定向、太阳朋克科幻与实体硬件。9月，30名玩家将在爱丁堡一个真实公园进行3小时探险，利用作者团队自研的「McNair-Feldman Devices」（内置低功耗无线电、GPS、电子纸屏幕的3D打印设备）来预测神秘风暴、追踪失踪科学家、建立远距离广播网络并做出影响社区的关键决策。作者刻意避开智能手机，因为它们是「反魔法设备」——会打破沉浸感、让玩家沉迷屏幕而非真实互动。游戏采用低科技（纸地图、热敏打印机）而非无科技，兼顾身体参与与无障碍设计。游戏受《死亡搁浅》《绝地求生》等影响，由 Immersive Arts 资助，首次体验免费。

本文是丹麦计算机先驱 Poul-Henning Kamp（PHK）在 acmqueue 的封笔之作，延续其标志性的「自行车棚」系列杂文风格。PHK 反思了开源软件（FOSS）过去几十年的发展轨迹，批评技术圈在隐私与监管博弈中的短视：他认为「技术哥们」当年拒绝在协议设计中为「法治国家」留有余地，如今反而会导致比 age verification 更严苛的管控；并预言 LLM 辅助代码审查不会成为巨大颠覆者——它首先会批量制造 bug，之后才会收敛。对于儿童网络保护，PHK 主张将责任主要交给家长而非平台。这篇文章观点尖锐、使用「tech bros」等争议标签，引发 HN 社区强烈分歧：有人认为他洞察深刻，有人批其论调居高临下、逻辑混乱。

纽约市长 Zohran Mamdani 发布「租赁欺诈报告」，要求房东和房产经纪人在使用 AI 生成或 AI 编辑图片宣传房源时必须披露。报告涵盖与 2400 名纽约市民的听证会内容，涵盖霉菌、害虫、未解释费用等问题。新规旨在打击租户远程签约时被虚假图片欺骗的现象。市长强调「每一位纽约人都值得拥有一个安全的家」。社区反应两极：支持者认为这是常识性保护措施；但批评者指出仅要求披露而无实质惩罚，房东只需在角落加一行几乎看不清的小字即可规避；也有人质疑现代手机摄影本身已涉及 AI 处理，政策边界模糊，实际执法难度极大。

Elixir 语言官网发布了全新设计版本。Elixir 以不可变性、内存安全和渐进类型系统为核心特性，帮助开发者构建易维护、可故障恢复的系统。新版网站更突出语言的实际应用场景和生态系统，意图吸引更多潜在用户。社区反响两极：支持者盛赞其优雅的设计和强大的并发与分布式能力，认为 BEAM 虚拟机特别适合 AI Agent 编排场景；批评者则指出网站仅提供深色模式（部分用户阅读困难）、Firefox 存在元素截断 bug，且语言在工作市场的需求和人才池相对较小。另有用户报告文档链接失效（已修复）以及一处文案错误（已更正）。整体而言，社区认为这是近年来最好的一次改版，但生态系统的扩张仍面临挑战。

作者基于一年半咨询经验，断言所见企业 AI 项目「零成功率」——几乎全部失败。他指出 AI 失败的主因不是技术本身，而是企业根本不懂如何有效运行软件项目，且 AI 额外放大了风险。文章核心批评两个现象：一、企业竞相上马的聊天机器人等 AI 项目因文档质量差、目标模糊而无人使用，却靠游戏化的指标谎报成功，以 Mitsubishi 售后机器人为例（承诺回拨却从未致电）；二、在 500 人以上规模企业，质疑 AI 已成职场禁忌，「异见者将被枪决」——任何对 AI 效果的合理追问都会触怒管理层，导致员工被迫公开颂扬 AI 魔力。作者认为，这是一场集体性的 AI 精神病，从银行到医院到政府机构，无人幸免。

作者利用已有的自托管 Umami 实例，创建了开源 Swift 包 umami-swift，为 iOS 应用提供轻量级分析能力，无需重型 SDK、IDFA 提示或第三方数据收集。该库零依赖，通过 /api/send 和 /api/batch 端点直接与 Umami 通信。应用在 Umami 中注册为「网站」，使用伪域名（如 myapp.ios）标识。访问者 ID 采用内存中 UUID，每天轮换、不持久化，规避了 IDFA 限制且保护隐私。页面浏览为仪表盘提供真实数据，屏幕追踪则生成与网站页面类似的列表。由于应用流量不走浏览器路径，广告拦截器无法干扰，自托管域名也不易被屏蔽。

Gleam 语言宣布入驻 Tangled 平台——一个基于 ATProto 协议（与 Bluesky 同款）的去中心化 GitHub 替代品。Gleam 是一款运行在 BEAM 虚拟机上的类型安全语言，主要受 Erlang/Elixir 社区喜爱。Gleam 团队表示，选择 Tangled 并非因 VC 资助对价，项目至今未获任何风险投资。Tangled 基于 ATProto 的优势在于去中心化身份——用户可用任意 Bluesky 兼容账号登录，且「在 Tangled 上」仅意味着发布 ATProto 记录，并不与平台绑定，理论上可迁移至其他 ATProto 兼容实例。Tangled 的 CI 基于 NixOS，支持自定义运行器。但目前该平台功能尚不完整：缺少私有仓库、受保护分支等企业级功能，且 UI 层暂不支持自托管。大量用户反馈注册/登录体验存在 bug（404 错误、注册失败），社区对其是否应选成熟开源方案（如 Codeberg、Forgejo）而非 VC 资助的初创平台多有质疑。

Deepsec 是 Vercel Labs 开源的一款基于 AI 智能体的漏洞扫描工具，可在本地基础设施运行，针对大型代码仓库进行深度安全审查。它使用顶级 AI 模型的最大思考级别进行扫描（可通过 --thinking-level 调整），对大型代码库的扫描成本可能高达数千甚至数万美元，但用户反馈表明成本与发现长期潜伏的高危漏洞价值相当。Deepsec 支持并行扫描大型代码库，中断后可从断点恢复。它提供 scan（快速正则匹配）、process（AI 深度调查）、revalidate（减少误报）等完整工作流，也可配合 Vercel Sandbox 实现分布式执行。项目强调安全注意事项：需将其视为拥有完整 shell 访问权限的 AI 智能体，在可信输入（自身源码）上运行，但仍需防范第三方依赖或嵌入代码的提示注入风险。

AirDows 是一个基于浏览器和 WebRTC 技术的 P2P 文件传输工具，允许手机与电脑之间无需数据线、直接通过扫描 QR 码建立连接，实现照片、视频和文档的跨设备传输，且保持原始分辨率和格式不变。该工具无需注册账号，文件在两台设备间直传、不经过云端存储也不重新压缩，从而「照片 conserves su resolución，video conserva su formato」。传输速度取决于双方设备的网络条件，目前暂无固定限制。安全性上，AirDows 会优先尝试设备间的直连路径，仅在 NAT 条件不允许时才回退使用 TURN 中继服务。评论社区关注点集中在：与 Bump 等历史工具的功能对比、文件是否流式写入本地磁盘而非缓存、WebRTC 在各类 NAT 组合下的实际连接成功率，以及免费 TURN 服务器的可获得性。

作者将 Claude Fable 5 与 GPT-5.6 Sol 在同一 NP-hard 光纤网络设计问题（KIRO）上进行对比测试，评估两者在有无原生 /goal 模式下的表现差异。结果显示 Fable 5 以巨大优势胜出：其普通模式均值比 Sol 高出 1,875 分，/goal 模式差距扩大至 1,984 分。更关键的是，Fable 5 展现出极高的稳定性（319 点波动 vs Sol 的 1,958 点）。关于 /goal 功能，测试表明该特性在 6 次试验中赢得 4 次，但由于偶尔导致严重回归，最终反而使两个模型的平均表现变差。作者指出，/goal 不是通用的「更努力」开关，它改变了控制循环和搜索路径——有时找到更好的解 basin，有时让坏主意有更多时间发酵。在困难优化问题上，循环质量比循环做什么更重要。全文代码、提示词和完整数据均公开于 CLIArena。

GoPro 正面临生存危机，创始人 Nicholas Woodman 自掏腰包借给公司 2000 万美元（年利率 6.5%），以争取时间寻找新东家或新一轮注资。2026 年第一季度营收同比暴跌 26%，相机销量仅 31.3 万台（-29%）。公司已聘请财务顾问评估「战略选择」，并计划年底前裁员 23%。此外，GoPro 在专利战中不敌 Insta360，并正探索航空航天与国防市场作为转型方向。评论普遍认为，GoPro 的困境是中国竞争对手（Insta360、DJI）咄咄逼人的结果——后者以更低价格提供同等甚至更好的图像质量。同时，产品本身的顽疾（过热、低温电池失效、随机死机）也令用户口碑持续恶化，订阅收费模式更是重蹈 Adobe Creative Cloud 的覆辙。

Mag World 是一个帮助人们发展数量级直观感知能力的项目。它不满足于「更大」或「更小」的模糊描述，而是致力于回答「到底大多少」与「到底小多少」的具体问题。该项目采用一套简化记数法，专注于数量的级（magnitude）而非精确数值，通过统一标度来获得对生命、宇宙及万物的宏观视角。这一方法旨在让人对从微观到宏观的各级规模都能形成流畅的直觉认知，而非依赖数学计算。文章指出宇宙非常庞大但并非无限，并试图将这一视角应用于理解生命和宇宙的各个层面。

研究者发现自我复制可在数字「原始汤」中自发产生，无需硬编码繁殖机制。实验以随机32字节Z80汇编程序为起点，通过随机突变和成对交互让自我复制自然涌现，并用多项式求值任务作为验证关卡——正确计算可提升程序交互概率。结果显示：自我复制与数学能力成功协同进化；计算压力促使程序进化出紧凑、稳健的繁殖架构并保留执行记忆；代谢约束增加了条件性停止的进化概率；空间任务分区则让简单解成为复杂多项式的学习阶梯。研究揭示，环境任务需求与自我复制的物理架构之间存在反馈循环。社区讨论指出该研究与Tierra系统的传承关系，有人质疑Z80优于Brainfuck的原因，也有观点认为进化无法通向AGI，因所需算力过于庞大。

沉寂数十年的美国老牌车企 REO 宣布复活，推出入门级皮卡 REO Runabout，起价 $21,500。新车采用传统汽油 I4 发动机（非电动），搭配 body-on-frame 架构与机械式 4WD，续航约 600 英里加油仅需 5 分钟。核心卖点包括：直售无经销商加价、全车面板 5 分钟可拆卸、右到维修承诺、20 年公开零件目录。计划 2027 年完成认证、2028-2029 年开始交付，但目前仅公布剪影和对比表格，工程参数均为「目标值」。与 Ford Maverick（~$28,500）、Slate 电动皮卡（~$25,000+）正面竞争，REO 押注纯燃油、够便宜、够耐用、够好修的小型卡车市场。

作者付费使用 Codex（$100/月）后发现，过去两周 OpenAI 居然重置了六次周限额（7月9日至17日），且常与 Fable 5、GPT-5.6 Sol 等竞品发布时机吻合。作者原以为配额重置是「免费福利」，但每次重置时配额往往还剩50%以上，让他感觉浪费了约$12。他还须临时创建项目来消耗配额，导致正常工作被打断。评论区观点分化：一派认为这是「操作性条件反射」式的成瘾设计，让用户在不自觉中增加使用量；另一派指出这是竞争策略——在竞品发布时主动重置限额，防止用户流向其他平台；还有评论批评作者本身已陷入 LLM 依赖。总之，配额重置的真实原因尚无官方说明，用户对其动机疑虑重重。