国内外研究现状，国内都不知道有谁在做😃
在国内研究Paxos算法是什么体验211渣硕女，目前面临毕业危机。研究生研究方向为Paxos算法。不能说精通，理解倒是可以说上。这篇不说Paxos，说研究的体验。 首先，必须是入门难啊！ 当时看的时候不知道先...
发简信
IP属地：福建
-
-
在国内研究Paxos算法是什么体验
211渣硕女，目前面临毕业危机。研究生研究方向为Paxos算法。不能说精通，理解倒是可以说上。这篇不说Paxos，说研究的体验。 首先，必须是入门难啊！ 当时看的时候不知道先...
-
明明可以靠颜值<br>偏要靠实力吃饭！
-
-
前辈你好，可以加个联系方式吗？可以向您请教吗？
TLA+ hyperbook读书笔记--Chapter 13 Arithmetic and Logic
声明：本人刚开始接触形式化验证相关技术TLA+，该文档仅为本人以后复习之用，不保证内容的正确性。该文也是本人向大牛请教的一种形式（文章表达我的个人理解，并给出不解之处），欢迎...
-
左手写诗，右手写代码
