The Hacker Daily

文章指出，优化 A* 不应只盯优先队列或地图表示，启发式函数本身也能显著影响性能。常见距离启发式不了解墙体，可能把搜索推向错误方向；理想的「完美启发式」虽可由目标到各点的真实距离得到，但对不同目标预计算成本过高。作者介绍「差分启发式」：预先选择若干地标并计算到地标的距离，利用三角不等式为任意起终点提供更紧的下界，再取多个地标估计值的最大值。地标位置需结合路径分布、地图是否动态、长路径优化价值等取舍；动态地图中边成本变化会影响最优性或加速效果。实现上无需改 A*，只需替换启发式函数。

Shopify 介绍将结账时的库存预留从 Redis 迁回 MySQL 的实践：原 Redis 方案虽并发好，但预留与库存账本分属两套系统，无法用单个 ACID 事务覆盖支付成功后的扣减与清理，带来超卖或少卖风险。新方案用 MySQL 8 的「SKIP LOCKED」和「一件库存一行」模型，并把每个商品地点的可预留行池限制在 1000 行，由补货流程维持容量。工程关键包括复合主键减少锁、改用「READ COMMITTED」避免间隙锁、统一锁顺序防死锁、批处理降低开销。评论争议集中在复杂度是否只是从 Redis 转移到 MySQL、1000 行池是否合理，以及现实方案与系统设计面试标准的落差。

Fastmail 宣布用户可选择将账户主要数据存放在欧盟，其自建服务器位于阿姆斯特丹，硬件和软件由内部团队管理，不依赖大型云服务商。欧盟区域会让邮件与文件的主副本在欧洲，应用优先连接欧洲服务器；但为可用性和灾备，副本、紧急备份、日志、部分元数据及第三方服务数据仍会流向或保存在美国。公司强调这不是「仅限欧盟存储」保证，也不会改变其作为澳大利亚公司受澳洲法律及国际协作请求约束的事实。用户可在设置中切换区域，迁移期间账户继续可用。争议焦点在于数据主权、CLOUD Act、五眼联盟和端到端加密缺失，使部分评论者认为此举更多是象征性或合规姿态，而非真正隔离司法风险。

文章解释如何把二维码的数据模块嵌入一张低分辨率黑白图像中。普通做法是把每个模块缩小到 3×3 网格中央，其余像素显示图片，但数据位会形成随机盐胡椒噪声。作者用 Floyd-Steinberg「误差扩散」改进：先把必须固定的二维码数据像素强制设为目标颜色，再把由此产生的亮度误差扩散到周围像素，随后正常抖动整张图，从而显著隐藏数据噪声。生成器还支持旋转、调整编码参数和少量牺牲纠错像素，但作者强调美观与可扫描性存在权衡，屏幕上能扫不代表印刷、弱光或差手机也可靠，且边距、背景色和浏览器缩放模糊都会影响识别。

这项准实验在米兰地铁观察 138 次乘车场景：一名假扮孕妇的女性上车，实验组另有一名穿蝙蝠侠服装者从另一门进入。结果显示，有蝙蝠侠时乘客让座率从 37.66% 升至 67.21%，逻辑回归显著，优势比约 3.39。作者认为，意外事件可能打断通勤中的自动驾驶状态，提升对当下和他人需求的注意，从而促进亲社会行为。争议在于实验只测试了蝙蝠侠，难以区分是新奇刺激、超级英雄道德联想，还是他人更显眼带来的社交压力减轻。

文章介绍一种介于传统卡通渲染与物理渲染之间的「Stylized GGX Shading」。传统 toon shading 常通过阈值化光照制造平涂效果，但作者希望在低粗糙度下得到更大、更锐利的高光，同时在高粗糙度下保留柔和的 PBR 渐变。核心做法是在 GGX Cook-Torrance 微表面模型的 Trowbridge-Reitz NDF 中加入「Specular Size」参数，扩展高光范围；改进版再用「GGXMatching」随粗糙度调节，使粗糙材质不至于过亮。作者还提到在游戏项目中可结合简化 GI 探针、Kuwahara 滤镜、雾、边缘光和描边等手段强化 2D 感。

文章介绍 RFC 10023 定义的「_for-sale」DNS 叶节点：域名持有人可在「_for-sale.example.com」发布 TXT 记录，表明域名仍正常使用但可洽购。它不是停放页，也不同于 WHOIS/RDAP，而是给经纪人和自动化查询服务的机器可读信号。格式要求以「v=FORSALE1;」开头，每条记录最多一个键值对，可提供联系 URI、自由文本或参考价格，TTL 建议不超过 3600 秒，售出或撤销意向后应删除。文章强调 DNSSEC、输入消毒和不要把报价视为承诺。争议焦点在于它可能便利域名投机，但也解决了隐私化 WHOIS 后买卖双方难以接触的问题。

作者批评把一切问题归因于「激励坏了」的思维：它暗示人应当服从外部奖励，甚至无法选择做正确的事。文章用棒球头盔比喻说明，人若不自带价值体系，就只能使用社会提供的劣质激励。作者认为成熟的一部分是形成目的感和道德判断，否则空洞会被金钱、权力、名望填满，成为只会「响应激励」的人。文中还借宗教社会学和「解释深度错觉」指出，很多人以为自己有信念，其实价值系统很浅。争议在于：这种主张强调个人责任与勇气，但可能低估了无视激励的现实成本，以及制度设计在公共政策中的必要性。

这篇展示的是一个面向 8 月 12 日日全食的开源交互式地图网站，提供全食带、月影路径、贝塞尔元素、实时本影、3D 阴影、云层投影、地形与太阳路径等图层，帮助观测者选择地点和时间。评论普遍称赞其细节丰富，尤其能显示低太阳高度下山脉阴影、地形遮挡等信息；也有人询问源码位置。讨论焦点集中在观测体验：多位用户强调日偏食与日全食差别巨大，真正值得长途奔赴的是「全食带」内的数分钟；2026 至 2028 年西班牙连续三次日食、冰岛和马略卡等地也成为热门观测目的地。

文章讨论游戏关卡和谜题如何安排「难度曲线」：目标不是让游戏一路变难，而是让玩家持续获得变强的感觉。作者建议把难度拆成围绕各个新机制的小曲线，通过安全教学、可控风险、组合旧机制、压力测试和最终展示来引导学习；同时用可选收集品、支线、动态辅助、多路径、视觉提示等照顾不同水平玩家。文章也强调不能面向所有人设计，应明确目标受众，并用死亡位置、完成率、测试录像和问卷等数据校准曲线。争议点主要在动态难度调整：有人认为它是魔法般有效的工具，也有人觉得会破坏公平感和成就感。

TheoremDB 是一个处于 alpha 阶段的机器数学公共工作区，目标是让研究代理和人类研究者共享可搜索的数学问题记录，避免重复尝试。每张问题卡包含明确目标、已证明内容、失败路线、计算代码和证据等级，Lean 形式化证明为最高等级。网站目前开放公开写入，并列出多类开放问题，涵盖离散数学、自动机、复杂性理论、数论、几何、动力系统等。其愿景类似数学研究中的「OEIS」：长期积累问题、方法、证据和结果索引。

John Gruber 撤回了前一天批评 Apple 错拒「Dark Hours」的文章，承认核心前提错误：开发者 Terry Godier 最初提交的应用名为「Asterly」，实为占星应用，包含每日塔罗等内容，App Store 以相关指南拒绝并非荒谬。Gruber称自己过度信任了 Godier 的公开说法和私信，误把问题描述成纯天文学应用被当作占星拒绝。文章还指出，所谓「Dark Hours」网页版与已有开源项目 DarkHours 名称相近且存在相同 bug，随后 Godier 将域名重定向到原项目。Gruber向读者和 App Store 审核人员道歉，并补充说明 Apple 对占卜类应用的限制依据。

伊利诺伊州州长签署 HB5511，将设备制造商、操作系统提供商和应用商店纳入儿童社交媒体安全框架。到 2028 年，设备在账号设置时需收集儿童生日并转换为四档年龄段，应用可通过 API 获取信号；一旦识别为未成年人，必须默认限制推荐流、陌生成人可见性、私信、精确位置和夜间通知，违规最高罚款 5 万美元。文章重点批评该法定义过宽，未像科罗拉多和加州后续修订那样豁免开源操作系统，可能把 Linux 等开源项目卷入合规压力，并以保护儿童之名削弱用户对计算设备的控制。

作者复盘自己在演示「popover=hint」工具提示时犯下的可访问性错误：他最初用「aria-describedby」把图标按钮关联到 tooltip，又因 VoiceOver 重复朗读「Bold」而移除了按钮的「aria-label」。这样虽然在 VoiceOver 中看似可用，却让按钮失去真正的可访问名称，JAWS 还会从邻近 DOM 元素误取文本，导致读出错误内容。TetraLogical 的 Léonie Watson 和 Gez Lemon 指出，应改用「aria-labelledby」让 tooltip 提供按钮名称；若快捷键或长说明需要分离，则可再配合「aria-describedby」。核心教训是：交互元素必须有可访问名称，并应尽量用多种屏幕阅读器测试。

UTM 团队发布 Triton，一个新的 Windows 图形驱动，结合此前的 Neptune 协议转发层，为 QEMU 虚拟机提供完整 DirectX 11 支持。文章解释了为何简单替换应用目录中的 d3d11.dll、dxgi.dll 不足以带来流畅桌面体验：DWM 会把画面当作普通图像处理，性能差且兼容性、反作弊问题多。Triton 选择实现 Windows 图形驱动的 UMD/KMD 与 DirectX DDI，把 DDI 调用重新映射为 DirectX 11 API，再走 Neptune 传输，避免 VirtualBox 那种中间字节码解释层带来的延迟、维护和许可问题。难点在于开源 DDI 资料稀缺，团队参考了 Mesa DX10 UMD、VirtualBox DX11 UMD 和 Venus KMD 工作。

文章解释了掰手指关节发出声响的机制：关节腔被拉伸后滑液压力下降，溶解气体形成并塌陷，声音可高达 83 分贝。现有研究总体认为，适度掰指关节不会增加骨关节炎风险，也没有可靠证据表明会让指节变大、肌腱松弛或握力下降；个别扭伤多与用力过猛有关。相比之下，颈部和背部的强力扳动风险更高，可能影响神经和通向大脑的动脉，文章建议不要自行掰颈。若有关节疼痛、肿胀、麻木或头晕，应就医而非继续操作。想戒掉习惯可记录触发情境，用压力球等替代。

文章介绍比利时根特学生社团 Zeus WPI 为 12 小时接力跑探索自建「超宽带」本地定位系统。现有蓝牙接力棒方案只能估算赛道进度，UWB 可通过多锚点测距获得厘米级位置，从而在各队独立起跑线精确计圈，并生成速度、弯道表现等统计。团队选择低价 DWM3000 模块和 ESP32，自行补齐多标签、多锚点同步与时隙调度，调参后实现约 50 米测距，近距离误差约 2 厘米，远距离经校准可到 10 厘米级。文章价值在于展示低成本替代商用 RTLS 的可行性，也指出开源生态薄弱、多设备同步、遮挡和金属反射仍是难点。

作者认为「assert」不应只是可关闭的轻量调试语句，而应成为保障软件正确性、安全性和可维护性的基础工具。文章主张在四类场景中使用断言：覆盖参数与返回值的意外取值，确保值空间完整；对内存边界、整数溢出等操作安全做即时检查；在开发期捕捉索引、状态和逻辑错误；并辅助文档化不变量。作者强调断言开销通常极低，生产环境也常有价值，尤其能在环境差异、罕见资源失败或隐性假设被打破时立即暴露问题。争议点在于哪些断言可进生产、哪些应由错误处理、类型系统、单元测试或契约式设计承担。

文章介绍 MarketNow，一个面向 Claude Desktop、Cursor、Cline、Continue、Aider 等 MCP 兼容代理的服务器与技能目录，声称收录 9248 个 MCP server，可按类别、标签、价格、安全评分和语言筛选，并通过 npm 命令一键安装。平台强调机器可读 JSON API、Stripe 或 Base USDC 支付，以及 Sentinel 安全扫描；但同时披露大多数条目只是自动扫描，人工审核和维护者验证数量很少。HN 评论指出其公开 GitHub 链接 404，且若要实现真正安全，应采用默认拒绝而非默认允许策略。

文章讲述 Pinterest 工程团队排查生产系统 CPU 瓶颈的案例：某些类似「僵尸」的残留资源或分配状态让系统在后台持续消耗 CPU，最终牵连网络线程或内核调度路径。评论推测问题可能与 Linux 中断下半部、CPU 亲和性、memcg 遍历和自旋锁有关，也有人质疑为什么 96 核机器上单核忙碌会影响其他线程。读者普遍认为这是少见而有价值的底层性能侦探故事，可作为真实系统调优和 AI 工具基准案例。

这段 GDC 视频回顾《Hyper Light Drifter》独特音景的形成过程。游戏以霓虹、梦魇般的声音语言著称，其音乐与音效由作曲家 Rich Vreeland（Disasterpeace）和声音设计师 Akash Thakkar 在三年中反复修改、重做与试验才逐渐定型。分享重点不只是配乐本身，也包括声音如何与像素美术、场景转换和情绪节奏结合，制造强烈的沉浸感与情感冲击。正文基本是演讲介绍，没有明显争议；社区讨论则更多延伸到 Disasterpeace 的其他作品、独立游戏美学和观看渠道。

美国最大水库米德湖水位降至海拔1040.4英尺，创其约90年前蓄水以来最低纪录，凸显科罗拉多河系统持续承压。该流域供水关系到美国七州、部落、墨西哥及约4000万人，干旱、升温、长期超采和创纪录低雪包共同加剧短缺。联邦政府近期提出短期方案，要求亚利桑那、加州、内华达等下游州减少取水，但长期分水协议仍未达成。水位下降也威胁胡佛坝、格伦峡谷坝等水电和生态管理，部分鱼类保护放水被迫让位于维持发电能力。模型预计米德湖年内还将继续下探。

Ddisasm 是 GrammaTech 开源的反汇编与二进制重写工具，项目核心亮点是用 Datalog／Soufflé 表达控制流、数据引用、重定位等分析规则，从 ELF、PE 等可执行文件中恢复可重组的汇编表示。评论者对其实际可用性感到惊讶，认为它在真实二进制上并非概念玩具。讨论焦点集中在二进制重写的可靠性：改变指令长度或数量是否会破坏相对、绝对引用，以及异常信息、重定位等元数据如何更新。回应指出常见做法是新增 section 放置重写代码，并利用 ELF／PE 的重定位信息修补引用；但裸二进制 blob 仍可能困难。另有评论关注 Soufflé 规则系统如何避免关系饱和爆炸，猜测可能通过按基本块等方式分区。

Claude Code 新增跨会话消息功能，让一个独立会话可通过「ListAgents」发现可达代理，并用「SendMessage」把发现、决策、状态或交接信息发送给另一会话，适合并行 worktree 协作、长任务汇报、跨机器回复等场景。系统会按接收端权限策略将消息判定为送达、暂存或拒收；远程机器会话通常只能回复不能主动发起。文章强调安全边界：会话消息不能代替用户批准、不能改配置，命令文本不会被执行，必要权限仍会弹窗。争议焦点在于它提升多代理协作效率的同时，也引入新的攻击面和权限治理复杂度。

作者反驳流行说法「代码从来不是难点」，认为这既低估了编程作为手艺所需的技能、经验、耐心与判断，也掩盖了软件长期高薪、高门槛、易出错和维护困难的现实。他同样批评另一端把代码神圣化、拒绝自动化的姿态，主张软件成功需要同时理解系统本身和为什么要构建它。面对 AI 带来的行业级变化，程序员应承认变化、辨别炒作与有效工具，并扩展到用户体验、业务、需求等相邻领域；资深者不能只加深技术，初学者也不能放弃底层知识。争议焦点在于「编码」「编程」「软件工程」是否被混为一谈。