站点罗盘

常去的站点 —— 文献检索、代码仓库与各种兔子洞。

21 个站点

论文与研究

预印本、文献检索与公开审稿

模型与代码

写代码、找模型

数学与机器证明

形式化数学，还在入门

算法相关

题库、题解与算法百科

工具与效率

常用工具

社区与资讯

社交与新闻