![[3/3] 活久见，HOL-Light...](http://wx4.sinaimg.cn/bmiddle/72fd082bgy1hun7aic5u5j21rk0n8tgn.jpg)
[3/3] 活久见，HOL-Light 竟然发布新版本了（3.0.0），上一次发布时我还不会定理证明呢。这一切都是因为有个新人突然出现，提交了一系列补丁，不但修复了 OCaml 5.x 下的编译问题，还首次
B站游戏区新的治理公告！讨论背离游戏本身、激化矛盾、封面误导、造谣、为他人扣上“孝子”、“xx蛆”、“结晶”侮辱意味称呼等视频UP，会被限流、锁稿、封禁！B站游戏区专项治理
【微信上线小程序翻译了】微信小程序翻译功能支持18种语言10月15日，“微信派”公众号宣布，微信上线“小程序翻译”功能。小程序右上角新增翻译按钮，点击可一键翻译当前页面文字
侠哥聊股市 孙宇晨：流量、争议、以及自由主义
30岁之前，他的光环来自一长串耀眼的头衔：北大、《亚洲周刊》封面人物、常春藤校（宾夕法尼亚大学）毕业生、达沃斯论坛全球杰出青年
认知的差距让你只能守着那一亩三分地，老陈却能带领币友两天实现七连盛，8000油到65000油的华丽蜕变！
第一天:8000U→28000U 第二天:28000U→65000U
你还在害怕什么，高于你认知
