Synth Daily

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

开源与操作系统

Linux 与轻量浏览器更新,带来更佳性能与可用性

  • Asahi Linux 进展 — Linux 7.0:自动化安装器修复设备树同步,支持更多机型与固件更新模式。新增环境光驱动、优化功耗(M1 Pro 等空闲功耗降约20%)、改进蓝牙共存与音频栈,发现并实现显示控制器的 VRR。推进 M3 支持,Fedora Asahi Remix 44 将用 Plasma 6.6。
  • Dillo 浏览器 3.3.0 版发布:新增 dilloc 远程控制(UNIX 套接字),实验支持 FLTK 1.4,修复 OAuth 重定向 Cookie 问题。改进快捷键、IPv6、缓存显示与搜索引擎;源码迁至自有服务器。
  • 用Linux三个月后,我一点也不怀念Windows了:作者转用基于 Arch 的发行版,遇到的多为小问题。游戏与日常使用稳定,可替代大部分 Windows 需求,最大收获是可控性与自由度。

开发与工程

从运行时优化到建模方法与工具链,效率与可理解性并进

  • 状态图:层级状态机:用层级与并行状态解决“状态爆炸”,更易应对异常与扩展复杂度。配合 SCXML 标准与执行库,可让设计与运行时一致,代价是学习与一定代码增量。
  • Orinoco:新生代垃圾回收机制:V8 引入并行 Scavenger,结合工作窃取与多线程,将年轻代 GC 时间缩短 20%–50%,更好利用多核,尤其适配 big.LITTLE。
  • Show HN:把高斯散斑变成电子游戏:将 Gaussian Splatting 场景转为可流式加载的碰撞/导航网格,加入光照探针与行为树 AI,实现浏览器内可交互 3D。项目与工具链开源。
  • Mine——Coalton 与 Common Lisp 集成开发环境:开箱即用 IDE,支持热重载、调试、错误诊断、跳转与补全,界面简单不依赖 Emacs/SLIME;现处于 alpha,主打易用。
  • 看得见的 Zorker:Zork 1:经典文字冒险游戏 ZORK 的通用动词处理代码,展示如何解析玩家指令、检查物品和状态、推进剧情的早期交互设计。
  • 工程热力学免费教材:系统覆盖能量、理想气体、蒸汽与制冷循环、第二定律与熵等核心内容,配详细算例与解答,适合工科入门与自学。
  • 泥土PCB教程:用本地采集粘土与低能耗烧制替代传统 PCB 基材,配合含废银粉的银漆绘制导线,已做出适配 ATmega328P 的样板。强调材料可持续与公平贸易的“伦理硬件”。

安全与基础设施

工业级攻击与运营失误并存,关键系统需双重校验与更严流程

  • Fast16:比Stuxnet早五年的网络武器:隐匿 21 年的恶意软件,内置 Lua 引擎和内核驱动,悄然篡改科学计算的浮点结果,目标含 LS-DYNA、PKPM、MOHID,被指与 Equation Group 有关。建议关键计算用独立系统交叉验证。
  • GoDaddy无任何凭证私自将域名给了陌生人:27 年域名被内部员工误转移,双重认证与域名保护失效。官方沟通迟缓且拒绝恢复,最终靠“新持有人”协助找回。暴露注册商验证与客户支持的严重缺陷。
  • Windows 强制更新现可永久暂停:Windows 11 可反复延长 35 天暂停窗口,从而长期阻止自动更新打断重要任务。仍建议及时安装安全更新。

自动驾驶与出行

无人车商业化推进与现实道路规则的冲突加剧

科技公司与平台动态

大厂组织与产品形象调整,内容业务加速与硬件生态待解

科技政策与社会

平台管控与科研治理再成争议,规则仍在形成中

科学与研究

植物可感知环境声学信号,雨声可直接促进生长启动

职场与团队建设

AI 浪潮下的人才梯队与深度能力,短期效率与长期竞争力的取舍