书签
文化
书格
:扫描本古籍;
杨卡
:关于杨卡的一切(俄语);
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)书目、台湾图书馆书目等等。
数学
王作勤
:拓扑、微分几何;
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
计算机
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
:竟然能扫描竖排书!
语言
字統
古今文字集成
粤语相关:
粵音資料集叢
:查粤音;
粤典
:查字义;
一切都逝去了
万民书社
:孩子们,你们的妈妈叫什么?