AI 与软件平台
AI 开始碰到更实际的问题：学术平台要立规矩，产品团队要处理性能和体验，普通人也能用 AI 很快做出东西，但质量和后果还得慢慢看。
- 派早报：提交未经核实 AI 内容的论文作者将被 arXiv 封禁一年：arXiv 新规很直接：论文里如果出现明显的 AI 生成错误，所有署名作者都会被封禁一年，之后投稿还要先经过正式同行评审。同一则早报里还提到 OpenAI 与苹果合作关系紧张，以及微软重新开放 Windows 11 任务栏和开始菜单的更多自定义选项。
- 微软弃用一项 Teams 功能：让参会者进入同一个虚拟房间：微软将停止 Teams 的 Together 模式，理由是它更费资源，也更容易让人分心。公司接下来会把重点放在更简单的 Gallery 视图和更稳定的视频体验上。
- 我是个普通人。普通人真的能靠“氛围编程”搞定吗？：作者几乎没有编程背景，却借助 Claude 做出了一个记录日常麻烦事的小应用。文章的重点不只是“能做出来”，而是 AI 正把做软件的门槛拉低，同时也可能带来更多粗糙、半成品式的工具。
开发工具与开源项目
底层工具还在稳步往前走：有人重写编译器提速，有人补齐小众语言实现，也有人把 IoT 测试环境做得更容易搭。
- Jank 现在有了自己的定制 IR：jank 新增自定义中间表示后，配合内联、指针标记和 nil 处理优化，把一个递归斐波那契基准从 5522 毫秒压到 114 毫秒。在这个测试里，它第一次跑过了 Clojure JVM。
- kharp——C# 中的 K 语言第 3 版解释器：这是一个用 C# 写的 K3 解释器，已经进入 Beta。核心语法和常用功能基本齐了，并通过了 1549 项测试，接下来主要补调试、解析稳健性和性能。
- Show HN：Mezz，一个可用 curl 操作的 WiFi 沙箱，专为 IoT 渗透测试而生：Mezz 能在 Linux 主机上快速搭一个隔离 Wi‑Fi 环境，带热点、DHCP、DNS、NAT 和访问日志，适合对自有或获授权的 IoT 设备做检查。它的价值在于把测试网络和真实网络分开，部署也相对简单。
科学发现
几篇科学报道都说明一件事：只要看得够细，老问题里也能翻出新东西。
- 首次核弹试验残骸中发现的晶体：科学家在“特里尼蒂”核试验留下的特里尼石中发现了一种新的笼状晶体结构。它形成于爆炸瞬间的超高温高压环境，有助于理解极端条件下会出现哪些罕见材料。
- 灰海豹之间的同类相残攻击会留下明显的“螺旋钻”伤痕：研究确认，萨布尔岛上许多灰海豹幼崽并不是死于鲨鱼或船只，而是被成年雄性灰海豹攻击致死。这个结论来自现场观察、解剖和无人机影像，也说明这种同类攻击比过去以为的更常见。
- 揭开 NGC 3169 的神秘面纱：这幅天文图像展示了 NGC 3169 与邻近星系相互拉扯后的形变，能清楚看到潮汐尾和正在合并的迹象。它本身还带有活跃星系核，中心藏着超大质量黑洞。