书签

下文提及的书都可免费下载。

文化

• 书格
• 中国哲学书电子化计划
• 杨卡：关于杨卡的一切（俄语）；
• Magazine Hall：俄罗斯文学杂志集；
• ERGO PROXY SUM：动画《死亡代理人》中的典故、背景知识（俄语）；
• L A I N：关于 lain 的艺术站点；
• 万民书社：孩子们，你们的妈妈叫什么？
• Библиотека：俄语图书馆；
• Авторский Комикс：俄语漫画；
• Wisdom Library：智慧宫，有大量关于印度古典哲学的材料；
• Low Tech Magazine：低科技杂志，探讨“过时”科技对可持续发展能否作出贡献（文化考古）；
• neverendingbooks：看起来像是数学文化史；
• AMS Notice：虽然 AMS 网站一直不好使，但是 pdf 还是能下的：https://www.ams.org/notices/年月日/年月日FullIssue.pdf；
• MIT 公开课系列：
  • 拉美近代史，有阅读材料、课程表；
  • 苏俄史，有阅读材料、课程表；
  • 语言学，有阅读材料、课程表并录像；

数学

• 科大孙天阳：本科数学题、笔记；
• 王作勤：拓扑、微分几何；
• 2023 科大实分析：殷浩的讲义值得一看；
• John L. Bell：有许多关于元数学的资料；
• George Mark Bergman： An Invitation to General Algebra and Universal Constructions 的作者；
• Timothy Y. Chow’s homepage：A Beginner’s guide to forcing 的作者；
• Tom de Jong：诺丁汉的博士，为 Midland Graduate School 著有 Domain theory 和 Category Realizability；
• Matilde Marcolli：修过古典学的语言学家、数学家、达达主义者。网站上有计算语言学资料；
• Steve Awdoey：范畴逻辑讲义；
• Amar Hadzihasanovic：他的范畴论讲义看起来不错，第二讲就引入了 Bicategory，还讲了线图 (String diagram)。
• Jacob Lurie：范畴逻辑；
• 遗忘的左伴随：很厉害的同学，有关于平展上同调的讲义；
• Birgit Richter：主页上有书 From Categories to Homotopy 及代数拓扑课程，有深度；
• Anush Tserunyan：亚美尼亚人，主页有描述集合论、数理逻辑的讲义；
• Andrew Marks：主页有集合论、计算理论的讲义，看起来十分现代；
• John Baez 的应用范畴论：应用范畴论课程；
• Keith Conrad’s Blurbs：极好的学习材料，涵盖群、环、几何；
• Algebra Topology 2016 - MIT：mit 的代数拓扑；
• Jesper Grodal: 用范畴论讲了些代数拓扑；
• Izak (Ieke) Moerdijk：Sheaves in Geometry and Logic 的作者，网页中有同调代数、同伦论的资料；
• Resources for homotopy theory and K-theory：如其名，有同伦论、K 理论相关的材料。
• Charles Rezk：主页内有准范畴（quasi category）讲义，声称只需要基本的范畴论知识即可阅读。另外，他还组织了一个关于代数拓扑的 discord 频道。
• Ivan Di Liberti：有数理逻辑的许多课程，还有推荐书单，内容十分齐备，囊括经典四论、范畴逻辑等等。
• verbit 的微分几何：俄式讲义，内容很丰富，第一讲就提到了层。
• Tommaso Moraschini：有代数逻辑的讲义。
• Lars Hesselholt：在名古屋大学任教的丹麦人，有表示论讲义（看着有几个交换图，感觉不错）。
• 经典力学笔记：速通大学物理吧！
• 一些有意思的文章：某人记录了一些论文，看着挺有意思。
• Bodirsky：模型论讲义。
• 丁一文：数论讲义（可以作为 serre 的参考）
• MIT 椭圆曲线：现在已经学了复分析，可以读了（据说课上还会用到 sage，顺便一起学了）
• Дмитри Повлов：有极好的同伦论、范畴论讲义，迅速介绍了单纯集、模型范畴，省去不必要的废话，必须得读啊！（另外，他还有一份给数学家的 git 教程）
• Lectures on the Geometry of Manifolds - Liviu I. Nicolaescu：看起来很不错的微分几何讲稿。
• Real not Complex：数学资源库，搜集了各种讲义；
• Matthew R. Ballard：用 lean 来学习密码学、导出范畴。

计算机

• CS 6120：康奈尔的编译器课，适合自学；
• William Gasarch’s Computability：计算理论，有许多补充内容，值得一看；
• UTah cs3520：编译器；
• Adam Chlipala：在 MIT 做编程语言理论的教授，主要通过 Coq 讲形式化验证；
• Constructive Logic：CMU 的构造逻辑讲义；
• Gert Smolka：著有 Modeling and Proving in Computational Type Theory 及一本 OCaml 教程；
• Carlo Angiuli：著有 Modern Dependent Types，回答了很多关于依赖类型论的问题；
• Neil D. Jones：可计算性讲义；
• CS 152：哈佛的编程语言理论；
• Theory of Computation：mit 的计算理论；
• JHU pl：jhu 的 pl 课，里面有本书，看起来不错；
• [CS 144]：斯坦福的网络课（也许能用来入门 C++？）；
• MGS 2021 - 单子：单子与计算；

游戏

• YGOPro 233 服、萌卡 YGOPro 社区：游戏王；
• NES Ninja：NES 游戏；
• Yume wiki：梦日记百科；
• 梦日记中文站

博客

• Henrize：十字街站长博客；
• 田泽禹：好人；
• 杨丕业：很久没更新了；
• Wang weijia：用世界语写博客的神人，在巴黎高师读数学；
• 顾犇：奇人，本是学数学的，现在做图书馆学，在这里看到过《通天塔图书馆》；

工具

• quiver：在线画交换图；
• Temp Email：临时邮箱；
• Temp files store：存放临时文件；
• Mozhi：多引擎翻译；
• Wolfree：快速访问 Wolfram；
• Send：传文件；
• Jitsi：快速线上会议，无须登录
• DoH 推荐：DoH 汇总，最后更新于 2024 年 12 月 6 日。
• 吉大校园网之窗

语言

• 字統
• 古今文字集成
• 叶典
• 中华全国世界语协会