Hotdry.

Latest Essays

最新见解 · 第 370 页

继续沿着时间线阅读近期的工程实践与技术观察。

已收录 19339 篇文章主题 274 个

最新见解

近期的思考与工程笔记。

Rocq C++ 提取中的运行时检查插入策略

分析 Bloomberg Crane 在将 Rocq 验证代码提取为 C++ 时,如何通过 sigma 类型到 assert 的转换策略填补依赖类型先验条件的验证空白。

2026-01-24compilers2026-01
上一页第 370 / 967 页下一页