AI 产品与产业动态
AI 正在加速“做产品”和“做行业软件”：一边是大模型创业和并购升温，一边是新型工程方式（多智能体、端到端语音）还在摸索落地。
- 法律 AI 巨头 Harvey 收购 Hexus，法律科技赛道竞争白热化：Harvey 收购演示与教程工具公司 Hexus，Hexus CEO 将带队做企业法务产品。Harvey 估值约 80 亿美元，客户已超 1000 家。
- AMI Labs 背后是谁：Yann LeCun 的“世界模型”创业公司揭秘：LeCun 新公司押注“世界模型”，想补上纯语言模型的短板，目标是医疗、工业等高风险场景；强调开放发表与开源。
- Wilson Lin 谈 FastRender：由并行代理打造的浏览器：Cursor 团队用上千智能体并行写代码做渲染引擎，累计近 3 万次提交；通过任务拆分、文档规范和视觉反馈减少冲突，项目已能渲染真实网页。
- Ask HN：现在本地/开源的语音转语音方案，哪套最顶？：真正“本地+开源+端到端实时语音助手”仍少见，主流还是 ASR+LLM+TTS 拼装；单 GPU 延迟多在几百毫秒到 1 秒，落地需要大量集成与调参。
编程语言与工程实践
更强的类型、更少的隐式行为、更可控的性能：语言特性、接口封装和数据库优化都在朝这个方向走。
- Kotlin 的“富错误”：Native 原生、强类型错误，不靠异常：Kotlin 试验 Rich Errors，用联合类型把错误放进类型系统，减少 try-catch 的隐式控制流，让组合式错误处理更直接。
- 一些我在现代依然坚持的 C 语言老习惯：分享 C23 风格实践：固定宽度类型、用“长度+数据”替代 C 字符串、尽量“解析而非验证”，并用结构体增强类型安全。
- 在彭博社，从 Rocq 定理证明器中提取经验证的 C++：介绍 Rocq 的新提取系统，把形式化验证过的代码转成更现代、强调内存/线程安全的 C++ 代码形态。
- 提升 Swift 中 C 库的易用性：用 Swift 的注解（API notes）在不改 C 库实现的前提下，生成更符合 Swift 风格、更安全可读的调用接口。
- 丢失 150 万行 Go 代码：作者做 Unicode 属性匹配时曾把自动机“全量生成”导致代码爆炸、启动慢，最终改为按需缓存自动机，性能和体积都回到可控范围。
- 被低估的 Merge Join 节点怪谈：PostgreSQL 查询首次执行慢、第二次快，根因是索引死元组影响了极值估算，导致优化器在两次执行间选了不同 Join 策略。
新工具与“造东西”的路径
门槛在下降，但交付依旧难：社区共创、WASM 语言、跨界做产品都在试新方法。
- 地产人勇闯科技圈：在少数派造物的 180 天：三位地产从业者借 AI 热潮转向编程与产品开发，通过社区共创把想法落地并拿到投资；也坦言真正难点在交付与持续迭代。
- Show HN：Coi——一门可编译到 WASM、性能吊打 React/Vue 的语言：Coi 通过共享内存与批量指令缓冲，减少 JS/WASM 交互成本；主打不靠虚拟 DOM，用编译期分析做 O(1) 响应更新与更小包体。
基础设施与计算机史
长期存储、可靠系统与早期 CPU 设计：很多“老问题”今天仍在重演，只是规模更大。
- Internet Archive 的存储：互联网档案馆自研 PetaBox 做低成本海量存储，靠自然冷却、余热回收、多地备份和分层策略对冲硬盘高故障率；强调长期保存首先是经济问题。
- 80386 乘法与除法：从微码与逆向角度拆解 80386 的乘除法实现：加移位乘法、非恢复除法，复用 ALU 但速度较慢，体现早期 x86 的权衡。
- 空中交通管制：IBM 9020：回顾 FAA 空管自动化用的 IBM 9020（System/360 多机集群），重点在高可靠、实时处理、故障检测与恢复，后被 HOST 系统替代。
平台、隐私与市场
平台合规与“控制权”拉扯加剧；同时，市场增长更多来自结构变化（高端化、本地制造、渠道扩张）。
- TikTok 因收集用户“移民身份”信息引发恐慌——这到底意味着什么：隐私政策提到的敏感信息类别并非新增监控，多是为满足 CCPA 等法规的披露要求；但在当前政治环境下更容易引发不安。
- TikTok 美国合资公司：TikTok 拟成立美国新公司，多数股权由甲骨文等非中国投资者持有；争议点是字节跳动是否仍保留实质控制，可能影响“完全剥离”要求。
- 在智能手机市场整体持平之际，Apple iPhone 在印度迎来史上最佳一年：2025 年 iPhone 印度出货约 1400 万台、份额到 9%；高端机占比上升，本地制造与渠道扩张是关键推力。
- 内部 Google 文件暗示：Chromebook 正在把学生从小“养成”忠实客户：内部材料强调“越早进入校园，越容易形成长期品牌黏性”，引发对教育市场与锁定效应的讨论。
科学与微型硬件
微型机器人更像“会动的计算系统”，而航天影像继续提醒我们：工程的尺度可以非常大，也可以极小。
- 这款自主水下机器人，比一粒盐还小：200×300×50 微米级自主机器人，用电场驱动带电粒子形成水流推进；配超低功耗微型计算机，可感知、决策与协作，面向医疗监测和微装配。
- 从猎户座看地球：阿尔忒弥斯 1 号任务中，猎户座飞船从月背拍到“地球落下”画面；任务进入远距逆行轨道，最远距离超 40 万公里。