第 1 页，共 9 篇文章
查看归档 →
- Apple M5 Pro 的 memory lanes：从 benchmark 的 MLP 到物理内存接口
从 testingmlp 的软件 lanes、MLP 估计与 Apple 公布的 307GB/s 带宽出发，厘清 M5 Pro 的并发请求、物理通道与约 256-bit 接口推断。
8 min 中文 - 前端到底发生了什么？
沿着前端二十年的真实问题，理解 jQuery、组件框架、构建工具、SSR、Islands 与 AI 编程为何依次出现。
17 min 中文 - Lean 与 AI 辅助软件开发：从代码生成到形式化验证
讨论 Lean 如何为 AI 生成代码提供可检查的规格与证明，并厘清它与 Rust、测试及真实实现之间的能力边界。
12 min 中文 - 从 351KB 黑盒到完整软件栈：未知 MCU 固件逆向方法论
手头只有一个 351KB 的 .bin 和一句话："蓝牙热敏打印机固件"。不靠厂商文档，用熵图、向量表、字符串指纹锁定芯片与协议，5 行 Python 破解 footer 签名，还原完整软件栈，沉淀四条可迁移的逆向教训。
15 min 中文 - 终端录屏嵌入演示
用 asciinema-player 在文章里嵌入交互式终端录屏的演示。
2 min 中文 - 一次 Tailscale SSH 间歇性失效的排障复盘
Tailscale SSH 从正常到稳定报错的排障全过：区分现场证据与规则语义，定位 tag-based identity 与 autogroup:member 的身份模型冲突。
16 min 中文 - 在 RISC-V 开发板上部署 Vaultwarden：从零到 HTTPS 的完整踩坑实录
在 LicheePi 4A (RISC-V64) 上交叉编译 Vaultwarden 静态二进制，通过 Docker 部署并用 Tailscale Serve 暴露 HTTPS，含 7 个实际踩坑修复。
17 min 中文 - Rust 方法解析的暗流：从 Clone 歧义到自动解引用链条
从 &T.clone() 的深浅拷贝歧义出发，层层拆解 Rust 方法解析候选列表、Autoref、Deref 与 Unsized Coercion 的协同机制。
13 min 中文