待验证60% 置信事实精确时间
CRDT由Marc Shapiro等人于2011年正式提出，通过单调半格结构使并发修改合并时收敛到相同结果
2
来源数
60%
置信度
长期有效
时效性
2026/7/10
首次发现
来源
Rowboat：开源本地优先的Claude Desktop替代方案
hackernewshackernews2026/7/7
相关事实
待验证CRDT（无冲突复制数据类型）由Marc Shapiro等人于2011年正式提出，其数学基础是格理论（Lattice Theory）83% 相似待验证He初始化针对ReLU激活函数设计，通过将权重方差设为2/n来保证各层激活值方差稳定52% 相似待验证同态加密的理论基础可以追溯到2009年Craig Gentry的工作，他基于理想格数学结构首次证明了可以在密文上执行任意计算51% 相似待验证Muon优化器由Jeremy Bernstein等人提出，核心思想是对梯度矩阵通过Newton-Schulz迭代执行正交化处理51% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构50% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/415164API
curl https://kongchang.com/api/v1/knowledge/claims/415164MCP
get_claim(id=415164)