每日科技摘要-05-24-早报

这组文章都在讲同一件事：先整理环境，再谈效率。比起堆更多工具，减少干扰、给不同任务留出清楚的边界，往往更有用。

该聊聊我的写作卡组了：作者把一台六年前的旧笔记本改成只写字的机器：Debian、纯 tty、Neovim、tmux、vimwiki、Syncthing。核心思路很简单，就是尽量切断浏览器和桌面带来的分心。
我的双区办公桌配置：作者把长桌分成“数字区”和“模拟区”，一边放电脑，一边留给纸笔、书和草图。这个做法强调，工作空间的布局会直接影响专注和思考方式。

这些文章关心的是工具本身该怎么设计：语义要清楚，类型要明确，性能优化要先找瓶颈，库的接口也要尽量直白。

关于
（2021）：文章重新介绍了 HTML 的 <dl>、<dt> 和 <dd>。重点不是标签冷门与否，而是语义化结构能让屏幕阅读器更好理解内容，比一层层 <div> 更稳妥。
dotNET（OK，C#）获得联合类型：.NET 11 预览版给 C# 15 带来了 union 联合类型，可更自然地表示“值可能是几种类型之一”。文章也提醒，默认实现可能有装箱开销，需要额外技巧来避免性能损失。
PHP 的怪奇之处：作者认为 PHP 实用、成熟，但历史包袱也不少。比如数组其实更像映射，类属性还有“未初始化”这种容易让人踩坑的状态。
Elixir 中的最高随机权重：文章介绍了 HRW（Rendezvous hashing）这种比一致性哈希更简单的分配方法，并给出优化后的 skeleton 结构。结果是在节点很多时，仍能保持不错的查找速度和分布效果。
sp.h：通过为 C 提供高质量、超便携的标准库来修复它：这个单头文件库想用更现代的方式写 C：少依赖 libc，显式管理内存，用长度字符串代替 \0 结尾字符串。作者追求的不是兼容旧习惯，而是让 C 更直接、更可读。
从第一性原理让深度学习跑得飞起（2022）：文章把深度学习性能问题拆成三类：算力受限、带宽受限、调度开销受限。重点很朴素：先判断瓶颈，再决定是该做算子融合、减少内存读写，还是减少 Python 和框架开销。

AI 让生成代码和生成内容都更快了，但也让验证、追责和授权变得更重要。速度上去了，检查成本并没有自动消失。

- -危险地跳过读取代码：作者认为，在大模型能快速产出大量代码后，靠人逐行审查已不现实。更可行的做法是把重心移到规格说明、测试和自动检查上，让代码更像机器产物。
关于构建论坛软件的思考：作者用 AI 工具开发论坛软件，发现 LLM 很适合补齐实现细节，让自己把精力放在产品和交互上。与此同时，AI 生成代码仍需要持续审查，因为隐藏问题很多。
谷歌全新的“万物转万物”AI 模型太炸了：Google 的 Gemini Omni Flash 能把普通视频改得很像真的，深度伪造门槛进一步下降。虽然细节仍常出错，但已经足以骗过很多非专业观众。
安塞尔·亚当斯信托称，其作品的 AI 着色版本未经许可便被展出：争议的重点不是“能不能用 AI”，而是展商未经授权就拿艺术家的名字和作品牟利。文章反映出，AI 内容生产正在直接撞上版权、署名和职业伦理问题。

这里的共同点是回到机器本身。有人去掉一层文件系统就把速度拉高几十倍，也有人继续拆老芯片、老计算机，重新理解它们到底怎么工作。

我们把文件系统删了，速度直接提升了 47 倍：microsandbox 0.4 去掉了基于 FUSE 的用户态文件系统，改为把预构建磁盘镜像直接挂到虚拟机里。这样少了大量来回切换，平均文件系统性能提升 47 倍，部分场景甚至超过 1000 倍。
1980 年 Spacelab 计算机中的电路逆向工程：文章拆解了 Spacelab 使用的一块 ALU/寄存器电路板，展示了在没有现代微处理器的年代，如何靠大量 TTL 芯片拼出 32 位运算能力。技术分析之外，也顺带回顾了法国计算机工业的一段历史。
z386：一款基于原始微代码打造的开源 80386：这是一个尽量按 80386 原貌实现的 FPGA CPU，而不是简单模拟器。项目已经能运行 DOS、Doom 等真实软件，性能接近较快的 386 或入门 486。
80386 微代码反汇编：研究者从 80386 芯片图像中提取并整理出微代码，重建了指令和微操作之间的关系。成果不仅有助于理解老 x86 的内部结构，还发现了一段疑似未使用的微代码和一个可能的安全问题。

这几篇文章都指向同一个现实：技术系统越来越强，个人却未必更安全。风险既来自漏洞，也来自平台、厂商和政府手里的权力。

得克萨斯州女子因在 Facebook 上发帖质疑小镇水质被捕：一名居民因转发关于水污染的说法被以“虚假警报”重罪逮捕，但当地政府后来又承认水质确有问题。事件引发了对地方权力借刑事法律压制公共讨论的担忧。
MIE 恕我直言？：苹果的新内核内存保护 MIE 很强，但研究人员还是靠一个整数溢出漏洞拿到了 root 权限。文章说明，哪怕防护层层加厚，系统里“受信任的写入路径”仍可能成为新的突破口。
Oura 表示，它会收到政府索要用户数据的要求：Oura 的健康数据并非端到端加密，公司也没有清楚说明政府索取数据的规模。问题不只在技术保护，更在于企业是否愿意公开透明。
这些特殊的手机和应用功能可以帮助你防范间谍软件：面对零点击攻击和高级间谍软件，苹果锁定模式、谷歌高级保护和 WhatsApp 更严格的账户设置，已经是现实中最便宜也最有效的防线之一。代价是少一点便利，换来更高的生存率。
FBI 希望对美国车牌识别器拥有“近实时”访问权限：FBI 想拿到全美车牌识别摄像头的近实时数据，这会明显扩大追踪能力。文章把它放在本周安全新闻中，提醒人们监控基础设施正在持续扩张。

一边是航天工程继续靠试飞和迭代往前推，一边是基础科学靠更慢的观测和理论争论去逼近答案。两边都没有捷径。

SpaceX 发射 Starship v3 火箭：新版星舰完成了首次试飞，虽然一级和二级都出现发动机故障，部分计划也被取消，但仍完成了载荷部署、再入和着陆等关键验证。它更像一次“不完美但有用”的工程进展。
NASA发布了Psyche探测器拍摄的火星照片：Psyche 探测器借火星引力弹弓时拍下了陨石坑、南极冰盖和新月状火星。照片本身很直观，也说明深空任务常常能顺手带回额外的科学价值。
量子“干扰”或许有助于揭开因果关系的奥秘：研究者在讨论一种叫“量子干扰”的现象，它可能在不违反相对论的前提下改变远距离纠缠关系。这个问题关系到量子密码学最底层的安全假设是否真的稳固。
宇宙空洞或许藏着宇宙最深的秘密：宇宙空洞并不只是“什么都没有”，反而可能是检验引力理论、暗物质、暗能量和哈勃常数问题的好地方。未来更大规模的巡天观测，可能会让这些稀薄区域变得很关键。