一个没事喜欢写写东西的非专业码农，个人公众号：“不开心就敲代码啊”（微信搜索）
发简信
IP属地：上海
-
-
如何用数学验证软件的正确性——TLA+学习总结作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）、用（案例）五个主要部分。 2...
-
程序员。业余喜欢文学、书法、画画。
-
-
Talk is cheap, show me the code.<br><br>
-
微信公众号～盖是那么美<br>不乱于心，不困于情。<br>不畏将来，不念过往。<br>如此，安好。<br>以图、文记录自己的心路历程、随感
-
其实这世间，并无一人懂我！而今生，亦不会有人真正懂我，不，是有的，他们都是我的“读者”。不过，他们或会懂唐朝李白，却不知“我”为谁。幸而，如此也好罢！
-
一个比较自我的人，活在自己的世界里，因为这里有爱。
-
做美食，练美字，拍美景，写美文，相信这世间唯有爱，春光与美食是不可辜负的！
-
欢迎关注蜗牛的微信公众号：旌城蜗牛，分享绘画知识与技巧。
-
拆穿娱乐真相，姐，只说实话
-
-
香港电影发烧友，微信公众号电影聚焦（dyjj524）！
-
北漂青年的生活状态，探索互联网对我们的影响。<br>微信公众号：马虎眼<br>作者微信号：yunrui99
-
陌上花开，<br>可缓缓归矣。<br>
-
-
👍👍👍👍👍
为什么大家都不戳破深度学习的本质？！
自从去年 AlphaGo 完虐李世乭，深度学习火了。但似乎没人说得清它的原理，只是把它当作一个黑箱来使。有人说，深度学习就是一个非线性分类器[1]？有人说，深度学习是对人脑的...
-
心存感恩地生活，自然而然地學習。
-
原专题：“动物之灵”，全新改版升级 收录有关动物、植物的故事，感受、分享与其互动生活的点滴，至真、至美、至纯。 本专题仅收录偏向动植物相关的故事性、情感化方向文章，科普向的请转投【博物】专题。 投稿指南：http://www.jianshu.com/p/19d9f382668c 专题主编：那样笑靥如花 投稿须知: 1、字数不限，排版简洁，段落分明。 。 2、尽量确保无错别字，文字简练、文笔优美。 3、谢绝密集投稿，为了读者和您有更好的专题体验。 4、禁投广告，请不要在文章任何位置显示公众号、电话、微博、QQ、二维码等信息，不要插入与作品内容无关的图片。 5、严禁抄袭，请尊重原创和自己。 最后，无视最后两条者，轻者秒拒，重则拉入黑名单，稿件再不录入。
-
