Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
分布式一致性算法:解决分布式系统 80%核心问题
夕小瑶的卖萌屋
1+阅读 · 2021年8月31日
【斯坦福】分布式算法与优化,118页pdf
专知
2+阅读 · 2020年12月22日
斯坦福2020硬课《分布式算法与优化》
专知
3+阅读 · 2020年5月6日
分布式入门,怎样用PyTorch实现多GPU分布式训练
机器之心
7+阅读 · 2019年5月3日
如何客观评价 Go 语言?
Linux爱好者
1+阅读 · 2019年4月23日
从概念到底层技术,一文看懂区块链架构设计
架构文摘
0+阅读 · 2019年4月8日
参考链接
微信扫码咨询专知VIP会员