闭包之内，仍有新数学
从 AI 数学研究的最新进展出发，借助演绎闭包、证明超图与证明复杂度，讨论闭包之内为何仍会产生新的数学知识。
大模型如何一步步跑偏：从“山谷小球”到“城市司机”
用城市导航的比喻，解释大模型如何逐 token 生成，以及语义惯性、上下文漂移、温度、思维链和工具验证为何影响最终答案。
给想法做时间戳：我的 Proof Ledger 工作流
记录一套用 SHA-256、OpenTimestamps、Git 和 GPG 给研究笔记与 idea draft 做时间戳的轻量 Proof Ledger 工作流。
我的计算机之旅（大学前）
回顾大学前与计算机相遇、学习编程、接触工程实践、投入算法竞赛，以及一路更换设备的个人经历。
给博客做了一次不小的翻新
从文章头部、SEO、Feed、专题系统到双向链接，再到发文 CLI，这次顺手把博客里很多一直想补的东西都补上了。
逆向噢易 OSS 机房硬盘保护系统，并获得账密
粗略地逆向了一下 噢易(Oseasy) OSS 机房硬盘保护系统，并最终获得管理员账密。
修复 VitePress 在 Vercel 上的内容加载延迟问题
排查并修复博客在 Vercel 上“刷新后才显示内容”问题：原来是 rewrites 规则惹的祸。
针对低配电脑的 MPV-lazy 配置，让 N95 也能流畅解码 4K 蓝光
一个可以大幅降低硬件负载的 MPV 配置（适用于低端电脑）
修复路由器的 GPT、吃满 eMMC、挂载为 BT 下载盘
修掉 “primary GPT table is corrupt…”，把未分配的 ~59 GiB 吃满，创建/扩展数据分区并作为 BT 下载盘 使用；顺便设置 每周 fstrim，并备份出 U-Boot 可恢复的 GPT_single_boot.bin
如何在 Markdown 中优雅地嵌套代码块？
一个简单的 Markdown 技巧：通过增加外层反引号的数量，完美解决在 VitePress 中因嵌套代码块而导致的渲染难题。