The Hacker Daily

ReadKinetic 是一款免费的本地优先速读应用，让用户逐词阅读自己的电子书（EPUB/PDF）。该应用的核心特点是不会一次性显示全句，而是以用户自然阅读的节奏逐词闪现，帮助读者放慢并专注于每个单词，从而提升阅读理解力。开发者指出，其解析成本是一次性的，之后的阅读只是遍历词组数组，因此 900 页小说与短篇的运行性能无差异。应用目前支持从本地文件或 URL 导入书籍。有用户反馈速读对自己效果不佳——单词能跟上但整句无法注册；也有用户认为这是一次「认知震撼」，意识到自己平时无意识地跳读了多少内容。目前的不足包括：图片和图表会被丢弃、仅提取文字层，「已保存」通知弹出时会打断阅读节奏。

FreeInk 是一个基于 ESP32 芯片的开源电子阅读器固件/硬件生态系统，旨在打破封闭的电子阅读器生态，推动 e-ink 设备的互操作性和开放标准。目前支持的设备均为小型微阅读器（如 Xteink X4 等），固件完全开源可自定义。但评论反映当前固件体积对列表中部分设备仍过大。社区讨论焦点包括：开源固件与 Kobo+KOReader 等成熟方案的对比、ESP32 性能是否足以支撑更大屏幕设备、对老旧 Kindle 设备移植的期待、以及 DRM 导致已购电子书被删除的长期问题。部分用户对 Kobo 的开放性表示满意，也有用户呼吁加入 Kindle 支持以扩大影响力。

OpenAI 正式推出 ChatGPT 广告平台 ads.openai.com，成为 AI 商业化路径上的重要转折点。官方声称广告「标注清晰」且「与回答独立运行」，但社区普遍持怀疑态度——有用户指出，Google 广告当年也是从「不打扰用户」起步，如今已成噩梦。有评论提及 Sam Altman 曾坦言「AI 加上广告让我不安，广告是我们的最后手段」，暗示 OpenAI 财务压力之大。与此形成对比的是，Anthropic 明确表示 Claude 将保持无广告状态。主要争议集中在：广告系统是否终将影响 AI 回答质量？付费 Plus 用户是否也难逃广告？以及在中文模型价格战的冲击下，广告是否 OpenAI 的被迫之举？有用户形象地将其比作《黑镜》剧情，直言 AI 已彻底滑入注意力经济时代。

美国联邦法官批准了 AI 公司 Anthropic 价值 15 亿美元的版权和解协议，涉及超过 48 万本被盗版用于训练聊天机器人 Claude 的书籍。约 91% 的权利人已认领赔偿，每本书可获赔约 3000 美元。法官认定：用受版权保护的书籍训练 AI 模型本身不违法，但 Anthropic 通过盗版网站获取这些书籍构成侵权。这是 AI 版权诉讼领域首起重大和解案，原告律师称其为「史上已知最大版权赔偿」。Anthropic 方面强调裁决确立了「用书籍训练 AI 属于合理使用」这一里程碑式判决。评论普遍认为 15 亿美元不过是「做生意的成本」，无法阻止类似行为继续发生，并呼吁建立更有效的版税支付机制。

Google 推出三款 Gemini Flash 系列新模型：3.6 Flash 为主打产品，输出 token 效率提升 17%，价格反而下调至 $1.5/$7.5 每百万 token，在编码、知识工作和多模态任务上均有提升；3.5 Flash-Lite 为系列最快模型，达 350 tokens/s，定价 $0.3/$2.5，主打高吞吐量和低延迟场景；3.5 Flash Cyber 则专注于网络安全领域，与 CodeMender 安全代码代理结合，仅向政府及可信合作伙伴开放有限 pilot。三款模型均内置计算机使用工具，强化了 CBRN 和网络攻击相关的 Frontier Safety 安全防护。社区反应复杂：一方面认可 3.6 Flash 的 token 效率和 3.5 Flash-Lite 的性价比，另一方面质疑 Google 相比 GLM-5.2、DeepSeek 等中国模型缺乏竞争力，且定价持续上涨、命名混乱、产品化能力弱的顽疾依旧存在。

著名数学家陶哲轩在博客中详细解读了一个由 Fable AI 生成 Jacobian 猜想反例。这条猜想认为：若多项式映射的雅可比行列式为非零常数，则该映射必可逆（具有多项式逆映射）。此前该猜想在一维情形下容易证明，在二维情形下仍为开放问题，但在三维及更高维度下已被证伪。陶哲轩通过「消化」这一反例，将其重新诠释为几何形式，利用低次多项式乘法结构的对称性，展示了即使在限制了尺度对称性后，乘法映射仍是局部单射但非全局单射，最终证明该反例满足局部单射性、全局非单射性以及与仿射空间的等价性三条性质。评论区聚焦于该反例是否源自 AI 训练数据、LLM 是否真正「发现」而非重组已有知识，以及操作此 AI 的人类数学家 Levent Alpöge 本身的专业背景。

LG电子美国分公司本周宣布，计划暂停任何将电视变为永久住宅代理节点的智能电视应用。此前安全公司Spur研究发现，LG webOS商店中超过42%的应用包含住宅代理SDK，可将用户电视变为代理节点供第三方使用。这些SDK在应用关闭后仍可持续运行，仅在用户删除应用或选择退出时停止。LG要求开发者在规定时间内移除相关代码，否则应用将被下架。Bright Data是主要住宅代理SDK提供商，市占率最高。安全专家指出，问题根源在于此类代理网络被大规模嵌入普通消费者不会视为电脑的设备中，用户难以审计。有评论指出，LG同时因在高端显示器中捆绑McAfee安全产品推送订阅而备受批评。

这是一款科学驱动的 FPS 瞄准训练器，其核心机制是将用户匿名训练数据汇聚成一个共享的玩家模型，用于将个人评分标准化到真实水平。系统默认不收集原始鼠标轨迹、身份或设备信息，用户可随时退出数据贡献。训练时的各项设置（FOV、灵敏度、目标样式、十字线样式等）会记录在 replay 文件头中，确保分析结果反映真实的训练条件。用户可选择开启 raw replay 和公开排行榜功能。该项目已发布原理说明文章（pramit.gg/post/i-made-an-aim-trainer）。社区反馈中，有人反映 Firefox 上模拟器存在 bug（十字线卡在中间），也有人建议增加多鼠标配置文件支持以满足不同输入设备的训练需求。

本文是已故软件工程师兼作家 Pieter Hintjens（ZeroMQ 消息队列库的作者）于 2015 年发布的博客文章，总结了十条通往幸福的生活原则。文章核心理念可概括为：接受一切、保持简单、不在通勤上浪费时间、不把一切看得太重（人终有一死）、投资于感官体验等。这些建议结合了他在开源社区的丰富阅历和对生死的深刻思考，因为他在写这篇文章时已知自己时日不多。评论社区对这些建议反响积极，认为虽然单独看每条都不新鲜，但如此清晰地整合在一起让它们更难被忽视。也有读者对「接受一切」提出质疑——拒绝接受某些工作、习惯和关系反而让他们更快乐，体现出幸福观上的个体差异。

1960 年代，西非贝宁沿海的渔业调查人员曾意外捕捞到珊瑚头，但这份发现被埋没于一份 130 多页报告的简短段落中。此后 60 余年间，由于全球珊瑚礁面积因大规模白化事件和过度捕捞锐减超过 50%，学界普遍认为贝宁近海已无存活珊瑚。然而，2025 年 1 月获得《国家地理》探险家 2 万美元资助后，以贝宁科学家 Gérard Zinzindohoué 为首的团队，克服了设备预算限制、供应商拒收非洲账户付款、无永久科考船等重重困难，最终借助当地渔民的 pirogue 小船，在离岸 14 英里、水深超 175 英尺的中等深度带，发现了至少 8 种珊瑚和 8 种鱼类构成的繁荣生态系统，分类为「中等深度珊瑚生态系统」（MCE）。研究人员正推动将其设为海洋保护区，并计划申报为国际自然保护联盟的重要鲨鱼和鳐鱼区域。该发现被认为有助于通过碳定年和古气候研究了解区域历史气候，同时激励西非地区更多本土科研探索。评论聚焦于：研究路径聚焦于生态系统的持久性而非单纯记录衰退；西非生物多样性长期被低估；防晒霜与珊瑚存活的关联被讨论；多个组织正致力于珊瑚礁修复但资源严重不足。

Block联合创始人Jack Dorsey于7月21日宣布推出开源项目Buzz，这是一个将团队聊天、AI代理和Git托管整合在统一身份系统下的自托管工作平台。Buzz基于Nostr协议构建，所有消息、工作流步骤、代码事件和审批都存储为加密签名事件，AI代理与人类员工享有相同的身份结构和权限，可搜索讨论、提交补丁、审查代码、运行工作流。项目包含内置软件forge，支持Git Smart HTTP，功能分支可转化为独立频道并保留完整的补丁、CI结果和合并决策记录。然而其「去中心化」主要体现在部署自主权上，当前并无点对点事件交换或中继间复制，每个工作空间的所有读写仍经由单一中继。Buzz目前为早期版本，移动端和推送通知仍在开发中，已发布0.4.21桌面版。社区反应两极：有人看好自托管价值和统一工作流的愿景，也有人质疑其产品成熟度、网站性能，以及 Dorsey 过往记录的可信度。

作者搭建了一个「绘画竞技场」：给AI模型空白画布和彩色铅笔工具，让其自主选择颜色、笔触宽度、压力值等进行绘画创作。测试了GPT-5.6 Sol、Claude Fable 5、Grok 4.5和Gemini 3.6 Flash四个模型，在蒙娜丽莎和星夜两个目标图像上以SSIM评分，并完成5个开放文本提示的绘画。结果GPT-5.6 Sol以$7.74成本获得最佳综合表现，其星夜和玫瑰作品最受好评；Claude Fable 5成本高达$160却效果欠佳；Grok 4.5基本不可用；Gemini 3.6 Flash的SSIM分数虽最高，但因过度自我修正导致最终效果下降。核心发现：所有模型都在中期达到最佳后趋于恶化，过度优化反而降低输出质量；低成本高效率的GPT-5.6 Sol大幅领先开源模型。工具代码已开源。

Amy v. Apple案核心争议：苹果因未对iCloud实施CSAM扫描被CSAM受害者集体起诉，法院依据美国《通信规范法》第230条判决苹果享有完全豁免权。苹果曾自研NeuralHash系统替代行业标准的PhotoDNA，但最终放弃扫描、转向端到端加密。法院认定原告主张的「未实施已知防护措施属于设计缺陷」实质是要求苹果充当内容出版者，符合第230条「源于出版者身份之责任」的豁免条件。法官Wise在判词中罕见表达不安，指出：现行法律既不禁止也不强制公司主动扫描CSAM，隐私保护与儿童保护形成结构性矛盾，若要解决需立法介入；强制iCloud扫描意味着破坏端到端加密，将令数百万用户隐私暴露于拦截者和政府干预风险中。此案结果再次印证第230条已扩展至为知情平台提供实质免疫的批评。

本文作者以自己1985-1994年从大学电台到商业电台的亲身经历为线索，回忆广播曾经的黄金时代：DJ与听众之间真实的人际连接、电台作为社区信息枢纽的角色。 作者指出广播衰落的三大原因：广告商只关注30多岁母亲群体导致节目同质化；政府去监管化后大企业并购导致本地Live主播被卫星传输和voicetracking取代；Portable People Meter等新评级方式促使节目缩短、减少真人互动。 他怀念的两位本地DJ——Steve Simpson和Tom Berg——命运多舛，前者因立场冲突被解聘，后者被格式转型裁员后因癌症去世。作者最终放弃商业广播，转向iPhone音乐和NPR新闻，所有曾工作过的电台都已停播。

Castlemap 是一个免费的交互式地图，收录全球 2438 座著名城堡、要塞和宫殿，分布于 130 个国家。该项目基于开放数据构建（Wikidata 坐标、Wikimedia Commons 照片、Wikipedia 文章），用户可点击查看照片、建造世纪和故事，也可下载完整 GeoJSON/CSV 数据集。地图上法国以 183 座位居榜首，其次为意大利、德国、英国、日本；分为城堡、要塞、宫殿、遗迹四类。知名度评分依据 Wikipedia 语言版本数量，凡尔赛宫排名全球第一。社区反馈指出严重问题：实际城堡数量被严重低估（如法国可能有 2 万至 4.5 万座），收录标准模糊（宫殿和近代建筑被混入），且仅依赖英文 Wikipedia 导致大量非英语国家城堡缺失。另有用户反映颜色对比度不足、移动端链接失效等技术体验问题。

Poolside 发布 Laguna S 2.1，这是一款 118B 总参数的 MoE 模型，每 token 激活 8B 参数，支持最高 1M token 上下文。该模型在不到九周内完成训练，在长程编程基准 Terminal-Bench 2.1 上达到 70.2% 得分，在 DeepSWE 上达 40.4%，可与参数量大数倍的模型竞争。文章通过三个案例展示能力：50 分钟内从空白文件夹构建完整 HTML/CSS 渲染引擎；在自动化循环中优化自家 agent harness，实现 5.2% 提速和 70% 内存降低；以及持续的自我优化能力。Poolside 还开源了所有评估轨迹。社区反应热烈，测试者称其性能与 DeepSeek V4 Flash 相当、速度更快，但有人指出 thinking 模式存在默认配置问题需注意。

Google 发布 Gemini 3.6 Flash 与 3.5 Flash-Lite 两款新模型，均支持 100 万 token 上下文窗口与 6.4 万最大输出。3.6 Flash 在复杂 agent 任务、多模态推理与代码生成方面有明显提升，输出 token 定价从 3.5 Flash 的 $9/百万降至 $7.50/百万。核心 API 变更有两项：一是 temperature、top_p、top_k 采样参数已被废弃并忽略，未来模型版本若传入这些参数将返回 HTTP 400 错误；二是禁止在请求末尾附加预填充的 model role turn（模型回复片段），违者亦返回 400 错误。官方建议通过系统指令（system_instruction）来实现确定性输出，而非依赖温度类参数。

欧盟法院（CJEU）于 2026 年 7 月作出里程碑裁定，明确将 VPN 认定为「合法技术工具」，并裁决 VPN 服务商无需为用户绕过地理封锁而承担连带版权侵权责任。案件源于荷兰与比利时学术机构联合发布的安妮·弗兰克手稿免费学术在线版——因荷兰版权保护至 2037 年，比利时等国已进入公版，出版方采用地理封锁阻止荷兰 IP 访问。版权持有方安妮·弗兰克基金主张该站通过 VPN 实质上向荷兰公众传播了受保护内容。法院则认为，只要出版方采用「现有最佳」地理封锁技术，即便技术可被绕过，这本身不足以认定封锁无效。裁决结果：VPN 业者获得法律免责，版权方须承担维护技术防线的责任，而非要求绝对安全。数字权益倡导者视此为重大胜利，但评论担忧各国仍可能通过强制身份验证等立法手段迂回限制 VPN 使用。

ScreenWall 是一款基于浏览器的软件，声称可将旧手机、平板、显示器变成同步的小组件墙面，用于展示时钟、状态面板、环境屏幕或数字标牌。核心卖点是无需在每块屏幕上安装应用，只需用浏览器扫描 QR 码或输入 PIN 即可快速配对设备；支持不同尺寸、边框和方向的设备混用，从几台旧手机起步即可搭建，逐步扩展。该项目目前仍处于 beta 阶段，核心功能可用但仍在完善稳定性与兼容性。用户可先体验演示再注册。社区反馈指出，iPad 3（2012 年）是最老的支持设备。

本文回溯Prolog语言诞生历程。Prolog由Alain Colmerauer和Robert Kowalski于1970年代在法国马赛开发，最初是为自然语言处理（NLP）项目而创建，而非源于逻辑编程研究议程——SLD resolution是后来附加的理论基础。Prolog在1980年代曾短暂掀起热潮，其「关系+事实」的声明式编程范式吸引了不少开发者，1990年代在NLP和HPSG系统中广泛应用，甚至有大学间的逻辑编程竞赛。然而好景不长，该语言迅速被边缘化至小众领域。评论者普遍认为Prolog的严格确定性（strict determinism）令人困惑又着迷，它强迫程序员以「关系和事实」的全新方式思考问题。有评论者感叹原始代码已无存世，倍感遗憾。

作者开源了一款名为 Phantomdrive 的隐蔽加密 USB 设备设计。设备首次插入时只显示为 8GB 普通 U 盘，操作系统无法检测到隐藏区域；用户在明文文件写入「password:密码」后会触发解锁，隐藏的加密分区挂载并使用 AES-256 实时加解密。硬件采用 CH569 芯片（支持 USB3、SD 卡及硬件 AES/SM4 加速），固件和设计文件完全开源。密钥派生使用 100k 轮 SHA-256 迭代（设备解锁耗时约 3 秒），每个设备有唯一盐值防止彩虹表攻击。文章比较了 AES-ECB/CTR/XTS 模式的安全性与性能（AES-CTR：9MB/s 写/20MB/s 读；AES-XTS：6MB/s 写/10MB/s 读）。社区争议集中在：安全专家 tptacek 指出国家级攻击者能发现并利用这类现成方案；有评论指出 AES-CTR 存在位翻转攻击风险；还有评论建议使用 TPM 或直接用 Veracrypt 隐藏卷。

Justif 是一个实现 Knuth-Plass 断行算法的网页排版工具，由开发者 Lyall 推出。Knuth-Plass 算法源自 TeX，其原理是将整段文字视为一个全局优化问题，通过动态规划找出最优断行位置，从而消除单词间间距不均匀的现象。该工具在此基础上增加了 tracking（字间距调整）和 expansion（词间距调整）等微排版特性，并内置 TeX 风格的分词词典，支持自定义词典。实现上，Justif 完全基于 DOM 运行，通过计算行断点后插入带适当样式的 HTML span 元素来应用排版。性能方面，OP 回应称算法以段落为处理单元而非整篇文档，且现代计算机速度足够快。主要争议在于：userbinator 指出该算法时间复杂度为 O(n²)；wrs 提到 Chromium 已为 text-wrap: balance 实现了类似算法但限制在六行以内；antics9 则认为逐字切换的对比演示比并排对比更有说服力。

发帖人询问美国是否有类似德国 Anabin（德国官方用于认证外国教育学历的数据库）的对应系统。Anabin 帮助雇主和机构快速核实外国学位真伪，是德国及多数欧洲国家的标配。评论普遍指出，美国教育体系高度去中心化，没有联邦层面的统一学历认证机构或数据库——不存在一个「国家认证中心」。不同评估机构可能对同一外国学历给出不同结论，专业资格认证也各州独立。评论者提及美国存在的私立评估机构如 TEC 和 IEE Evaluation，但强调这些是市场化服务，并非政府主导的集中系统，与 Anabin 的性质完全不同。

pico-usb-wifi 开源固件将树莓派 Pico W 转换为免驱 USB WiFi 适配器，兼容 Windows、Linux、macOS 等系统。该固件在无线模块和 USB 接口之间实现透明二层桥接，通过 USB CDC-NCM 暴露为网络接口，支持 IPv4/IPv6 且无需 NAT 或端口转发。认证方面支持 WPA2-PSK 和 WPA3-SAE。由于受限于 USB 1.1 的 12 Mbps 带宽，实际吞吐量约 4.75 Mbps，更适合应急场景。项目使用 Claude Code 开发，可编译适配 Pico 2 W。

Roblox 官方宣布在其 Android 客户端支持 GrapheneOS 的远程认证（Remote Attestation）功能。这是首个大型游戏公司明确表态支持这款以隐私安全著称的第三方 Android 定制 ROM。GrapheneOS 是目前唯一实现应用远程认证的第三方 ROM，能够在保持安全特性的同时通过 Google Play 认证机制。此次官方支持被社区视为重要信号——一家拥有庞大用户群的平台选择不主动破坏对安全 ROM 的兼容。有评论指出，其他第三方 ROM 如 LineageOS 虽提供签名验证，但仍被应用封锁；部分厂商设备已停更大两年却仍遭歧视性屏蔽，讽刺的是这些设备几乎存在所有已知漏洞。此外，GrapheneOS 在 RCC 消息和相机应用上的早期问题已逐步修复。