[3/3] 活久见,HOL-Light...
2024年10月18日

[3/3] 活久见,HOL-Light...

[3/3] 活久见,HOL-Light 竟然发布新版本了(3.0.0),上一次发布时我还不会定理证明呢。这一切都是因为有个新人突然出现,提交了一系列补丁,不但修复了 OCaml 5.x 下的编译问题,还首次

B站游戏区专项治理公告
2024年10月18日

B站游戏区专项治理公告

B站游戏区新的治理公告!讨论背离游戏本身、激化矛盾、封面误导、造谣、为他人扣上“孝子”、“xx蛆”、“结晶”侮辱意味称呼等视频UP,会被限流、锁稿、封禁!B站游戏区专项治理

#微信上线小程序翻译了#
2024年10月18日

#微信上线小程序翻译了#

【微信上线小程序翻译了】微信小程序翻译功能支持18种语言10月15日,“微信派”公众号宣布,微信上线“小程序翻译”功能。小程序右上角新增翻译按钮,点击可一键翻译当前页面文字

侠哥聊股市  孙宇晨:流量...
2024年10月18日

侠哥聊股市 孙宇晨:流量...

侠哥聊股市 孙宇晨:流量、争议、以及自由主义
30岁之前,他的光环来自一长串耀眼的头衔:北大、《亚洲周刊》封面人物、常春藤校(宾夕法尼亚大学)毕业生、达沃斯论坛全球杰出青年