欢迎来到
写代码，也写点别的
这里放着一堆文章、几个小游戏，和一些顺手写的工具。
110
博客
15
小游戏
23
工具
最新文章
全部升到 Astro 7：Rust 编译器很快，但真正卡住我的是冷缓存
Astro 7 把编译器与 Markdown 管线换成 Rust、打包器换成 Rolldown，构建确实快了一截。这篇记我升级时真正卡住的那三件事，以及为什么构建通过从来不等于能跑。
CSS 开始有函数和条件了：@function 与 if()
CSS 新增的 @function 与 if() 把「一个组件多种状态」从媒体查询复制粘贴里解放出来。两者都还没到 Baseline，但值得先看懂它们替代了什么。
HTTP 终于有了带 body 的安全方法：QUERY
GET 不能带 body，POST 又不敢重试 —— 查询接口被这个两难卡了二十年。IETF 的 QUERY 草案给出了第三个选项：安全、幂等、且能带请求体。这篇讲它解决什么、代价是什么、现在能不能用。
无猜扫雷：怎么保证每一局都能靠推理走完
扫雷最烦的不是踩雷，是踩到一颗只能靠运气的雷。这篇讲生成器怎么用「先解一遍再发牌」保证整局可推理，以及为什么这件事比看起来贵。