1.lean4官方文档的地址（可以不看） https://leanprover-community.github.io/get_started....

人在四川过年，免不了上桌打麻将，作为一个标准的麻将新手，上桌送钱是免不了的，当然在这个运七技三的游戏中，本民工居然还偶然有一天赢了一点点钱。 ...

大数据博彩 赌，人的天性，人人都有。 大师和我说，人性。我明白了大师说的意思就是人需要为性而服务。 首先，什么叫大数据博彩? 首先，博彩本身...

SeetaFace中科院山世光老师开源的人脸识别引擎，其实这个是一个相当不错的人脸识别引擎，自己实测之后，发现的确是比OpenCV自带的强...

背景 科技民工，避免不了和各个版本的开发工具打交道，可种各样的开发工具，安装配置以及开发工具之间的冲突问题是一件非常让人头疼的事情。本来计算机...

#真的本来不想写的 单纯是因为之前被CSDN上的两篇博文给误导了，在安装微软件的深度学习套件CNTK上被走了一点弯路。耽误了宝贵时间，为了不让...

赌，人的天性，人人都有。 大师和我说，人性就是人性，我明白了大师说的意思就是人需要为性而服务。所以对于不好的东西应用技术手段去反制。 =====...