我喜欢的网站

文化

• 书格：扫描本古籍；
• 杨卡：关于杨卡的一切（俄语）；
• Magazine Hall：俄罗斯文学杂志集；
• L A I N：关于 lain 的艺术站点；
• AMS Notice：虽然 AMS 网站一直不好使，但是 pdf 还是能下的：https://www.ams.org/notices/年月/年月FullIssue.pdf；

• MIT 公开课系列：

  • 拉美近代史，有阅读材料、课程表；
  • 苏俄史，有阅读材料、课程表；
• 中国社会科学院大学课程表：有阅读书目推荐
• 苏联宣传画；
• 新东方（非补习机构）：东欧、巴尔干、高加索、俄罗斯文化评论；
• 庄子集释在线
• 春秋三传对读
• 文史广东：极好的历史科普，“推荐阅读”栏目列出了很多好书；
• 《历史研究》：历史顶刊；
• 藏人文化网：“专题”栏目中有许多藏文化科普；
• The Journal of Right-Wing Studies：右翼研究刊，加州伯克利出品！
• Ciprian Manolescu 爱看的电影：某个数学家爱看的电影；

• 吉大购买的数据库：

  • 大成老旧刊数据库：民国旧报刊，挺全的，《新青年》《天义》《广雅学生》等等都有，吉大 ip 可直接阅览；
  • 汇雅电子书：正版电子书，吉大 ip 可直接阅览；
  • 全国报刊阅览：民国旧报刊（有《闽星》《广东省立一中校刊》《广雅丛报》《广雅学生抗日特刊》）；
  • 中国近代影像资料库：中国社会科学出版社的带制作；
  • 中国社会科学文库：免费看书！

• 近代中國史料叢刊：无量功德；

  • 另附浙江大學提供的在綫目錄；
• Wikimedia Commons：有许多古籍、民国图书，直接搜索即可。另外，同网站的书库备份计划搜集了读秀泄露书目、中美百万书项目（CADAL）书目、台湾图书馆书目等等。
• 社科院近代史研究期刊：提供了《国外中国近代史研究》系列书目的 pdf

数学

• 王作勤：拓扑、微分几何；
• 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；
• 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：看起来很不错的微分几何讲稿。
• Matthew R. Ballard：用 lean 来学习密码学、导出范畴。
• 石亚龙：从微积分到上同调讲义；
• 莫大代数学：莫大代数学主页；
• 归斌：清华丘中心教授，有极好的分析讲义；
• Clara Löh：雷根斯堡教授，有极好的几何群论、（应用）代数拓扑、微分几何讲义，均附有习题；
• Isaac Goldbring：深入的非标准分析讲义、微分几何及表示论课程；
• Zhu qi：汉名未知，目前在波恩马普所，有各种课程的笔记；
• Dietmar A. Salamon：此人在 ICM 作过报告，有微分几何、微分拓扑的讲义；
• Henry Wilton：有几何群论的题、黎曼面的讲义；
• Hasse - Distribution Theory：分布理论
• Walker H. Stem - Differential Geometry：参考讲义 Wolfgang Kühnel. Differential Geometry: Curves — Surfaces — Manifolds
• Lectures on Geometry of Manifolds：著者是个罗马尼亚人，主页还有些其他讲义，作者自称此书为“is addressed primarily to the graduate students specializing in global analysis and gauge theory.”

计算机

• 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 - 单子：单子与计算；
• Intro Computing：不知道是啥的东西，不过内容不多，估计也可以速通；
• Sam van Gool：Topological Duality for Distributive Lattices 的著者，主页内有 “对偶与范畴逻辑” 课程的课程表；
• Domain Theory Lectures：如其名

游戏

• YGOPro 233 服、萌卡 YGOPro 社区：游戏王；
• NES Ninja：NES 游戏；
• Yume wiki：梦日记百科；
• 梦日记中文站
• 在 Linux Wayland 下玩饥荒联机版；
• 广州地铁站转盘

博客

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

工具

• quiver：在线画交换图，支持 typst 和 LaTeX；
• Temp Email：临时邮箱；
• Temp files store：存放临时文件；
• Jitsi：快速线上会议，无须登录；
• DoH 推荐：DoH 汇总；
• 吉大校园网之窗
• Wormhole：传文件（5 G 以上需要自己做种）；
• 激活 Windows：估计是 4chan 老哥的发明；
• 网页版腾讯会议：我终于发现了外宾专用版；
• CroxyProxy：在线代理，牛逼疯了；

• 种子搜索：

  • TorrentZ9
  • ext.to
• 标准地图服务系统：.gov.cn 后缀的官修地图网站！
• 4 archive：4 chan 档案馆；
• 在线 OCR：竟然能扫描竖排书！
• 雅思试题集（夸克网盘）

语言

• 字統
• 古今文字集成

• 粤语相关：

  • 粵音資料集叢：查粤音；
  • 粤典：查字义；

一切都逝去了

• 万民书社：孩子们，你们的妈妈叫什么？