从绝望中寻找希望，人生终将辉煌。<br>写作使我内心丰满，思维成熟。<br>个人公众号：钱钱一生悫
发简信
IP属地：江苏
-
-
如何用数学验证软件的正确性——TLA+学习总结作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）、用（案例）五个主要部分。 2...
-
程序员。业余喜欢文学、书法、画画。
-
认真生活，用心写文。
-
让科技融入生活，衍生新技术！
-
多平台认证作者
-
-
-
yanxishe.com<br>专注AI开发者和学术青年求知求职。<br><br>没有人是一座孤岛，每个AI爱好者都可以在这里分享你的知识与成长。
-
深度体验各种数码单品，来了就关注下呗！前雷锋网&爱搞机运营，智能帮主编
-
-
从数码发烧友到酷玩评测人，笔点君一直在路上。<br>微博及自媒体：笔点酷玩；<br>微信：bidiankuwan，欢迎交流提问。
-
维护开源书《Chrome插件英雄榜》《在线工具秘籍》《中国人的表情包》
-
阿里云官网内容平台！汇聚阿里云优质内容（入门、文档、案例、最佳实践、直播等）！如需转载或内容类合作，邮件yqgroup@service.aliyun.com 秒级回复！<br>
