Synth Daily

每日科技摘要-07-17-晚报

科技巨头与行业动态

OPPO 调整全球产品策略,SpaceX 遭遇发射中止。

软件、硬件与消费者技术

Apple 推出系统公测,Windows 迎来第三方应用商店。

人工智能与娱乐科技

AI 生成与内容审核引发关注,Netflix 普及 AI 流程。

科学、历史与社会

古罗马混凝土长寿之谜解开,人脑可同时编码双路语音。

政策、监管与安全

自动驾驶遭遇强监管压力,特工组织建议家庭暴力受害者使用隐私手机。

编程、技术与开源

Lua 编译工具与极简强化学习教程发布。

  • Solod:Go 语言,或许是更优雅的 C:Solod 是 Go 语言的一个严格子集,它可以直接编译生成易读的 C11 代码。它不带 GC 和运行时,支持与 C 语言无缝互操作,并兼容现有的 Go 语言工具链。
  • Show HN: Clx – 基于 C++20 将 Lua 编译为原生可执行文件:Clx 是一款跨平台的 AOT(提前)Lua 编译器,利用现代 C++ 工具链将 Lua 代码编译为独立的、体积轻量的原生可执行二进制文件。
  • 强化学习小册子:这是一个开源的强化学习入门仓库,包含一本极简的强化学习基础书册,以及基于 PyTorch 实现的常用强化学习算法(从 MC 到 PPO)和相关算法的严谨证明。