Synth Daily

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

AI 模型、产品与规则

这一组新闻里,AI 继续往两个方向走:一边是更强的生成能力和更细的控制手段,另一边是平台开始补规则,要求人对结果负责。大公司也在把聊天、编程和芯片这些核心能力收得更紧。

算力硬件与系统

硬件还在往更高密度走,系统软件则在补回用户一直想要的控制权。另一条线也很明显:旧设备没坏,只是厂商不再想管了,于是用户自己接手。

开发方法与研究工具

不少文章都在回到基本功:少依赖一点框架,多理解一点结构和语义。另一些项目则把高性能计算、模型分析和经典程序复现做得更容易上手。

  • Windows 9x 的 Linux 子系统:这是个很“黑客”的项目:让现代 Linux 内核和 Windows 9x 协同运行,不用重启就能一起用。它更多像一场系统实验,但很能说明老平台也能玩出新花样。
  • 告别 Tailwind,学习如何组织我的 CSS:作者从 Tailwind 回到更语义化的 HTML 和原生 CSS,重新整理组件、间距和响应式布局。重点不是“反 Tailwind”,而是写清楚、好维护的样式。
  • HTML 列表:文章把 HTML 里几种列表的语义和用法讲得很清楚。核心提醒只有一句:选标签要看内容是什么,不要只看它长得像什么。
  • 周末搞定 3D Gaussian Splatting:这篇文章把 3D Gaussian Splatting 的核心原理拆得很明白。它适合想搞懂这类渲染方法的人,不只是“跑通代码”,而是理解它为什么能工作。
  • Accelerate——用于高性能数组计算的嵌入式语言:Accelerate 用 Haskell 写并行数组计算,再编译到 CPU 或 CUDA GPU 上跑。它适合做高性能计算实验,也适合把数学操作写得更直接。
  • 时隔 8 年,我重写了我的开源 PyTorch 曲率库:新版曲率分析库面向更大的 PyTorch 模型,能在不显式构造完整 Hessian 的情况下做谱分析和迹估计。对研究训练稳定性和模型几何的人很有用。
  • 1956 年 IPL-I 版《逻辑理论家》定理证明器的重现:这个项目把早期 AI 里的经典程序重新做了一遍。它让人更容易看到,今天很多“智能”方法,根子其实很早就有了。

科学、太空与能源

这里最值得看的是两类进展:一类是在基础科学里看见以前看不见的结构,另一类是把现有资源重新利用,少浪费一点。

平台责任与公共使用

平台一边继续扩张,一边也开始更直接地碰到公共责任问题。学校、政府和平台本身都在试着找新的边界。