Hyaika Blog

【2026-06-04】新闻杂烩 - Elixir 是静态了，但世界还是动态的

点开 Hacker News 的那个瞬间我就知道今天这期杂烩有戏了。  Elixir 官宣自己变成类型语言了。后量子时代的第一批 HTTPS 证书开始签发。伯克利的 CS 学生用 AI 写作业直接把自己写挂科了。而大洋彼岸，美国正在拆除最后一道能预警气候崩溃的监测系统。 同一天。同一