Synth Daily

每日科技摘要-11-25-晚报

AI 趋势与产品

以更少打扰、更强上下文为方向,AI 正在从软件走向硬件,并加速走入产业与科研平台。

操作系统与平台生态

桌面与移动边界继续融合,系统功能与生态“锁定”左右选择;底层兼容与历史包袱仍是工程难点。

开发者与工程实践

从语言与编译器到构建系统,现代工具链强调类型安全、可维护与表达力。

  • 五个项目带你手把手写一个编译器:用 Racket 完成 5 个递进项目,涵盖变量/分支/循环/堆/闭包,最终产出 x86-64 汇编;配套严密测试与多阶段 IR,资源开放。
  • 重思 C++:架构、概念与责任:C++20/23 的 concepts、ranges、编译期计算与 RAII 提升类型安全与表达力;主张将编译器视为合作伙伴,推进库与工具现代化。
  • 迁移到 Bazel 符号宏:Bazel 8 引入类型化参数与可见性控制的“符号宏”,在加载期展开,限制命名与可见性,减少隐性错误;文内给出迁移要点与工具建议。

硬件与科学

工程细节与自然规律同样重要:从树莓派“控温稳时”到大脑先天“默认模式”。

数字生活与效率

用环境设计与自动化,把好习惯“变容易”。

科技政策与监管

平台经济与数据使用正被重塑,规则在补齐。

行业快讯

一文速览多条硬核更新,从手机与车载芯片到跨平台互传与 AI 工具。