The Hacker Daily

2019 年，尼日利亚创业者 Adebayo Alonge 在南非演示其药品真伪识别设备 RxScanner 时，因服务器位于 1.4 万公里外的美国，网络带宽严重不足导致每次扫描耗时超过 5 分钟。这促使团队在 2 小时内开发出可完全运行在 Android 手机上的轻量级 AI 模型。如今该设备已在加纳、肯尼亚、缅甸等国使用，能在无宽带、电脑甚至稳定电力环境下验伪药品。文章指出，全球最贫困国家仅 0.7% 的互联网用户使用过 ChatGPT，而发达国家达 25%；小模型 AI 通过「剪枝」「蒸馏」等技术从大模型提取专用能力，可运行在 Arduino、手机等低功耗设备上。巴西教授 Marcelo Rovai 已在多个发展中国家开展案例：用无人机识别印度腰果病害、在乌拉圭葡萄园检测蚂蚁侵扰、用 Arduino 在巴西偏远地区做心电图。Rovai 评价「这是当今 AI 最重要的领域」，Alonge 则认为「AI 的未来不是巨型中心化模型，而是数百万部署在边缘的小型专用模型」。2025 年全球超过三分之一智能手机已具备运行生成式 AI 的能力，2026 年底这一比例将超过半数。

Lago 是一家 Y Combinator 2021 年冬季批次孵化的开源计量计费基础设施初创公司，现正积极扩充其 GTM（走向市场）团队。本次招聘页面托管于 Ashby ATS 平台，需启用 JavaScript 方可查看完整职位信息。Lago 致力于为 SaaS 企业提供灵活的用量计量与账单管理解决方案，其开源版本在开发者社区中获得了一定关注。公司当前处于商业化扩张阶段，正在招募具备 GTM 经验的专业人才，以加速其市场化进程。具体职位详情与任职要求请访问其官方招聘页面获取。

Ternlight是一个7MB的embedding模型，可直接在浏览器通过WASM运行，无需API调用。作者从MiniLM蒸馏出小型句子编码器，采用三值量化感知训练（QAT）从零编写推理引擎，最终在斯皮尔曼相关系数上达到原版MiniLM的0.84，保真度相当高。三值QAT是性能关键——模型在训练阶段即学习三值权重，而非事后量化，因此远超普通后训练量化效果。社区看好其在产品搜索、本地隐私语义搜索等场景的应用，也讨论了Safari兼容性、浏览器自动下载模型的安全边界、以及与DuckDB HNSW等工具链结合的可能性。

Dolosse（多利斯块）是一种南非发明的混凝土异形块，用于保护港口防波堤免受海浪侵蚀。其最大重量可达80吨，独特形状能让海水从缝隙中流过，从而分散冲击力。南非立法港2.5公里防波堤的上层就使用了近3万个、重达30吨的多利斯块。该发明由南非铁路与港口服务公司的员工在职务范围内设计，因此未申请专利，发明者未获任何回报或认可。关于设计灵感说法不一——可能源自非洲儿童传统游戏「筹子」（knucklebones）、jacks游戏或dubbeltjie刺果植物。

Anthropic 发布论文，宣布在 Claude 中发现一种名为「J-space」的内部神经模式集合，其功能类似人类神经科学中的「全局工作空间」。J-space 通过 Jacobian 技术识别，与模型其他处理不同，它允许 Claude 在不显式输出的情况下「思考」概念。研究者发现 J-space 具有多种特殊属性：Claude 可以报告其内容、被请求时能激活相应模式、用于多步骤推理的中间环节，且能灵活地将一个概念用于多种任务。论文强调，J-space 并非人为设计，而是在训练中自然涌现。尽管如此，J-space 并非模型大多数功能所必需，阻止 Claude 使用它，模型仍能正常交互但会丧失高阶认知功能。Anthropic 同时承认，这并不能说明 Claude 具有意识或感受能力，但 J-space 已可被用于检测模型的私有判断和隐藏目标。部分社区评论认为该研究方法新颖、对可解释性有重大意义；也有声音指出相关概念早有讨论、论文缺乏同行评审，且对「意识」的类比过于牵强。

Kapa公司分享了其在RAG检索流程中加入「修剪器」的实践。其核心思路是：在检索器与生成器之间插入一个小型LLM，用五级评分量表对所有检索到的chunks进行整体评估，删除低分chunks后再送入昂贵的生成模型。实验结果表明，该方法能删减68%的上下文，同时保持96%的recall，使单次查询成本降低约34%。文章指出，传统的逐个评分方式存在缺陷——相关性并非单个chunk的属性，而是整个集合的属性——因此必须让模型同时看到问题和所有chunks。有意思的是，评论社区对「小型LLM修剪器是否可靠」存在分歧：有人担心小型模型本身会成为信息处理瓶颈，也有人指出该方法的本质是用评分量表将问题转化为LLM擅长的NLP任务。

微软 Xbox 负责人 Asha 向全体员工发布内部邮件，宣布 Xbox 史上最大规模重组。计划在 FY27 削减约 3200 人，今日起裁撤约 1,600 人，同时 Compulsion Games、Double Fine Productions、Ninja Theory、Undead Labs 四家工作室将脱离 Xbox 转为独立工作室并保留 IP 及开发资金。管理层罕见坦诚承认业务「不健康」：利润率为同类平台及发行商的 1/3 至 1/10，Game Pass 与多平台战略未能达到预期增速，且行业正面临史上最严峻的硬件危机。重组涵盖三大方向：内容组合重置（精简工作室数量）、平台简化（管理层级从最多 14 层压缩至不超过 5 层、目标 3 层）、运营模式统一（Helen Chiang 升任 COO，Mojang 与 King 改为直接汇报）。管理层强调这是「为了更大的未来，而非更小的未来」，目标仍是服务十亿玩家并于 2027 年恢复增长。

AMD 推出 Ryzen AI Halo 迷你主机，搭载 Ryzen AI Max+ 395（16 核 32 线程）处理器，配备 128 GB 统一 LPDDR5x-8000 内存（256 GB/s 带宽）及 2 TB SSD，售价 $3999。评测重点测试 llama.cpp 基准性能，结果显示 Apple Silicon Mac Studios 因内存带宽优势大幅领先。评论社区普遍认为该产品性价比存疑：曾几何时其价格仅为 DGX Spark 的一半，如今二者同价但 AMD 带宽远低于竞品；256 GB/s 带宽约为 RTX 3090 的四分之一，限制了大型模型推理性能；ROCm 软件生态相比 CUDA 成熟度不足；同等价位可直接选择带 CUDA 支持的 DGX Spark 或性能更优的 Mac Studio。

作者实现了在 Atari Jaguar 游戏主机上运行上游 Linux 7.2.0-rc1+。Jaguar 搭载 1993 年的摩托罗拉 68000 处理器（无 MMU），仅 2MB RAM 和 6MB ROM。借助 uClinux 的平坦内存模型和 XIP（原地执行）技术，将内核只读段放 ROM、动态段放 RAM，成功解决了内存限制。通过 bitbanging DSP 的串口引脚实现 earlyprintk 输出，用 Jerry 芯片的定时器替代传统 PIT。编译环节遇到 Ubuntu 仓库的交叉编译器产生非对齐内存访问导致崩溃，须从源码构建 m68k-elf 工具链。最终内核成功启动至寻找 init 进程阶段，因缺少用户空间而崩溃。评论中有人怀念 Jaguar 上的经典游戏，有人建议利用 Jaguar 的 GPU/DSP 开发更多可能性，也有人指出 m68k 架构在 ARM 出现前可能是部署最广泛的处理器。

OpenSSH 10.4/10.4p1 正式发布，最重要的新特性是加入了后量子密钥（复合 ML-DSA 44 与 Ed25519），但默认不启用。后量子密钥协商机制于 2019 年引入，花了近三年才默认开启，此次复合密钥的推进速度相对更快（草稿仅发布数月）。有用户在 solokeys 的 PIV 和 FIDO2 设备上添加了 ml-dsa-44，询问 SSH+FIDO2 是否已支持后量子，但目前看来尚无解决方案。社区还讨论了默认启用 MAC 算法的问题：hmac-sha1 和 umac-64 仍为默认配置，ETM（加密后认证）变体被优先推荐。此外，openssh.org 的纯文本格式发布说明因缺乏自动换行和响应式布局而受到批评，被指是 RST 源码直接生成，有用户认为转 HTML 并非改进。

OfficeCLI 是一个专为 AI Agent 设计的开源 Office 套件，支持读取和编辑 Word、Excel、PowerPoint 文件，完全免费、开源、单二进制分发、无需安装 Microsoft Office。评论社区反应热烈，但也有不少质疑：有开发者指出项目缺乏 ECMA 376 标准的充分测试用例，而其 Python 版和 Go 版实现已严格遵循该标准；也有人吐槽 AI 生成企业文档的最大难点并非生成本身，而是生成「可问责」（accountable）的办公文件；另有评论建议直接用 HTML 生成幻灯片再转 PDF，效果更好。此外，有用户担心微软随时可能下架此类工具，因为它涉及解析 Office 文件格式。SmallDocs 被提及为类似替代方案。

本研究展示了一种基于固态延迟线的时域复用伊辛机，使用两个串联的20.5 MHz体声波延迟线，支持2048个自旋，提供全连接拓扑与15位耦合精度。该机器在341 ms内找到近似MAX-CUT解，理论上通过更高频率延迟线可降至亚毫秒级。相比现有光学相干伊辛机，热稳定性提升四个数量级，且功耗低、成本低、可桌面化。在数论分割和数独问题上也展示了求解能力。评论者指出该工作技术路径独特（用延迟线而非振荡器阵列），但摘要写法晦涩如同「涡轮编码器」广告，且缺乏与更强经典算法的对比基准。

Inkfield 是一个新兴的创意写作与协作平台，通过整合 AI 辅助、实时协作和结构化编辑功能，帮助写作者提升创作效率。平台支持长篇小说、剧本、博客等多种文体的创作流程管理，提供智能大纲生成、语境敏感补全和版本历史追踪等核心特性。作为一个面向独立创作者和小型工作室的工具，Inkfield 试图在传统文字处理软件和专业 CMS 之间找到细分市场定位。目前产品处于早期推广阶段，具体定价和商业模式尚未完全公开。

Val Town 创始人 Steve Krouse 认为，即使在「vibe coding」时代，学编程仍然值得。他指出「learn to code」已不再是快速致富的途径，编程的价值是教育性的，而非单纯职业性的。作者以自身经历说明：从小讨厌数学的他，通过 LOGO 编程语言爱上了数学，这源于 Seymour Papert 的「Mathland」理念——让孩子像学母语一样通过探索学习数学。编程教会他调试、组合、逻辑等元技能，最重要的是让他相信「没有学不会的东西」。他将编程比作施展魔法：掌握语法后「你是巫师，哈利」，能把想象编码为现实。Krouse 认为 LLM 能写代码也能写英文，但我们不担心人文学科的价值，同理编程也依然重要。代码是世界的运行规则，精妙的代码能改变世界。他呼吁对编程有兴趣的人联系他，并相信在 LLM 时代，「全民代码素养」的理想仍在延续。

Januscape 是一个存在于 KVM/x86 架构中的客户机到宿主机逃逸漏洞，源于嵌套虚拟化场景下阴影页表（shadow paging）处理逻辑中的缺陷。该漏洞在长达 16 年间未被发现，直至研究者通过模糊测试于 2026 年上半年发现。KVM 维护者 bonzini 确认这是 CVE-2026-46113 的变种，同样源于模糊测试发现。攻击成功需要目标 VM 启用了嵌套虚拟化（nested virtualization），这允许恶意客户机绕过隔离边界，访问宿主机内核。值得注意的是，在 RHEL 等发行版中，/dev/kvm 设备文件默认权限为 0666（全局可写），意味着无特权用户可利用此漏洞实现本地权限提升（LPE）获取 root 权限。漏洞可通过内核参数 kvm_intel.nested=0 或 kvm_amd.nested=0 禁用嵌套虚拟化来缓解。对于提供多租户 VM 服务或使用 VM 沙盒运行不可信代码的场景，该漏洞构成较高风险。

Rotman 透镜是一种用于射频波束形成的无源电子器件，由 Walter Rotman 与 R. F. Turner 于 1963 年首次发表。其核心原理是通过一组输入端口（波束端口）与输出端口（阵列端口），使信号到达各输出端口时产生不同相位偏移，从而无需移相器即可在天线阵列中形成多个不同方向的波束。该器件可由中空金属波导或微带/带状线基片构造，广泛应用于雷达系统。评论中有人指出该设计与「parabolic mirror 手电筒」原理相似，可将无线电波能量集中于特定方向；也有评论认为在现代全数字相控阵越来越便宜的背景下其优势减弱；还有提及可同时监控所有输入端口以实现射电相机等功能。

M/PC 是面向 Varvara 硬件的拼接式操作系统，灵感来自 Openfirmware，采用后缀表示法（类似 Forth），所有操作通过栈来管理文件与数据。它无需文件浏览器，文件可存储可复用命令序列，通过波浪号前缀引用。界面仅在屏幕顶部显示单行提示符，支持纯键盘或手柄操作（方向键导航、A 确认、B 返回）。启动时尝试加载 wallpaperWWxHH.icn 壁纸文件。内置丰富原语涵盖文件操作（dir/mov/cpy/ren/era）、类型转换（dec/hex）、栈操作（pop/dup/swp/rot）及输出（out）等。社区讨论聚焦于：这是 OS 还是 Shell 的边界问题、Unix 管道与拼接式编程的相似性、以及「不可变追加日志 + 纯函数」的系统设计哲学。

密码学家 Bernstein（DJB）公开指控 NSA 再度干预 IETF 标准进程，呼吁否决「纯 ML-KEM」TLS 协议草案。文章历数 NSA 历史：1970 年代力推 DES 以排挤竞争对手、1990 年代借出口法规巩固 RC4 与 RSA-512、2000 年代暗中破坏随机数标准。当前争议是 IETF TLS 工作组对「solo ML-KEM」的「最后征询」投票（截止 2026 年 7 月 8 日）。DJB 指出，solo ML-KEM 将引来大量软件实现漏洞，且 IETF 程序存在「亲背书」偏见：一旦草案通过，IESG（主要由国防承包商组成）几乎不可能否决，而否决后仍可反复发起新征询。他批评支持者来自 NSA 合作伙伴（GCHQ、CSE 等），并质疑 Paul Hoffman 等人未披露与 NSA 的资金关联。目前 mailing list 上已有 60 多人提出异议，但支持者正试图用各种论点压制反对声音。

Kani 是 AWS 开源的 Rust 模型检查器，将 Rust 中间表示 MIR 编译为 CBMC 精确验证引擎，可自动检查 unsafe 操作 soundness、功能正确性和运行时 panic 等类型系统无法覆盖的安全属性。它提供函数契约、循环契约、量词和函数桩等规格语言，支持从 bounded 验证扩展到 unbounded 验证。在 Rust 标准库验证项目中已验证超过 16000 个 harness，并在多个工业项目中发现了 6 个此前未知的 bug。

一份关于 Windows GDID（全局设备标识符）生成机制的逆向分析报告。研究者声称揭露了 GDID 的 64 位结构与生成逻辑，法院记录显示重装系统后会生成新的 GDID。但评论指出这是误导性说法——telemetry 同时采集硬件哈希（SMBIOS 序列号、CPUID、TPM 标识符），真正实现设备追踪的是硬件指纹而非 GDID 本身。该话题引发关注源于一起 FBI 追踪案例：通过法院指令向 Microsoft 获取 GDID 访问记录，成功将 VPN 流量关联到真实设备。社区争议集中在报告真实性（被指可能为 AI 生成内容）、GDID 能否真正重置、以及 Edge 等微软应用是否会将 GDID 作为 HTTP 请求头发送从而泄露用户身份。

EndBASIC 0.14 于 7 月 4 日发布，是通向 1.0 版本的关键里程碑。新增声音支持（BEEP 和 SOUND 命令），补全了最后的多媒体能力；图形功能大幅增强，新增三角形、多边形绘制及区域填充；字体系统全面替换为复古 IBM VGA 8x16 位图字体，移除了 TTF 依赖以统一所有终端外观；修复了 macOS 上 SDL 控制台的线程崩溃问题；新增 shebang 支持，允许在 Unix 系统上直接执行脚本。项目作者表示，0.14 实现了他在 2020 年启动该项目时的愿景——用 BASIC 的简洁性开发复古风格的小游戏。

作者在 λFS（有限函数式编程）框架下探讨查询语言中的求值顺序与非终止问题。当查询包含可能不终止的用户自定义谓词时（如 test(x)），不同的执行顺序会导致截然不同的终止结果。例如 R(x) and test(x) and S(x)，若先过滤 R∩S 再调用 test 则终止，若逐项调用 test 则可能永不终止。文章指出数据库领域与编程语言领域存在根本分歧：前者将求值顺序视为可优化的实现细节，后者要求可组合的语义来论证终止性。作者提出三种可能方向：左到右求值（语义简单但对循环查询性能差）、不确定性求值（允许优化但难以组合语义指定），以及第三种未完成的方案。目前仍在探索如何兼顾两边的需求。

剑桥大学研究团队首次使用碱基编辑技术研究人类胚胎基因功能，发现NANOG基因对形成未来机体至关重要。碱基编辑是CRISPR/Cas9的更精确版本，能在约30亿碱基对的人类基因组中精确改变单个核苷酸。研究人员阻断早期人类胚胎中的NANOG后发现，胚胎细胞无法发育成形成机体的多能性外胚层，但支持胚胎的胎盘和卵黄囊仍可形成。该研究表明NANOG在人类和小鼠中的作用不尽相同——小鼠失去NANOG会同时影响外胚层和卵黄囊，而人类主要影响外胚层。这一突破有助于理解早期胚胎发育，未来或可改善IVF成功率并为遗传病治疗铺路，但目前英国尚不允许将其用于临床。

Clojure 1.13.0-alpha1 于 2026 年 7 月 2 日发布，带来两项重要更新。其一，新增 `:keys!`/`:syms!`/`:strs!` 语法，可在 map 解构时强制检查必需键是否存在，缺失则抛出异常；这比现有在函数开头写 assert 或 pre 条件更简洁优雅，也兼具文档作用——可混合检查与非检查键，让接口一目了然。其二，PersistentArrayMaps 仅含关键字键时现在可容纳至 64 个条目（原来仅 8 个）才转为 HashMap，提升了小规模 map 的查找效率。社区对此功能评价两极：支持者认为它在错误源头捕获问题，比 nil 逐层传播后崩溃要好；质疑者指出这本质上只是运行时检查而非编译时静态类型，且似乎偏离了 Clojure 简洁哲学；但多数人认同这是完全可选的增量改进，不影响现有代码。

InstantVideos.org 是一个AI驱动的短视频纪录片生成工具，用户输入任意主题即可在不到一分钟内获得一段完整的纪录片视频。该项目使用 Gemini 大模型生成脚本，配合 Google Cloud TTS 提供旁白，通过 ffmpeg 将图片与音频合成为带 Ken Burns 效果的幻灯片式视频。社区反馈整体积极，用户赞赏其简单易用的概念，但实际生成时间远超承诺（有人反映需等待10分钟以上），且目前渲染端为纯CPU运算，项目作者正尝试 GLM-5.2 模型优化。功能层面存在旁白与画面切换时机不佳、视频风格单一、缺少预生成示例等问题，作者表示正在修复 Ken Burns 缩放抖动并考虑添加更多视频样式。另有用户成功复现类似方案（Pollination.ai 生成图片 + Gemini Flash 合成脚本 + Google Cloud TTS）。