The Hacker Daily

Mistral 发布 Shieldstral，一款 3B 参数、Apache 2.0 开源权重的多模态安全分类器。它把内容审核改写为可在推理时输入自然语言政策的二元问答任务，对文本、图片、提示、回复和提示回复对输出校准后的 yes/no 概率，无需为不同平台规则重新训练。Mistral 称其在文本安全、拒答检测、政策适配和多模态审核上可匹敌最多大 7 倍的开放模型，并可在单张 16GB NVIDIA GPU 上运行。社区关注其低成本、可定制价值，也质疑黑箱判定缺少解释、真实边缘场景可靠性和监管责任问题。

这页是 1851 年伦敦出版的《亚历山大的希罗〈气动学〉》英译本入口，译自希腊原文，由伦敦大学学院机械学教授 Bennet Woodcroft 翻译并编辑。现有正文片段主要呈现书名页与目录开头，说明该文献是一部关于古代气动与机械装置的经典文本版本，而非现代评论文章。由于正文只给出前言前的出版信息，尚不足以概括具体实验、装置原理或学术争议；其价值主要在于提供古希腊工程技术史资料的英文译本来源。

Mysk 研究发现，iOS 和 macOS 上依赖 WebKit 代理配置的浏览器存在三类绕过：DNS 预取会走设备默认 DNS，WebAuthn 相关来源验证由系统凭据服务直接发起请求，WebTransport 会建立绕过代理的 HTTP/3 连接。这些问题可暴露用户真实 DNS 服务器或真实 IP，影响 iOS Tor 类浏览器、Psylo 以及 iCloud Private Relay；VPN 因在系统层隧道化全流量不受影响。Psylo 1.3.1 已默认屏蔽「dns-prefetch」并禁用 WebTransport 和 WebAuthn，改为按站点显式启用。评论区主要讨论 iCloud Private Relay 的关闭方式、iOS 第三方浏览器是否只是 WebKit 外壳，以及 WebKit/WKWebView 对网络请求控制的边界。

作者尝试为角色创建器、数字艺术和程序化生成等场景构建一个「够用」的肤色色彩空间：先在 RGB 中人工标注看起来像真实肤色的颜色，再用 PCA 把香蕉状分布变换到更易建模的空间，最后用简单方程把球体参数映射回 RGB，并提供 JavaScript 选择器和 Python 采样代码。文章强调这不是科学权威模型，肤色受黑色素、血红蛋白、散射、光照、疾病、屏幕和主观偏见影响，也涉及肤色歧视与技术史。价值在于给包容性默认选项提供可复用起点；争议集中在边界是否覆盖所有族群、为何会出现绿蓝紫等非典型颜色，以及照明和真实皮肤物理是否被过度简化。

Maple-Preview 主打面向端侧运行的 20B 三值 MoE 模型，宣称可在 iPhone 上以约 120 tok/s 推理，强调从训练阶段适配低精度，而不是把全精度模型事后量化。评论区普遍认可其速度和本地 AI 前景，认为边缘设备可用模型正在接近实用；但也指出小模型或重度量化模型仍容易自信幻觉，尤其在事实知识和怪题上表现不稳。有人关注它与 Bonsai、Qwen 等模型的基准对比是否公平，质疑版本选择和营销表述；也有人认为端侧模型更适合语义抽取、工具调用和离线隐私场景，而不应期待它替代前沿大模型。

Stephen Wolfram 写下长篇悼文，纪念突然离世的妻子 Elise Cawley。评论推断，文章回顾两人 36 年几乎每日交谈的亲密关系、她在家庭与事业中的重要角色，以及她作为伴侣、母亲、设计者和有数学背景之人的独特生命轨迹。读者特别被大量日常细节打动，认为这不是展示才智的文章，而是在记忆仍鲜活时尽力保存一个人。社区几乎没有争议，主要反应是哀悼、共情与对长期亲密关系的珍视；也有人提到 Wolfram 长期记录生活的习惯，解释了悼文异常丰富的细节。

文章介绍 tmducken 如何把 DuckDB 的向量化 SQL 引擎接入 Clojure 的 tech.ml.dataset，让本地笔记本也能处理超出内存的大型关系数据。作者以 50GB、4 亿行 CSV 为例，DuckDB 两分钟导入并压缩到 18GB；在 Clojure 中查询计数仅约 10ms，连接 14 亿行约 2.5 秒，按颜色聚合销售数据约 1 秒。核心价值在于结合 DuckDB 的磁盘型列式查询、批量 C 接口和 TMD 的函数式列式处理，避免过早引入 Spark 集群。评论讨论 JDBC 是否足够、语言选择是否仍重要，以及 DuckDB、Parquet、ClickHouse 等本地分析栈的取舍。

文章试图拆解围绕生成式 AI 改造软件工程的八个常见迷思，核心论点是：开发者并非主要时间都在写代码，写代码也不总是瓶颈，因此仅把 AI 视为更快的编码器，难以带来外界宣称的 10 倍到 100 倍生产率提升。作者强调需求澄清、设计、评审、测试、集成、部署和组织协作仍是关键约束。评论区争议很大：不少人认为文章引用的研究已过时，低估了 2026 年代理式工具对设计文档、Jira、调试和多工作流编排的影响；也有人认可其反驳高管和投资人 AI 狂热叙事的价值。

Rio 0.5 将终端核心从渲染器、配置和应用外壳中拆出，形成两层可复用组件：安全 Rust crate「rio-vt」提供 VT 状态机、ANSI 解析、网格与回滚、选择、搜索、PTY 驱动以及 Sixel、Kitty、iTerm2 图像协议；「librio」则以 C ABI 暴露同一核心，便于 Swift、C、Go、Python 等语言嵌入，并提供脏行渲染状态以降低前端重绘成本。作者称 rio-vt 已在 Lovable 等生产环境使用，基准测试显示其在多数解析、屏幕序列化和 resize 场景快于 vt100 与 alacritty_terminal，但也承认在大量 scrollback、SGR churn、宽字符等方面存在权衡，未来计划完善 librio 与 libghostty 对比及 WebAssembly 支持。

安全邮件列表 Bugtraq 的新持有人宣布重启 securityfocus.com 与 bugtraq@securityfocus.com，称其使命回到 1993 年创立时的「全披露、研究者优先、无企业过滤」：鼓励漏洞研究者公开发布发现，并将旧公开邮件档案单独保存。文章强调网络安全历史正在随死链、停运论坛和无人维护的服务器消失，在 AI 能大规模制造知识与误信息的时代，保存真实漏洞研究、技术脉络和贡献者记录更重要。争议焦点在于社区是否还需要这样的公开列表，以及公告文本本身疑似 AI 生成，削弱了其呼吁人类连接与历史真实性的说服力。

国际刑警组织 2026 年非洲网络威胁评估称，非洲 55% 已报告网络犯罪涉及 AI，随着 11 亿移动用户依赖数字服务，诈骗正变得更快、更逼真、更规模化。2025 年网络犯罪损失从 1.92 亿美元升至 4.84 亿美元，在线诈骗仍是最大威胁，72% 受访国家发现境内有诈骗中心。报告指出，AI 被用于深度伪造、性勒索、商务邮件诈骗、合成身份和绕过部分生物识别。各地区风险不同，东非多移动支付诈骗与勒索软件，西中非多 BEC 和恋爱诈骗，南部非洲因连接度高吸引跨国团伙。执法、银行和电信协作不足仍是主要短板，但 17 国已更新网络犯罪法律，多项国际行动逮捕 1500 余人并追回逾 1 亿美元。

libexpat 维护者 Sebastian Pipping 宣布，从 2026 年 8 月 1 日起，他将通过慕尼黑市的「Open Source Sabbatical」项目获得最长 6 个月的正式雇佣支持，专职维护这一广泛使用的 C99 XML 流式解析库。此前近十年，libexpat 维护主要挤占其本职工作和个人生活时间；这次资助结束了项目的「安全假期」，重点将放在修复 5 个已知未修漏洞、支持 XML 1.0r5、提升健壮性和可维护性。作者也欢迎安全研究者在此窗口期提交高质量漏洞报告。评论区总体支持公共部门资助关键开源基础设施，但也有人质疑城市预算优先级和潜在利益关系。

论文用商用硬件搭建测试床，比较智能家居低功耗协议 Zigbee 与「Matter over Thread」在可扩展性、响应速度和故障恢复上的表现。结果显示，Zigbee 基线开销更低，在小规模、静态网络中响应更快、路由恢复更敏捷；Thread 方案则依托 IP 架构，在多跳和异构部署中吞吐更稳定、延迟更可预测，更适合扩展。争议点在于实验规模仅约 6 台设备，社区认为不足以支撑大型部署结论。

Rust 项目中五个团队为 rust-lang/rust 主仓库采用新的 LLM 使用政策，面向 PR 作者、审查者、问题提交者和直接引用 LLM 内容的评论者。文章强调这不是 Rust 对 AI 的官方总体立场，而是为解决协作中的实际摩擦：精致 PR 不再可靠代表作者投入和理解，LLM 降低写代码成本会进一步挤压稀缺的审查带宽，机械复制 LLM 回复会破坏作者与审查者之间的信任。政策核心是允许用 LLM 答疑、分析、提炼、检查、建议和审阅，但严格限制用其「创造」代码或公开文本，并要求必要披露。作者承认规则并非完美或完全可执行，但认为公开、可引用的边界比过去非正式且不一致的审核规则更透明，也为未来治理改进留下空间。

文章展示一种把 VP8 视频编解码器当作计算基底的怪异玩法：利用关键帧中的预测模式，把黑白像素块表示布尔值，用 H_PRED 和 V_PRED 充当向右、向下传播的导线，再借助 TM_PRED 的计算公式 left + top - top_left 和像素钳位特性构造 NOT 与 AND 门，进而组合出 NAND 和任意组合逻辑。作者有意只使用关键帧，强调组合逻辑与视频预测机制之间的对应关系，并提出未来可探索更小器件、Verilog 到 VP8 帧的综合，以及用帧间预测实现时序逻辑。评论的主要争议是标题暗示的「强大计算能力」是否夸张：读者觉得概念有趣，但希望看到真正可运行的实际计算示例。

Waymo 宣布从 2026 年 8 月 4 日起，达拉斯任何人都可下载 Waymo 应用呼叫全自动驾驶出租车。该服务自 2 月向候补名单开放以来已接待近 15 万名乘客，覆盖通勤、办事和夜间出行。公司还在达拉斯 Love Field 机场航站楼进行全无人测试，并将开始达拉斯高速公路测试，为未来机场和高速路线载客做准备。文章强调自动驾驶可扩大无障碍、可靠交通，特别惠及癫痫等无法驾车人群；争议集中在服务区、价格、责任、就业、隐私和公共交通替代效应。

文章从 CSS 居中方案的演进谈起：现代网页可用 grid 和 place-items 轻松把内容居中，但当浏览器左侧边栏开启时，内容只是在网页视口内居中，并不位于整个浏览器窗口或屏幕正中。作者先尝试用 window.innerWidth 与 outerWidth 计算浏览器 UI 宽度并平移容器，却被右侧 DevTools 打破，因为无法判断左右 UI 各占多少。最终他利用可信 pointer event 的 screenX 与 clientX 推算视口在窗口中的位置，从而计算真实偏移，并做成扩展「center, actually」，让用户可选择对任意页面应用这种偏好。争议在于：许多评论认为网站不应反推浏览器宿主状态，视口才是网页应遵守的边界；作者则强调这是个人偏好，适合做成用户端 opt-in。

雷·布拉德伯里1950年的短篇《细雨将至》描写核毁灭后，一座全自动住宅仍按日程做饭、报时、朗读诗歌、清理污迹，直到被火吞没。评论认为它既是冷战核恐惧的经典寓言，也是对「智能家居」的早期想象：语音系统、自动清洁和联网家电已显得可实现，但烹饪、灭火等仍有距离。讨论焦点还包括故事日期逼近2026年8月、版本年份曾被修订、狗之死带来的冷酷震撼，以及布拉德伯里诗性文风在科幻与恐怖之间的持久影响。

这个项目展示了一个完全在 ESP32-S3 微控制器上训练的小型语言模型：模型约 31.9 万参数，训练耗时约 2 天，示例是一个会说克林贡语的概念验证。作者似乎手写了反向传播相关梯度，突出低成本、低功耗设备上本地训练的可行性与工程挑战。社区总体觉得项目很酷，但也指出演示偏玩具化：克林贡语模型并不实用，更希望看到它如何用于传感器数据等边缘场景；也有人追问「手写梯度」的具体含义，并讨论未来是否可能用多个 ESP32-S3 组成集群以及互连瓶颈。

Gwern 宣布结束全职写作并放弃长期匿名身份，转向创办 Guardian Angel。评论引用其长文称，该项目旨在打造高度个性化的「数字孪生」LLM，不再做平台所有者利益驱动的通用聊天机器人，而是学习用户的写作、价值观和目标，充当能保护、增幅并代表个人行动的私人智能体。他认为在智能体时代，人类研究者和写作者会成为系统瓶颈，若无法让 AI 带来数量级生产力提升，就会被边缘化。争议集中在：这是否只是高端人群可负担的工具、是否会强化妄想和迎合、私人公司能否保证信任与安全，以及个人对齐智能体若具备进攻能力会带来何种社会风险。

Flowise 团队宣布将逐步结束运营，原因是 AI 应用构建方式正在转变：随着模型推理能力增强，开发者越来越依赖 Claude Code、OpenClaw 等编码代理处理复杂任务，传统低代码的固定流程在复杂场景中容易触顶。项目代码将继续保留在 GitHub，Apache 2.0 许可不变，团队鼓励用户 fork 并自行维护。社区争议集中在：官方理由是否掩盖被 Workday 收购后的战略调整，以及可视化工作流是否真的会被代码代理取代。

该项目展示了一个用 Rust 编写、利用 SIMD 加速的 Viterbi 解码器，属于前向纠错和信号解码领域，而非自然语言处理中同名算法的应用。由于原文无法抓取，核心信息主要来自标题与评论：社区关注它是否可替代 goestools 中依赖的 libcorrect，用于 GOES 卫星下行信号解码。作者表示理论上可通过 shim 在现有 C/C++ 工具链中调用该 crate，但会引入 Rust 依赖；另一种方向是重写 goestools，不过工程量不小。评论也指出 Viterbi 算法横跨通信、语音、分词等多个领域，体现其通用性。

作者借 Lean 中一个导致 Collatz 猜想被错误反驳的内核漏洞，批评依赖证明对象并把复杂机制放进证明助手内核的设计取向。他认为独立检查器 Nanoda 同样未发现错误，说明证明对象并非可靠安全网，反而带来内存和复杂度负担。文章主张沿袭「诚实劳动」传统：从少量原始公理出发，在内核外构造归纳定义、递归函数、模式匹配等高级机制；相比之下，将嵌套归纳类型、递归和模式匹配等直接内建进内核，增加了可靠性风险。作者认为若首要目标是可靠性，HOL Light、HOL4 及 Isabelle/HOL 这类小内核路线更值得重视。

Godox C100 是一款主打透明外观和屏幕缺席体验的轻量相机，面向胶片爱好者、生活方式创作者和想降低拍摄门槛的人群。它用透明光学取景框和 HUD 叠加显示模式、网格、电量、曝光参数，内置中央 25% 测光，也可作为外接测光表使用；支持照片与短视频、四种画幅比例、Type-C 连接手机导出，以及最高 128GB 扩展存储。产品刻意强调「氛围大于像素」和「盲拍」的复古乐趣，但社区争议集中在取景准确性、成像质量和透明显示是否只是噱头。

文章介绍 GitHub 代码搜索引擎 Blackbird 为海量源码索引优化 Unicode「大小写折叠」的过程。核心发现是 ASCII 热路径不要遇到非 ASCII 就提前退出，而是在无分支循环中扫完整个缓冲区，同时完成大写转小写和高位检测，从而让 LLVM 自动向量化，在 Apple M4 上从约 3 GiB/s 提升到 45 GiB/s 以上。作者强调大小写折叠不同于小写化，当前 crate 只做简单一对一折叠，并通过按值接收 String、延迟分配第二缓冲区避免不必要复制。争议主要集中在 Unicode 语义限制、是否过度优化，以及文章写作风格疑似 AI 化。