发简信
IP属地：湖北
-
-
-
如果你是程序员，或者有一颗喜欢写程序的心，喜欢分享技术干货、项目经验、程序员日常囧事等等，欢迎投稿《程序员》专题。 专题主编：小彤花园 http://www.jianshu.com/users/4a4eb4feee62/ 【程序员】专题拒稿指北：http://www.jianshu.com/p/7c8b33b5f63b 投稿须知： 1.收录相关技术文章，但不限于技术，也可以是项目经验类的文章和程序员日常。 2.文章內不得有任何推广信息。包括但不限于公众号、微博、微信，更不得在通过投稿后再修改文章加入推广信息。你可以将这些推广以及个人信息放在个人主页介绍里。 3.字数极少，段落混乱，大段代码没有放到代码框的文章不收录 4.不相关的内容不收录，请确认文章内容和本专题相关 目前针对优质作者及爱好者，开设了官方程序员微信群，希望加入请发简信给主编小彤花园索取个人微信，主编会将你加入到【程序员】微信群，分享内容，收获知识。添加微信时备注昵称。
-
国学即中国固有的学术，而传统文化是指中国传统社会，中华民族的整体生活方式和价值系统，其精神学术层面，包括知识、信仰、艺术、宗教、哲学、法律、道德等。本专题收录与国学及传统文化相关的讨论及思考，欢迎各位朋友投稿。 【国学与传统文化专题投稿须知】 1、题材：本专题收录古诗词、古文、曲赋、民族音乐、民族戏剧、民间曲艺、国画、书法、对联、灯谜、射覆、酒令、歇后语等； 2、原创：所有投稿作品，必须为原创； 3、标点：行文若使用了标点符号，须全文规范； 4、排版：整洁有序，不能乱七八糟；配图相宜，不宜过多且最好与内容相符；断行适当，空格间隙不要太大；格式相符，诗有诗的讲究，词有词的分寸； 5、禁令：请勿密集投稿，不得在文中出现一切广告、公众号、二维码、带水印的图片、外链网址，污秽之语，如违规则一律拒稿，屡教不改者，本专题将永远拉黑。 投稿指南：http://www.jianshu.com/p/29ffcb15d6ab
-
赞！
如何用数学验证软件的正确性——TLA+学习总结
作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）、用（案例）五个主要部分。 2...
-
