归档

Apple M5 Pro 的 memory lanes：从 benchmark 的 MLP 到物理内存接口

前端到底发生了什么？

Lean 与 AI 辅助软件开发：从代码生成到形式化验证

从 351KB 黑盒到完整软件栈：未知 MCU 固件逆向方法论

终端录屏嵌入演示

一次 Tailscale SSH 间歇性失效的排障复盘

在 RISC-V 开发板上部署 Vaultwarden：从零到 HTTPS 的完整踩坑实录

Rust 方法解析的暗流：从 Clone 歧义到自动解引用链条

建站记录