AI 模型与可信度
AI 现在不只比能力，也比来路、权限和可验证性。几篇文章都在指向同一个问题：模型越强，越需要说清它是怎么来的、谁能用、出了错怎么查。
- 里约热内卢的“本土”LLM似乎是对现有模型的合并：有人指出，Rio 3.5 397B 很可能不是独立训练出来的模型，而是把 Nex 和 Qwen 的权重按固定比例直接混合。证据包括模型常自称“Nex”，以及权重层级与线性混合结果几乎完全一致。这让“本土大模型”的真实性受到质疑。
- 形式化方法与编程的未来：Jane Street 认为，AI 生成代码变多后，验证代码的成本和价值都变了。公司准备重新投入形式化方法，希望用更强的证明和检查，减轻人工审查负担，也给智能体编程更明确的反馈。
- 中国可能已经获取了 Mythos：报道说，美国政府限制 Anthropic 模型出口，部分原因是担心模型能力外流，甚至被中国相关组织接触。Anthropic 否认模型容易被拿走或复制，但这件事说明前沿模型已经被当成敏感资产来管。
- 随着人工智能公司争相上市，还有谁也在这趟“顺风车”上？：文章借 SpaceX 上市热潮谈资本风向变化：钱正从消费互联网转向 AI、太空和基础设施。OpenAI、Anthropic 等公司被认为也更接近上市窗口。
开发工具与系统性能
这组文章都很务实：网页怎么离线保存，代理怎么跑得更快，大表怎么删数据，安全演练怎么更接近真实世界。
- Show HN：Kage——将任意网站“影子化”为单个二进制文件，离线也能看：Kage 用无头 Chrome 先把页面真正渲染出来，再抓最终 DOM，去掉 JavaScript，把资源全转成本地文件。结果是一个外观接近原站、但不会执行代码的静态镜像，还能打包成单文件或 ZIM 离线阅读格式。
- zeroserve 的 Caddy 兼容性：吞吐量提升 3 倍，延迟降低 70%：zeroserve 让用户继续写 Caddyfile，但底层把规则编译成 eBPF 和原生机器码，再跑在 io_uring 事件循环里。测试里它在 HTTPS 反向代理场景接近或超过 nginx，明显快于 Caddy，内存占用也更低。
- Postgres 里唯一可扩展的删除方式是 DROP TABLE：文章提醒，大规模
DELETE不会立刻回收空间，反而会制造大量死元组，拖慢读写和复制。更稳妥的办法是TRUNCATE、分区后整块删除，或把保留数据搬走再重建表。 - FBI 建了一个小镇来模拟网络攻击：FBI 搭了一个“假城镇”做网络攻防演练，里面有医院、加油站、便利店和数据中心。重点不是噱头，而是把网络攻击和现实设施的联动影响放到同一个封闭环境里测试。
边缘 AI 与个人项目
AI 不只在大模型平台里。它也在小板子、本地电脑和开源实验项目里，变成更具体、更省资源的工具。
- Show HN：在 RK3588S 上利用 NPU 以 42 FPS 实现双 YOLOv8n 无人机检测：这个项目把 ISP、RGA 和 NPU 都用上，在 RK3588S 上做 1080p 实时无人机检测，帧率可到 40 多 FPS，内存占用也不高。说明便宜的边缘设备也能跑比较完整的视觉管线。
- 我用 M1 Max 电脑和本地 ML 模型索引了 669 GB 的 GoPro 视频：作者用本地开源模型整理 2,000 多段骑行视频，解决“拍了很多但找不到片段”的老问题。重点不是炫配置，而是把本地检索、自动标注和剪辑工具接起来，做成可用流程。
- Show HN：通过注入线圈实现 3D 打印 Z 向加固：Magma 想在 FDM 打印过程中向封闭通道注入熔融塑料，强化最脆弱的 Z 轴方向。软件流程已经跑通，但实际打印还不稳定，项目更像一个值得继续试的开源实验。
科学与前沿工程
三篇文章都给了更具体的数字和证据：地下真菌有多大，海流变化有多深，安静超音速飞行走到了哪一步。
- 全球丛枝菌根真菌网络的密度与生物量：研究估算，全球表层土壤里的活菌丝总长度约为 (1.10×10^{17}) 公里，生物量约 3 亿吨，约为人类生物量的 4 到 6 倍。这让植物与真菌的地下共生网络第一次有了更清楚的全球尺度图像。
- 大西洋中的“冷水团”或许是 AMOC 关闭的征兆：最新研究认为，北大西洋持续变冷的“冷斑”更可能说明 AMOC 正在减弱，而不只是天气因素。若这个系统继续走弱，影响可能包括美国东海岸海平面上升、欧洲降温和非洲降雨格局变化。
- NASA 的 X-59 在首次安静超音速飞行前达成速度和高度里程碑：X-59 已达到马赫 1.4 和 5.5 万英尺高度，离正式的“安静超音速”验证更近了一步。接下来它会进入声学测试，并飞越居民区收集地面反馈。
政策、资本与平台风险
技术公司的问题越来越像社会问题：青少年能不能上网，破产资产怎么算，创业骗子能不能靠政治关系脱身。
- 英国可能将禁止16岁以下儿童使用社交媒体：英国据报正考虑对 16 岁以下未成年人禁用主流社交平台，并限制陌生人私聊、深夜刷屏和性聊天机器人接触。支持者强调儿童安全，反对者担心隐私和社交隔离。
- FTX曾持有的Anthropic股份按如今估值大约值750亿美元：讨论表面上是在算 FTX 当年持有的 Anthropic 股份今天值多少，核心却是另一件事：资产后来涨价，并不能抹掉 FTX 当年本就资不抵债的事实，也不能自动填平用户损失。
- 据报道，初创公司 CEO 查理·贾维斯正在暗中争取特朗普赦免：因伪造客户数据卖公司而获刑的 Charlie Javice，据报正私下争取总统赦免。它提醒人们，创业骗局的后果并不会只停在融资和收购阶段，最后往往会变成司法和政治问题。