The Hacker Daily

Mir Titles（mirtitles.org）是一个保存和分享苏联时期书籍的在线项目。网站收录的最后一卷《Science for Everyone》系列书籍由苏联科学院通讯院士Ekaterina Radkevich撰写，系统阐述地球地质学知识，涵盖地球宇宙地位、地质历史、岩石成分、地壳运动及矿产资源等主题。该系列最后一卷的面世标志着SFE系列英文版的完结。评论中反映出人们对苏联时期科普书籍的深厚情感，这些书籍曾在印度等地因价格低廉、质量上乘而广受欢迎。Landau与Lifschitz的物理学教材被认为是世界级水平。社区也关注这些珍贵书籍在中俄两国的数字化与再版现状。

作者以微分与积分的类比阐释核心论点：微分是局部操作，只需知道函数在邻域的行为；积分是全局操作，必须掌握整个区间的信息。因此计算导数有通用算法，而求积分没有——许多函数甚至不存在封闭形式的积分（如高斯函数）。作者将此映射到「分析」与「综合」的区别：分析是将大问题拆解为局部小问题，综合则是将多部分整合为全局性问题，前者天然比后者容易。在SRE领域，incident response本质上就是综合问题——需要理解各组件如何协同工作。文章指出，行业尚未将综合专业能力视为头等重要技能，这与该工作的情境依赖性有关，但我们可以更好地学习如何理解系统的运维细节。

Databricks 分享了 Lakebase 的底层架构设计。文章指出，传统单机数据库（MySQL/Postgres）的核心问题是 WAL 日志与数据文件绑定在同一台机器上，导致误配置丢数据、节点故障丢数据、扩容要物理克隆、副本成本高、分析查询与事务互相干扰等痛点。Lakebase 的解决方案是将存储外部化：WAL 交由 SafeKeeper 服务处理，通过 Paxos 协议在多节点间复制以保证持久性，不再依赖本地磁盘刷新；数据文件则由 PageServer 服务管理，异步物化到 S3 上的 Parquet 存储。作者声称此举可实现 5 倍写入吞吐提升和 2 倍读取延迟降低，同时解决单点故障和读写干扰问题。

安全研究者披露 MSI Center（预装于 MSI 笔记本和台式机的管理软件）中存在严重安全漏洞。MSI Notebook Foundation 服务在启动时创建一个命名管道 MSI_SERVICE_2，任何认证用户都能连接并调用高危功能，包括以 LocalSystem 最高权限读写注册表、监控系统硬件、修改安全设置（如禁用 Windows Defender）、以 SYSTEM 权限执行任意程序。研究人员通过 3DES 加密命令并使用客户端名称作为密钥的方式成功利用该漏洞。MSI 在报告后两天内完成修复，但未颁发 CVE，仅协助通过第三方提交。评论者指出漏洞本质是架构问题而非加密算法问题，即使换成 AES 同样存在欺骗合法 MSI 服务命令的风险，且 MSI 历来不重视安全信息披露。

Steam Controller 自动充电项目利用计算机视觉定位磁吸充电座，然后通过控制器内置的触觉反馈振动马达使其在桌面上「爬行」移动至充电位置。开发者 FossPrime 还发布了演示视频展示实际效果。有评论指出该项目的 README 全部由 AI 生成，表述不够自然；还有观众提到项目配置文件 AGENTS.md 中要求代码风格「对标 Anthony Fu 和 Evan You」等夸张内容，引发对 AI 生成代码质量的讨论。此外有人指出 Steam Controller 本身配备陀螺仪和麦克风，未来或可探索更多创新玩法。

文章鼓励成年人学习新技能（如像素画、打字、3D建模、音乐、语言等），强调这是「时间投资，回报终身」。作者指出，许多人以「没时间」为由放弃，但实际上刷手机的时间足够练习，每天30-45分钟即可。关键认知：学习初期感觉糟糕是正常现象，因为大脑在睡眠中才会内化练习成果；初期表现会退化、想放弃，但第二天会有明显进步。经过「糟糕期」后会进入「平庸中级」高原，此时已具备实用技能，进步更轻松。作者提醒：避免信息过载、拒绝销售式教程、专注基础而非追高级概念。

SearXNG 是 Searx 的活跃分支，一个免费开源的互联网元搜索引擎，可同时查询 Bing、Google、Brave 等多个后端并聚合结果。用户普遍对其搜索相关性给予高度评价，认为聚合多引擎比单一搜索引擎更能抵抗结果操纵。SearXNG 支持 JSON 输出，便于与 AI agent 和本地模型集成，评论中提到了与 MCP 协议、llama-server 的结合用法。有用户将 YaCY 作为后端实现本地索引。争议点在于隐私价值的质疑：向多个引擎发送查询是否真的比单一搜索引擎更隐私？公共实例面临网络审查和代理检测的限制，原作者推荐自托管部署。此外，引擎稳定性存在问题（如 Google 突然失效），图片搜索质量也相对较弱。

作者从 Ubuntu 迁移到 FreeBSD 后，发现 fastfetch、btop、htop 对内存使用的报告差异悬殊（82% vs 7%），遂深入研究操作系统内存管理机制。现代 OS 采用虚拟内存系统，将物理内存分为 4KiB 页面，通过 active、inactive、laundry、wired、free 等队列管理。ZFS 的 ARC 自适应替换缓存会将磁盘数据预加载到内存以提升性能，这部分在 wired 队列中，但属于可回收内存。不同监控工具采用不同启发式方法定义「已使用」内存：fastfetch 将 free + inactive + cache 视为可用，而 btop 用 active + wired 计算已用，htop 则用 wired + active + laundry。作者调查发现 btop 在 FreeBSD 上的内存统计存在明显错误，且其 cache 显示为空是潜伏数周的 bug。评论区指出这是 ZFS ARC 缓存未被所有工具识别的典型问题，也有观点认为 OS 应直接暴露 available memory 计数器而非让应用自行理解各类内存类型。

17世纪阿姆斯特丹是全球最富庶的城市，但频繁的火灾严重威胁着这座运河城市。1660年代，市政当局从纽伦堡发明家Hans Hautsch处购入约60台抽水引擎，分布全城并由四大公会负责灭火。然而1672年Blaeu印刷厂大火——距最近运河甚远且严寒导致水泵失效——造成了38.2万荷兰盾的惨重损失。画家出身的Jan van der Heyden与兄弟Nicolaas研发出三项关键改进：远程吸水软管以稳定供水、可深入建筑的柔性「蛇形」 hose，以及防止冻结的空气压力舱。1672年的一次军火库火灾测试中，新系统展现出对旧引擎压倒性的优势，一举证明了这套改进方案的实战价值。

这是一个关于如何在本地运行最先进（SoTA）大模型的实用指南，核心讨论围绕硬件配置与成本效益展开。入门级方案推荐双RTX 3090（合计48GB VRAM，约$600-800），可流畅运行Qwen3.6-27B，支持q4量化下的25万上下文。进阶方案包括Apple M5 MacBook Pro（48GB统一内存）或128GB统一内存架构设备，可运行DeepSeek等模型。高端方案需$40k级别配置（4×RTX 6000等），才能接近Claude Opus水平。社区争议焦点在于：$40k成本是否值得（有人指出订阅Claude API更划算）；小模型是否足够满足多数需求（普遍认为不应盲目追求SoTA）；量化精度选择（q4的KV缓存影响长上下文准确性，建议q8）；以及本地LLM的实际应用场景（隐私保护、离线能力、代码辅助等）。

Odin 编程语言的维基百科条目近日被通过「文章删除讨论」（AfD）流程删除。投票结果为 5:2 支持删除，维基百科认为该语言「非 notable」，可靠来源仅有开发者个人网站、随机博客和自出版电子书。Odin 开发者 GingerBill 发推批评维基百科「自视为 journalists」，被意识形态驱动，并获得 Jimmy Wales（维基百科联合创始人）回应支持删除决定。Casey Muratori 等知名程序员也参与讨论。文章作者批评社交媒体上通过「表演性冷漠」收割流量的现象，认为这场争议暴露了维基百科对可靠来源的过时标准与当代编程语言社区实践之间的深层矛盾——现代软件社区往往不产生维基百科所需的那种持久性二手资料。

文章作者是知名安全博客Soatok Blog的作者（一位Gay Furry），用轻松幽默的笔调介绍威胁建模的核心概念。作者指出「威胁模型」已成流行语，多数人并不真正理解其含义。他提出一个威胁模型应至少回答7个问题：我们保护什么、谁想伤害我们、他们如何攻击、我们如何防御、资产间如何关联、我们做何假设、以及我们故意忽略哪些威胁。作者特别强调假设的重要性——如果假设错误，模型就不完整；威胁模型应是「活文档」，需随认知更新。文章以自己正在做的Fediverse密钥透明度项目为例，展示如何写威胁模型，同时批评Matrix的威胁模型文档缺乏对资产关联和假设的深入分析。

该项目展示了一种利用对比语言-音频预训练（CLAP）技术对机械故障进行分类的方法。系统通过采集汽车音频数据，将其与文本描述配对进行对比学习训练，从而识别发动机异响、刹车系统异常等多种故障类型。该技术结合了音频处理与自然语言理解，为汽车诊断提供了一种创新的多模态机器学习方案，适用于车辆维护场景。

2026 年 4 月 Anthropic 宣布 Claude Mythos Preview 能自主发现并利用网络安全漏洞后，Epoch AI 分析显示 CVEs 数量大幅攀升。与该公告前的月度最高纪录相比，6 月份高危和严重漏洞数量增加超过 3.5 倍。Anthropic 和 OpenAI 均已启动项目，利用前沿模型在恶意行为者之前强化关键软件安全性。评论焦点集中在：漏洞激增究竟来自「白帽」还是「黑帽」；AI 是更能发现漏洞还是制造了更多漏洞；以及 AI 生成报告的真实性验证问题。

知名 Python 教育和 SICP 课程讲师 David Beazley 宣布终止其编程课程，原因是招生人数不足。他曾在 PyCon 发表多场脍炙人口的演讲，包括关于 Python 异步编程和 lambda 演算的深度内容。社区反响强烈，许多人表示从未有机会参加他的课程深感遗憾。评论焦点集中在 AI 对编程教育市场的冲击——有观点认为 AI 正在取代人类教学，导致招生下降；也有人认为短期趋势不代表长期趋势，如同计算器出现后人们仍在学习数学。另有从业者指出 SEO 流量骤降（AI 摘要占据搜索结果顶部）可能是招生困难的技术原因。Beazley 本人表示原计划授课至退休，但数据不说谎。

作者展示用纯 Ruby（无需任何第三方依赖）逆向工程 Codemasters 2003 年赛车游戏 TOCA Race Driver 的 AI 数据容器格式 BIGF。核心论点是 Ruby 极适合二进制逆向工程：字符串即字节缓冲区可直接索引切片；String#unpack 是 C 实现的高速二进制解码器，小端整数用 V、浮点用 e，一个格式字符串搞定所有解析。更巧妙的是处理两种目录布局——固定 24 字节记录表用 unpack 循环遍历；变长布局用 String#index 扫描扩展名再回溯找 NUL 定界。分类记录时用 Float#nan? 正确处理 NaN 而非用 x == x 这种陷阱。整篇文章既是二进制格式规范，也是 Ruby 标准库能力的极佳演示。

堪萨斯大学Michael Vitevitch教授团队运用网络科学分析约20000个英语单词的视觉地图，研究人类唇读错误机制。研究发现：人们远比自己以为的更不擅长唇读，错误通常只差1到2个视觉特征（viseme）；约三分之一英语单词在说话时视觉上与其他单词相似，若某词有大量视觉相似词，唇读难度显著增加；唇读错误并非随机发生，而集中在视觉相似词聚集的网络区域。研究者希望追踪错误来改进唇读训练，让错误逐渐向目标词收敛。该研究还可用于训练AI唇读系统，结合音频与视觉信息提升自动转录准确率。

本文对比了亚马逊与好市多（Costco）两种截然不同的零售模式。亚马逊追求无限 SKU 与极速配送，而好市多只保留约 4000 个精选 SKU，顾客需亲自到店购买。作者认为「选择悖论」令无限选择反而造成消费者焦虑，而好市多的精选即是一种服务；同时低 SKU 使好市多能更深入审查供应商、维持更高产品质量，并实现更快的库存周转（低现金转换周期）。好市多门店体验虽然拥挤、缺乏电商便利，但会员续订率常年超过 90%，过去五年收入年均增长超 10%。作者指出，让快递面包车单独配送一支牙刷并非可持续模式——从社会层面看，让消费者自行完成「最后一公里」反而更高效，既减少道路拥堵，也降低零售商运营成本。

这是John Baez教授在UCR开设的一门应用范畴论在线课程，基于Fong与Spivak的著作《Seven Sketches in Compositionality: An Invitation to Applied Category Theory》，由Simon Burton制作成精美网页。课程共77讲，分为四章：第一章「有序集」介绍预序、Galois连接、逻辑与分割；第二「资源理论」探讨化学、制造业、反应网络与度量空间；第三「数据库」从范畴论角度阐释数据库与Kan扩展；第四「协作设计」讲解可行性关系、成本丰富profunctors与弦图。课程面向程序员与数学爱好者，尝试在范畴论的抽象理论与实际应用间建立桥梁。

皮尤研究中心2024年研究显示，38%的2013年网页在十年后已无法访问，整个2013-2023年间约25%的网页已消失。Ahrefs报告亦称过去9年66.5%的外部链接已死。互联网档案馆与皮尤合作分析其500万URL数据集，发现 Wayback Machine 已存档72%的URL，其中56%为仍活跃网页、16%为「拯救」的已死页面；若计入存档拯救，原本无法访问的URL比例从25%降至10%。对《纽约时报》2013年外部链接的分析更显示，40%的外部链接在活跃网上已死，但其中96%已被 Wayback Machine 存档，「消失」比例仅2%。文章强调图书馆与档案馆在维护数字文化遗产中的关键角色，同时提及「被遗忘权」与 indiscriminate archiving（无差别存档）之间的伦理争议。

作者分享了自己去孩子学校演讲制造业的经历与反思。他展示了自己开发AI时钟的完整过程——从原型设计到深圳工厂生产，包含电子元器件、注塑模具、组装线等实物。他批评那些刻意营造「敬畏感」的工厂宣传片，认为这反而让普通人觉得制造业遥不可及。他的核心观点是：工厂只是房间，制造业并非高不可攀，我们身边的一切物品都是由普通人发明和制造的。他呼吁将制造业「去神秘化」，让孩子们在7岁时就建立「我也可以成为制造者」的信念，而非只在远处惊叹。

Canonical 的 dqlite 团队撰文讲述如何用 TLA+ 形式化验证排查 SQLite 修复的一个长期 bug。该 bug 存在于 WAL（Write Ahead Log）checkpoint 机制中，可能导致数据库损坏，但在实际环境中极难触发。文章详细建模了 WAL 的核心组件——CKPT_LOCK、WRITE_LOCK、nBackfill、mxFrame 等，并给出 Append 和 Checkpoint 两个关键操作的 TLA+ 规范。作者随后为 dqlite 建立独立模型，验证其不受该 bug 影响。TLA+ 通过状态穷举快速暴露了 16 年来无人察觉的边界条件，展示了形式化方法在分布式系统设计中的独特价值。

Infracost 成立于 2021 年，已获红杉、Pruven Capital、Y Combinator 投资，现招聘营销负责人。该公司致力于帮助 FinOps 从业者和平台工程师「将 FinOps 左移」，在代码进入生产环境前主动发现并解决云成本问题。其产品直接集成到开发工作流（GitHub、Azure Repos）及 AI 编码工具（Claude、Copilot）中，在 Pull Request 阶段展示成本影响。该岗位需具备创业精神，能在战略方向与亲力亲为执行间取得平衡，首 30/60/90 天有明确目标。岗位要求位于美国和加拿大时区，全面远程办公，薪资待遇从优。

多伦多大学公民实验室披露，希腊籍欧洲议会议员斯蒂里奥斯·库洛格lou在担任「飞马及等价间谍软件调查委员会」（PEGA）委员期间，其iPhone被NSO集团的飞马间谍软件入侵。技术人员在2022年10月21日、2023年3月6至7日两个关键时段发现感染痕迹，彼时PEGA委员会正处密集听证期与报告起草期。库洛格lou感染当天正在希腊医院接受手术，期间与同样遭受 Predator 间谍软件攻击的希腊记者会面，存在医疗隐私泄露风险。调查未将此案归因于希腊政府，而指出与一起针对俄语/白俄罗斯语流亡记者的飞马活动存在重叠，暗示某位在多个欧洲国家拥有授权的NSO客户是幕后黑手。苹果公司向库洛格lou发送过三次威胁通知，但他表示并未注意到。

Wordgard 是知名开源项目 ProseMirror 作者 Marijn Haverbeke 推出的新一代富文本编辑器。与 ProseMirror 不同，它不是自由形式的 HTML 编辑器，而是一个语义化的内容编辑框架，开发者可精确控制支持的內容类型。其核心卖点是强大的编程接口，适合构建复杂、定制化程度高的编辑器。社区讨论集中在几大焦点：一是 Wordgard 相对 ProseMirror 的核心差异和迁移成本，ProseMirror 依然在维护，切换理由需更充分；二是与 Facebook Lexical 的竞争对比；三是移动端支持仍是业界难题，有用户反映 iPhone 上连基本打字体验都有问题；四是代码仓库已从 GitHub 迁移到自建服务器（code.haverbeke.berlin）；五是网站视觉设计广受好评，插画风格被形容为「吉卜力动画」感，在 AI 生成内容泛滥的当下令人耳目一新。