1. 新型HIV疫苗临床前研究取得前所未有的成功；
2. 停止扼杀互联网：拒绝数字身份与年龄验证；
3. Substack写作者，你需要一个独立网站；
4. Codex Security：一站式代码漏洞扫描与修复利器；
5. Kimi K3 架构解密：没有位置编码的前沿巨兽如何重塑效率；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 新型HIV疫苗临床前研究取得前所未有的成功

🔗 lji.org: New HIV vaccine shows unprecedented success in preclinical study

由拉霍亚免疫学研究所与斯克里普斯研究所等机构历经14年合作研发，成果发表于《自然》杂志。科学家开发出一种HIV疫苗，通过种系靶向策略引导B细胞成熟，首次在灵长类动物中大量诱发出罕见的广谱中和抗体。这种疫苗模拟HIV包膜抗原，经初免和加强免疫，使约44%的恒河猴产生了能识别病毒保守位点的强效抗体，为攻克HIV屡屡逃逸的难题带来希望。该HIV疫苗相关人体试验已启动。

2. 停止扼杀互联网：拒绝数字身份与年龄验证

🔗 citizens-initiative.europa.eu: Stop Killing the Internet: No Digital ID and No Age Verification

本文强烈呼吁抵制强制的数字身份和年龄验证机制，认为这些做法正在摧毁开放自由的互联网灵魂。文章指出，此类监管会剥夺匿名性、增加隐私风险并限制信息流动。为应对这一威胁，作者诚邀所有关注网络未来的人加入论坛，共同学习、协作并采取行动，以集体力量捍卫一个无需身份审查、真正开放的网络空间。

3. Substack写作者，你需要一个独立网站

🔗 elizabethtai.com: Substack writers, you need a website

作者警示，将Substack当作数字家园是短视且危险的。平台只是分发工具，绝非永久归属，依赖他人平台无异于数字佃农，随时可能因企业决策而失去一切。真正的长期主义是拥有自主域名和独立网站，将内容主权牢牢掌握在自己手中。文章提倡采用POSSE（发布在自己网站，再联合分发至其他平台）策略，以个人博客为内容中枢，将Substack、社交媒体等仅视作引流管道。科幻作家John Scalzi便是典范，其独立博客持续运营28年，成为不被动荡平台抹去的亲历记忆。无论算法如何变迁、平台如何兴衰，唯有自控网站和开放协议（如RSS）能保障作品的长远可见度。写作者应利用平台吸引读者，最终把他们带回属于自己的自留地。

4. Codex Security：一站式代码漏洞扫描与修复利器

🔗 github.com: Codex Security

@openai/codex-security 是一款强大的 CLI 与 TypeScript SDK，能够帮助开发者查找、验证并主动修复安全漏洞。它支持全面扫描代码仓库、审查每一次变更、追踪漏洞历史，并且可以无缝嵌入持续集成（CI）流水线，实现自动化的安全检查。运行环境需 Node.js 22+ 和 Python 3.10+，登录后简单执行 npx codex-security scan . 即可开始扫描；在 CI 等非交互场景中，直接设置 OPENAI_API_KEY 环境变量即可免去登录步骤。扫描历史将被妥善保存在可配置的状态目录中，同时其 SDK 提供编程化接口，方便开发者将安全审计能力直接集成进自己的代码流程。

5. Kimi K3 架构解密：没有位置编码的前沿巨兽如何重塑效率

🔗 sebastianraschka.com: Kimi K3 Architecture Overview and Notes

昨天发布的Kimi K3是迄今最大的开放权重模型，它将去年的 Kimi Linear 从 48B 参数猛增至 2.8T，整体架构看似复杂，实则是那个线性模型的规模化生产版。新增的LatentMoE组件与 Nemotron 3 Ultra 类似，通过对大型线性层下投影来压缩参数，与多头潜在注意力异曲同工。整体趋势向着更高的推理效率倾斜：用 LatentMoE 替代传统 MoE，用多头潜在注意力和 Kimi Delta Attention 替换常规注意力，而引入的注意力残差机制则跨层连接残差流，利用注意力分数赋予贡献权重，虽增加约 4% 训练与 2% 推理成本，却能稳定提升验证损失与下游性能。最引人注目的是，K3 完全抛弃了 RoPE，全面采用NoPE，这在同级前沿模型中尚属首次；同时它原生支持多模态，使其开放发布更具分量。

6. 从线性注意力到Kimi Delta Attention：DeltaNet家族的演进之路

🔗 blog.doubleword.ai: A walk through of the DeltaNet family of linear attention variants

本文梳理了从传统softmax注意力到最新Kimi Delta Attention (KDA) 的推导过程，核心思路是将二次复杂度的注意力逐步改造为高效的递归状态更新。首先移除softmax得到线性注意力，把过去所有键值对外积压缩成一个固定大小的矩阵状态，实现常数级存储和线性时间推理。但简单的加法更新无法精准覆盖旧关联，DeltaNet由此引入误差写入：先将当前状态对当前键的预测值与真实值比较，只写入两者的差值，使写入行为更接近“赋值”而非“累加”，同时可从在线梯度下降的角度加以解释。为进一步让模型主动遗忘过时信息，Gated DeltaNet在写入前用一个可学习的标量门控衰减整个旧状态。KDA则在此基础上将标量遗忘因子扩展为对角矩阵，为每个键通道分配独立的遗忘率，使记忆擦除从全局统一升级为通道级选择性遗忘。最终读取时，以缩放后的查询向量与状态相乘得到输出。整个家族通过“遗忘—预测—纠正—写入”的循环机制，在保持固定内存开销的前提下，显著提升了线性注意力的记忆灵活性与表达能力。

7. Kimi Linear：兼具表达力与效率的注意力新架构

🔗 arxiv.org: Kimi Linear: An Expressive, Efficient Attention Architecture (2025)

Kimi团队提出了一种混合线性注意力架构Kimi Linear，其核心是Kimi Delta Attention (KDA)，它通过细粒度门控机制扩展了Gated DeltaNet，能更有效地利用有限状态RNN记忆。该模块采用定制的块算法，基于对角加低秩(DPLR)矩阵的特化变体，在保持经典delta规则一致性的同时大幅减少计算量。团队预训练了一个3B激活参数、48B总参数的模型，在层间混合使用KDA与MLA。在相同训练条件下，该架构首次在短、长上下文及RL扩展场景中全面超越全注意力机制，并且KV缓存用量降低高达75%，在1M上下文时解码吞吐量提升6倍。Kimi Linear可作为全注意力的即插即用替代，兼具更优性能与更高效率。为促进研究，团队开源了KDA内核、vLLM实现，并发布了预训练与指令微调模型检查点。

8. 卡萨格兰德监控丑闻：警方内部邮件承认监视学生抗议

🔗 deflockcg.com: Deflock Casa Grande

一封日期为2026年1月30日的卡萨格兰德警方邮件，将监视一场学生抗议列为摄像头系统的近期“胜利”。邮件还透露，该系统帮助警方在巡逻抵达前识别涉事者和监控活动，尽管市政府对居民宣称摄像头仅用于车辆追踪。这封邮件未指称抗议中有任何暴力或犯罪，显示对和平集会的监视，令人严重质疑监控的滥用，引发民众不满。

9. 延迟满足——自豪地成为“迟到的突发新闻”

🔗 slow-journalism.com: Delayed Gratification – Proud to Be ‘Last to Breaking News’

这本世界第一本慢新闻季刊，每季回顾刚过去三个月的事件，提供独立深度报道和精美插画，对抗碎片化快讯。自2011年起，以“最后报道突发新闻”为荣，内容如马杜罗被绑架、加沙停火六个月的实况、乌克兰马戏团慰藉、英国商店盗窃潮、特朗普重塑美国等。杂志还通过电子版、信息图表、线上大师班和订阅优惠，倡导慢新闻运动，被《Private Eye》主编誉为“英国第二佳杂志”。

10. 向 GrapheneOS 捐赠

🔗 grapheneos.org: Donate to GrapheneOS

GrapheneOS 是一个开源项目，全靠个人、企业及组织的捐款维持运营，资金用于支付开发者薪酬、采购硬件、基础设施及法律费用。您可以通过 GitHub Sponsors 使用信用卡进行定期或一次性捐赠，也可用比特币、门罗币、以太坊等多种加密货币直接捐至非营利 GrapheneOS 基金会。此外还支持 Wise 转账、覆盖欧盟/英国/美/加/澳等多地的本地银行转账、PayPal 以及加拿大 Interac e-Transfer，为全球支持者提供便捷的捐款渠道。

11. macOS Tahoe 26.6 安全更新发布：修复内核、沙箱及众多组件关键漏洞

🔗 support.apple.com: About the security content of macOS Tahoe 26.6

苹果于2026年7月27日发布的 macOS Tahoe 26.6 是一次重大安全更新，针对系统内核、文件系统、音频处理、图形驱动及众多核心服务修复了大量漏洞。此次更新通过改进边界检查、强化输入验证和优化状态管理，封堵了可能被恶意应用利用的多条攻击路径。其中，最具威胁的漏洞包括：AVEVideoEncoder 和 AppleDouble 组件中的缓冲区溢出，可导致任意代码执行并获取内核权限；CUPS 和 Core Services 的缺陷可能让普通应用提升至 root 权限；而 Apple Account、Game Center 和 Audio 框架中的沙箱逃逸漏洞，则允许恶意程序突破容器限制，访问受保护的用户数据。此外，APFS 与 HFS 文件系统中存在可由远程用户触发的内核内存损坏风险，Disk Images 组件也可能泄露内核内存。多个组件如 CoreMedia、Contacts 和 Crash Reporter 修复了敏感信息泄露问题，DesktopServices 封堵了 Gatekeeper 绕过漏洞，CloudAttestation 则解决了代码签名校验的绕过。其他修复涵盖 afpfs 的远程拒绝服务、苹果神经网络引擎的释放后使用问题、curl 认证凭证泄露等。这些更新全面提升了系统的安全边界，强烈建议所有兼容设备立即安装。

12. Steel Bank Common Lisp 2.6.7 发布

🔗 sbcl.org: Steel Bank Common Lisp version 2.6.7

Steel Bank Common Lisp（SBCL）2.6.7 版本正式发布，带来了多项重要更新。该版本新增 SB-MANUAL 贡献模块，将手册内容嵌入定义字符串，支持交互式浏览，并可通过 MGL-PAX 与外部网站获得更丰富的呈现。平台方面，SIMD 支持显著扩展，SB-SIMD 现支持 ARM64，同时 x86-64 新增 AVX512 指令加速，ARM64 和 x86-64 的 SIMD 指令也得到增强。编译器修复了 ARM64 上 SAP-REF-N 的误编译、READ-SUPPRESS 下的警告、CONCATENATE 类型错误以及 MULTIPLE-VALUE-CALL 误编译等多个缺陷。优化工作覆盖了常量复数传递、UTF-8 转换的增强 SIMD 例程、COUNT 变换的扩展关键字支持以及编译器内部稀疏集合的性能调优。文档修正了数组布局等描述错误，并引入了 Markdown 子集规范。此外，近期版本持续改进，如 2.6.6 增强了类型推导与 UTF-8 编解码，2.6.5 为集合操作引入哈希表加速，进一步提升了编译器的健壮性与运行效率。

13. 38岁，我无法再养活自己——生产力之外，人生还有什么价值？

🔗 itsmevox.substack.com: I’m 38 and I Can’t Support Myself Anymore

作者以自身38岁因残疾无法持续工作、不得不向母亲借钱的经历，深刻反思资本主义将生产力等同于个人价值所带来的羞耻与痛苦。她指出，源于新教工作伦理的文化烙印，至今仍通过自我提升话语将健康定义为服从劳动的能力。残疾人在这个体系里不仅陷入贫困，还面临福利悬崖的陷阱，稍有积蓄便可能失去赖以生存的补助。文章揭露了独立自主的假象，强调所有人都依赖看不见的照护系统，而照护劳动被长期贬低。最终她尝试在生产力之外重新定义人的价值，质问当剥除经济产出后，究竟还剩下什么。

14. Zig 增量编译内部机制揭秘

🔗 mlugg.co.uk: Zig’s Incremental Compilation Internals

Zig 编译器实现了增量编译，通过将源文件解析为 ZIR 并缓存，只在文件修改时重建。语义分析阶段将声明拆分为独立的分析单元（如函数体、类型、常量值），构建细粒度的依赖图，跟踪单元对源代码哈希的关联。仅当改动触发哈希变化时，沿依赖图重新分析受影响单元，然后并行生成机器码，使复杂应用修改后的重建时间降至几十毫秒。

15. 2012年诞生的DMARC，为何近七成企业域名仍不强制执行？

🔗 ciphercue.com: DMARC has been public since 2012 but most company domains still don’t enforce it

一项针对67,336个域名的调查揭示，尽管DMARC标准已公开十四年，68.4% 的企业域名仍未真正强制执行身份验证。其中45.1%的域名完全没有DMARC记录，而在已发布记录的域名中，最大群体（42.5%）长期卡在 p=none 监控模式，仅收集报告而不拦截可疑邮件。导致这一僵局的核心并非单纯的惰性，而是管理员面对每日涌入的聚合报告时，发现其中充斥着大量散列化、无法追溯的一次性报告地址，根本无法可靠识别哪些发件源是合法业务，从监控迈向强制隔离或拒绝变成了一个需要持续研究却总被搁置的任务。在已执行策略的域名中，仅16.3%设置了严苛的p=reject。区域差异明显，波兰域名缺失率最高，英国强制执行率领先，而意大利停留在p=none的比例异常突出。此外，SPF采用率达72.7%，但MTA-STS和BIMI均不足3%，DNSSEC验证链完全通过率为零。2026年DMARC核心规范升为IETF标准轨道，但现存标签维持不变，且SOC 2与ISO 27001均未将其列为强制控制项。

16. Claude神话预览版发现密码算法重大弱点

🔗 anthropic.com: Discovering Cryptographic Weaknesses with Claude

Anthropic公司利用前沿模型Claude Mythos Preview，在半自主、低成本的研究中接连发现两处重要密码学缺陷。针对后量子数字签名候选方案HAWK，模型利用尚未被发掘的晶格自同构对称性，将攻击所需的有效密钥强度减半，动摇了该方案原本的尺寸优势。另一项成果则针对简化至7轮的AES加密算法，设计出名为“莫比乌斯桥”的指纹技术，直接消除了攻击者此前必须枚举的一个关键猜测步骤，使整体攻击速度提升了200至800倍。这两项突破均由模型在约一周内、花费约十万美元API成本完成，人类仅提供方向性指导。尽管它们不影响当前任何生产系统，但有力证明了前沿AI能够自主发现算法数学层面的弱点，为密码标准的公开审查与早期加固提供了全新利器。团队还同步推出了密码分析基准CryptanalysisBench，助力学术界共同评估语言模型的这一关键能力。

17. 蒙德拉贡：西班牙工人合作社联邦

🔗 en.wikipedia.org: Mondragon Corporation – a federation of co-operatives

蒙德拉贡公司是全球最大的工人合作社联邦，1956年由神父阿里斯门迪亚列塔在西班牙巴斯克地区创立，最初生产石蜡加热器。如今业务横跨金融、工业、零售和知识四大领域，2024年营收达112.13亿欧元，拥有70,085名员工，是西班牙第七大企业。其核心理念基于国际合作社联盟的十大原则，强调民主管理、劳动主权与资本从属性。最引人注目的是其薪酬制度，通过全体成员一人一票表决决定岗位间工资比例，平均为5:1，远低于传统企业。历史上，集团孵化了法格家电、艾罗斯基超市等知名品牌，并通过海外设厂实现全球化。尽管遭遇法格破产及部分成员社退出等挑战，蒙德拉贡仍凭借互助基金和教育体系持续推动社会转型，成为参与式经济的标志性实践。

18. 市值1540亿美元的Shopify CEO为何为剥夺多数美国人选举权叫好

🔗 fortune.com: Why a $154B CEO just endorsed stripping most Americans of voting rights

Shopify首席执行官托比亚斯·吕特克近日公开称赞一套 税收分级投票制度，主张完全不缴纳所得税的公民被剥夺投票权，而高收入者最高可获五张选票。这一言论瞬间引爆关于财富与民主的争论，实质上是想复活曾被19世纪普选权运动推翻的 财产资格投票 遗毒，将使依赖社保的退休者、学生、照护者、残障人士及大量低薪工人沦为失语群体，同时让经济精英的政治权力倍数膨胀。批评者直指这是赤裸裸的财阀统治企图，尤其讽刺的是，吕特克早就在Shopify内部通过 创始人股份 机制锁定至少40%的永久投票权，以保障自己对公司的绝对控制，却被曝欣赏让普通民众丧失政治声音的制度。在楼市冻结与富裕老年群体筑起“老人政治”堡垒的背景下，这番言论折射出美国社会正被重新撕裂的政治经济断层。

19. GrapheneOS 捍卫数据擦除功能：一次“胁迫密码”阻断美国边境搜查

🔗 pcmag.com: GrapheneOS Defends Data-Wiping Function That Blocked US Border Search

一名环保活动人士在机场边境检查时输入 “胁迫密码” ，使手机不可逆转地擦除所有数据，以此阻止美国海关人员的搜查。这款高度安全的安卓系统 GrapheneOS 正因该事件面临法律攻防。活动人士因涉嫌故意销毁政府有权控制的财产而遭刑事起诉，若罪名成立将面临最高五年监禁。GrapheneOS 开发商强调，该操作系统完全合法，并指出其自动重启定时器和强加密等功能本身已足以抵御数据提取，而一旦触发擦除，数据便绝无可能恢复。此案进一步激化了用户隐私保护与执法调查权限之间的激烈辩论。

20. iPhone 升级计划终结，Apple Upgrade 全新租赁登场

🔗 apple.com: The iPhone Upgrade Program is being replaced by Apple Upgrade

现有的 iPhone 升级计划将终止，感谢你的支持，会籍仍可继续完成剩余分期付款。未来换新 iPhone 时，你可选择全新 Apple Upgrade 租赁服务，以 低月付 租赁 iPhone、iPad、Mac 或 Apple Watch，租期结束时 轻松升级换代，只需归还旧设备。此外，还有运营商优惠、分期或全款购买等方式可选。

21. Una GPS 智能手表：可维修、USB-C 充电，为开发者而生

🔗 unawatch.com: Una GPS smart watch – Repairable, USB-C charging, developer-friendly

Una 是一款拒绝一次性文化的 GPS 运动手表，采用完全模块化设计，让用户仅凭一把螺丝刀就能自行更换 280mAh 硬壳电池或碎裂屏幕，真正实现可修复与可升级。它配备通用 USB-C 充电口，彻底告别专用线缆，兼具 IP68 防水和长达十天的续航。内置双频 GPS、光学心率监测和气压高度计，可精准追踪跑步、骑行与徒步，并一键同步至 Strava。更关键的是，Una 是开放开发者平台，提供 SDK 与传感器数据，允许用户自由构建自定义表盘和应用。由苏格兰团队打造，这款开源穿戴设备旨在用可持续理念颠覆一次性科技，让手表成为陪伴终身的伙伴。

22. 《半条命》终移植 Mac OS 9，28 年后 PowerPC 版重获新生

🔗 mac-classic.com: Half-Life ported to Mac OS 9

经典 FPS 游戏《半条命》在最初发售 28 年后，终于由 GitHub 用户 doctashay 成功移植到 PowerPC 架构的 Mac OS 9 系统。该移植基于 Xash3D FWGS 引擎重新实现，完整可玩并包含多人模式、《蓝色行动》与《针锋相对》资料片，以及《上行链路》试玩版。游戏支持 G3/G4 处理器及 Mac OS 9.0 以上系统，性能高度依赖显卡配置，显存低于 8MB 的设备可能较为吃力。此前 Valve 曾计划在 1999 年推出 Mac OS 9 版本，后取消并于 2013 年才登陆英特尔架构的 Mac OS X，此次发布为老平台玩家填补了遗憾，被誉为 Mac 游戏社区的重大成就。

23. 意大利封锁生殖健康援助网站，多运营商实施 DNS 干扰

🔗 ooni.org: Italy Blocks Reproductive Health Websites Women on Web and Women Help Women

OONI（开放网络干扰观测站）的最新数据显示，自 2026年2月中旬 起，意大利至少六家主要互联网服务提供商开始对 Women on Web 和 Women Help Women 这两个提供堕胎信息与药物获取支持的网站实施封锁。分析基于 2025年11月1日至2026年6月1日期间的众包网络测量数据，发现封锁均通过 DNS篡改 实现。具体手段上，Fastweb 和 Iliad 等运营商返回虚假的 Bogon IP (127.0.0.1) ，Vodafone Italia 和 EOLO 等则返回 NXDOMAIN 错误，谎称域名不存在，而 Sky Italia 更是将请求重定向至一个带有屏蔽页面的服务器，导致 TLS 证书校验失败。这些封锁行为加剧了本已因医疗人员高比例“良心拒绝”而面临重重障碍的堕胎寻求者获取关键生殖健康信息的难度。

24. XY：快速、可组合的GPU加速交互式绘图库

🔗 github.com: Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

XY是一个极速交互Python图表库，其Rust核心按需计算，用密度表面处理十亿级数据（如完整OpenStreetMap），渲染耗时近乎恒定0.08秒。兼容matplotlib接口，支持Python、CSS或Tailwind全定制。列式存储保留精确值，交互可直接返回原始行，并能轻松嵌入Reflex应用。

25. 如何剖析 eBPF 代码的性能？

🔗 naveensrinivasan.com: How Do I Profile eBPF Code?

本文演示了一种测量 eBPF 钩子性能开销的方法。通过一个无额外依赖的 C 基准测试程序，直接调用 syscall(SYS_openat) 反复打开同一文件，并丢弃前 10% 预热数据，以获得稳定的延迟采样。分析前需启用 BPF JIT 并导出符号（bpf_jit_enable=1 和 bpf_jit_kallsyms=1），确保 perf 能解析出 eBPF 程序名而非未知地址。测量时，先用 taskset 和 chrt 获取无 eBPF 的基线，再通过 perf record -e cycles:k --call-graph fp 采集内核调用栈，专注于 内核态 eBPF 执行路径。结果可生成火焰图或文本报告，快速定位到类似 bpf_lsm_file_open 的热点函数及其尾调用，进而明确优化方向，例如缓存关键数据或改进算法。该方法能清晰量化 eBPF 对每次文件打开操作的性能影响。