可验证性

Tag - 可验证性
2026
契约式设计：把应该写成必须
avatar
Hespethorn
HespethornのBlog
Articles
808
Tags
1096
Categories
42
GitHub
fox
ciwei
Recent Posts
JIT：让程序在奔跑中变快
契约式设计：把应该写成必须
快速失败：让 Bug 早点现形
最终一致性：不一致是常态，收敛才是目标
鲁棒性原则（Postel）：接收要宽松，发送要严格
Categories
Tags
CS-Principles计算机原则专栏介绍系统/存储缓存局部性系统/并发并行Amdahl系统设计性能优化网络分布式幂等API设计算法索引一致性可用性存储
Archives
Website Info
Article Count :
808
Runtime :
Total Word Count :
1766.5k
Last Update :