Synth Daily

每日科技摘要-04-19-早报

AI 产业与算力

算力激增与资本涌入并行，内存供需失衡拉长“短缺周期”，AI也在反向推动应用生态回暖。

  • 揭示2026年AI现状的图表：美国在模型发布领先，中国在机器人部署占优；全球AI算力年增约3.3倍，Nvidia主导；训练碳排显著上升。投资创纪录，应用在医疗与软件加速落地，但常识性任务仍有短板，就业影响分化。
  • 内存短缺可能持续多年：HBM扩产优先，通用DRAM受限，至2027年仍或仅满足六成需求，缺口或延续至2030年；消费电子内存价格走高。
  • AI芯片新秀Cerebras申请首次公开募股：拟5月中旬IPO，估值约230亿美元；2025年营收5.1亿美元、净利2.38亿美元，非GAAP仍亏；与AWS、OpenAI合作，声称拿下OpenAI部分推理业务。
  • App Store 再次火爆，AI 或成背后推手：Q1全球新App同比+60%，iOS+80%，4月更翻倍；AI降低开发门槛，生产力与工具类增长快。审核压力增大，违规应用事件上升。
  • 特斯拉机器人出租车服务登陆达拉斯和休斯顿：德州三城上线无人出租车；奥斯汀自1月无安全员运营已发生14起事故；湾区仍为有人驾驶服务。

AI 与互联网政策

政府与AI公司的关系更微妙，言论自由边界与预测市场监管成焦点。

开发者与后端工程

以更少系统调用与更高效数据结构降本增效；Postgres既能当队列，也会“因疏忽停摆”。

  • 优化 Ruby 路径方法：新Dir.scan减少stat调用，目录扫描提速约2倍；为ASCII路径设计File.join快速路径，速度超7倍；basename/dirname等同步提速，显著缩短启动与测试时间。
  • 从 DigitalOcean 迁移到 Hetzner：248GB MySQL、34个站点、GitLab EE、Neo4j零停机迁移；主从复制+mydumper并行、自动化DNS与Nginx转换；24小时完成，每月省约$1200，脚本开源。
  • PgQue：零冗余的Postgres队列：纯PL/pgSQL实现，无外部守护与C扩展；快照批处理+表轮换避免膨胀，支持多消费者游标与高吞吐；依赖pg_cron定时，内置重试与死信。
  • PostgreSQL 生产事故：事务ID回绕引发的问题：长期禁用autovacuum致旧XID未冻结，触发写入阻断；需手动冻结恢复。核心教训：理解XID机制并确保autovacuum常开。

开源与工具生态

视频编辑、文档与可视化、复古操作系统和Lisp资料稳步演进，社区贡献驱动长期改进。

  • Kdenlive现状：2025年三次大版本；新增自动遮罩、背景移除、OTIO重写、音频波形提速；下载量1150万。规划10/12位色彩、OpenFX与关键帧重构，呼吁社区支持。
  • Show HN：MDV——支持数据的 Markdown 超集，适用于文档、仪表盘和幻灯片：扩展Markdown，内置YAML元数据、数据/图表代码块与样式容器，自动生成目录；产出自包含HTML/PDF，Node.js 20+运行，VS Code可预览。
  • Fuzix操作系统：0.4版发布；修复与接口改进，网络层模块化以支持8位机内核外运行；新增NS32K等多架构支持，构建流程更简化。
  • 现代 Common Lisp 与 FSET：2026版文档v1.0，CC BY-NC-SA 4.0许可；纯手写无LLM内容，欢迎通过GitLab/GitHub反馈。

体系结构、数值与算法

从经典386流水线到嵌入式浮点与低位宽表示，再到FFT与“如何比较浮点”的工程方法。

  • 80386 内存流水线：段描述符缓存、并行检查与TLB映射将地址转换压到约1.5个时钟；非复用总线与外部缓存提效；FPGA实现涉及锁存/时钟相位与缓存取舍。
  • Cortex-M 处理器上的浮点趣味体验：soft/softfp/hard ABI差异、参数传递与指令使用；Zephyr下FPU开关配置、NOCP错误与动态启用时机权衡。
  • 浮点数比较是否相等其实没问题：质疑“一刀切epsilon”；鼓励按场景设计判定逻辑，许多问题可避免随意阈值，提升可测性与稳定性。
  • 4位浮点数 FP4：介绍带符号E2M1的4位浮点布局与16个数值；低精度为神经网络提供大动态范围；Pychop库可模拟计算。
  • 理解 FFT 算法（2013）：从DFT到Cooley–Tukey递归分解，复杂度降至O(N log N)；提供Python实现与与NumPy性能对比助理解。

前沿科学与自然

集成光子芯片把“多色激光”装进小芯片；自然界首次记录到“清洁蚂蚁”互利行为。

计算史与工程奇器

数字化前的机电模拟计算，如何把天球装进一台“角度计算器”。