Archive

391 notes, newest first.

2026

Apr 21加布里埃尔·福雷9 min read
Apr 19无调性音乐27 min read
Apr 19Nash Equilibrium3 min read
Apr 102026 蛤蟆先生去看心理医生50 min read
Apr 102026 Why Information Grows38 min read
Apr 3pc_sets_with_same_interval_vectors4 min read
Mar 1602 循环群对称群置换群47 min read
Mar 131 矩阵与线性方程组34 min read
Mar 9和声知识整理55 min read
Mar 9日语的常用语5 min read
Mar 6作曲方法6 min read
Feb 2700 什么是概率3 min read
Feb 2501 Information Entropy44 min read
Feb 25调性和声原理2 - 调式.md12 min read
Feb 2401 Information Entropy 248 min read
Feb 2405 Channel Capacity33 min read
Feb 232024 罗伯特·弗罗斯特 - 未选择的路3 min read
Feb 232025 海上钢琴师3 min read
Feb 232026 Bart Howard - Fly Me to the Moon1 min read
Feb 11日语词源41 min read
Feb 11あしたはトゥモロー1 min read
Feb 11ツギハギスタッカート1 min read
Feb 92024 夏目漱石 - 草枕 - 摘录31 min read
Jan 292026 村上春树 - 1Q8491 min read
Jan 29控制论3 min read
Jan 29增长的本质11 min read
Jan 2701 Probabilistic Systems7 min read
Jan 2501 ZFC Axioms36 min read
Jan 24Zorn's Lemma11 min read
Jan 2301 实数系28 min read
Jan 2302 极限与连续32 min read
Jan 2303 微分19 min read
Jan 1101 λ-calculus的语法10 min read
Jan 1102 λ-calculus与可计算性15 min read
Jan 1103 λ-calculus的归约13 min read
Jan 1002 一般的概率空间38 min read

2025

Dec 31bliss1 min read
Dec 24Zzz4 min read
Dec 24ツギハギスタッカート5 min read
Dec 24ボクらの冒険4 min read
Dec 2002 Machine-Level Representation of Programs8 min read
Dec 1700 What is Information26 min read
Dec 1701 Information Entropy66 min read
Dec 1601 Representing and Manipulating Information11 min read
Dec 12变分法20 min read
Dec 12最小作用量原理4 min read
Dec 1102 Application Layer11 min read
Dec 112024 生命3.078 min read
Dec 11科学的世界观87 min read
Dec 11模拟游戏假说10 min read
Dec 5Dies irae 震怒之日5 min read
Nov 2803 形式化证明25 min read
Nov 2502 一阶逻辑45 min read
Nov 24Itô Calculus22 min read
Nov 2301 命题逻辑34 min read
Nov 23语言哲学63 min read
Nov 2202 Asymptotic Equipartition Property15 min read
Nov 2204 Information Compression46 min read
Nov 2206 Differential Entropy16 min read
Nov 2207 Gaussian Channel12 min read
Nov 152022 萨特 - 恶心 - 摘录17 min read
Nov 152025 茨威格 - 人类群星闪耀时1 min read
Nov 152025 经济学的思维方式19 min read
Nov 152025 卡尼曼 - 思考，快与慢72 min read
Nov 152025 普鲁斯特 - 追忆似水年华2 min read
Nov 152025 萨特 - 存在主义是一种人道主义18 min read
Nov 8后缀自动机34 min read
Nov 8Concentration不等式16 min read
Nov 8Multi-Armed Bandit20 min read
Nov 8Streaming Model15 min read
Nov 7日语的语气2 min read
Nov 7KMP & AC自动机13 min read
Nov 501 范畴4 min read
Oct 2900 How does Japanese Work14 min read
Oct 282024 王浩 - 从数学到哲学20 min read
Oct 282025 Legal High4 min read
Oct 2201 Supervised Learning42 min read
Oct 22监督学习46 min read
Oct 2100 What is Machine Learning13 min read
Oct 2104 哥德尔完备性定理49 min read
Oct 2105 一阶逻辑的表达能力74 min read
Oct 2106 哥德尔不完全性定理107 min read
Oct 21神っぽいな8 min read
Oct 18letter song4 min read
Oct 1402 Syntactic Analysis14 min read
Oct 1403 Program Semantics23 min read
Oct 1404 Hoare Logic1 min read
Oct 142025 How to Do What You Love32 min read
Oct 14Sorting3 min read
Oct 52010 曹操 - 短歌行1 min read
Oct 52014 杨慎 - 临江仙1 min read
Oct 52017 刘禹锡 - 陋室铭1 min read
Oct 52017 鲁迅 - 故乡29 min read
Oct 52017 普希金 - 假如生活欺骗了你1 min read
Oct 52018 杜甫 - 茅屋为秋风所破歌2 min read
Oct 52018 范仲淹 - 岳阳楼记3 min read
Oct 52018 柳宗元 - 小石潭记2 min read
Oct 52018 欧阳修 - 醉翁亭记3 min read
Oct 52018 陶渊明 - 桃花源记3 min read
Oct 52019 白居易 - 琵琶行6 min read
Oct 52019 杜牧 - 阿房宫赋4 min read
Oct 52019 李白 - 梦游天姥吟留别2 min read
Oct 52019 林徽因 - 你是人间的四月天2 min read
Oct 52019 柳宗元 - 始得西山宴游记3 min read
Oct 52019 宋濂 - 送东阳马生序4 min read
Oct 52019 苏轼 - 赤壁赋4 min read
Oct 52019 张若虚 - 春江花月夜2 min read
Oct 52019 诸葛亮 - 出师表5 min read
Oct 52020 归有光 - 项脊轩志5 min read
Oct 52020 海因里希·伯尔 - 在桥边9 min read
Oct 52020 李白 - 蜀道难2 min read
Oct 52020 李密 - 陈情表4 min read
Oct 52020 李商隐 - 锦瑟1 min read
Oct 52020 刘禹锡 - 酬乐天扬州初逢席上见赠1 min read
Oct 52020 罗曼·罗兰 - 约翰·克里斯朵夫9 min read
Oct 52020 诗经·秦风 - 蒹葭1 min read
Oct 52020 诗经·卫风 - 氓2 min read
Oct 52020 司马迁 - 报任安书15 min read
Oct 52020 王勃 - 滕王阁序6 min read
Oct 52020 王羲之 - 兰亭集序3 min read
Oct 52020 文天祥 - 指南录后序7 min read
Oct 52020 庄子 - 逍遥游5 min read
Oct 52021 屈原 - 渔父2 min read
Oct 52021 诗经·周南 - 关雎1 min read
Oct 52021 苏轼 - 蝶恋花·春景1 min read
Oct 52022 荷尔德林 - 人，诗意的栖居1 min read
Oct 52022 诗经·小雅 - 采薇2 min read
Oct 52022 温庭筠 - 菩萨蛮1 min read
Oct 52023 木心 - 从前慢1 min read
Oct 52023 徐志摩 - 雪花的快乐2 min read
Oct 52024 李商隐 - 无题1 min read
Oct 52024 秦观 - 鹊桥仙1 min read
Oct 52024 苏轼 - 水调歌头1 min read
Oct 52025 曹植 - 洛神赋7 min read
Oct 52025 李白 - 将进酒2 min read
Oct 52025 李白 - 清平乐1 min read
Oct 52025 李白 - 侠客行1 min read
Oct 52025 李白 - 宣州谢朓楼饯别校书叔云1 min read
Oct 52025 刘邦 - 大风歌1 min read
Oct 52025 项羽 - 垓下歌1 min read
Oct 5勇者5 min read
Oct 4世界が終わるまでは3 min read
Oct 32017 杨绛 - 老王11 min read
Oct 32019 屈原 - 离骚17 min read
Oct 32021 黑塞 - 德米安22 min read
Oct 32022 存在主义咖啡馆——自由、存在和杏子鸡尾酒105 min read
Oct 32022 尼采 - 查拉图斯特拉如是说 - 摘录24 min read
Oct 32023 史铁生 - 我与地坛79 min read
Oct 32024 爱因斯坦 - 探索的动机21 min read
Oct 3笔记1 min read
Oct 3海阔天空5 min read
Oct 3傻女5 min read
Oct 1音读和训读1 min read
Sep 3001 概率振幅45 min read
Sep 292023 米兰·昆德拉 - 不能承受的生命之轻 - 摘录19 min read
Sep 22马勒-第二交响曲2 min read
Sep 22Context Engineering36 min read
Sep 21贝多芬-第九小提琴奏鸣曲4 min read
Sep 21勃拉姆斯-第一小提琴奏鸣曲3 min read
Sep 21柴可夫斯基-第六交响曲6 min read
Sep 21柴可夫斯基-第一交响曲3 min read
Sep 21李斯特-B小调钢琴奏鸣曲5 min read
Sep 21普罗科菲耶夫-第七钢琴奏鸣曲4 min read
Sep 21Interpretability9 min read
Sep 10调性和声原理3 - 和声进行15 min read
Sep 10和声的功能9 min read
Sep 6Get Over5 min read
Aug 3104 大数定律63 min read
Aug 2901 测度41 min read
Aug 2802 勒贝格积分40 min read
Aug 2803 连续随机变量19 min read
Aug 2804 大数定律27 min read
Aug 25韦达定理3 min read
Aug 2400 什么是代数11 min read
Aug 2401 群68 min read
Aug 2301 小球装箱问题与组合证明15 min read
Aug 21Best of All - Classic1 min read
Aug 1814 傅里叶级数48 min read
Aug 1701 Bellman Equation24 min read
Aug 1702 Monte-Carlo Learning18 min read
Aug 1703 Temporal-Difference Learning33 min read
Aug 172022 scratch4 min read
Aug 17君が好きだと叫びたい4 min read
Aug 17夜色3 min read
Aug 17銀の龍の背に乗って（TODO）3 min read
Aug 17英音与美音1 min read
Aug 17Lemon5 min read
Aug 17すずめ3 min read
Aug 1603 Entropy Rate14 min read
Aug 1505 莫比乌斯反演54 min read
Aug 1402 容斥原理19 min read
Aug 112025 陈嘉映 - 何为良好生活28 min read
Aug 112025 东京爱情故事2 min read
Aug 112025 菲兹杰拉德 - 了不起的盖茨比23 min read
Aug 112025 科普兰 - 怎样欣赏音乐12 min read
Aug 112025 维特根斯坦传47 min read
Aug 112025 语言·意义·世界11 min read
Aug 11萨义德 - 音乐的极境6 min read
Aug 11音乐评论摘记25 min read
Aug 902 一般的概率空间38 min read
Aug 601 离散概率36 min read
Aug 601 离散概率36 min read
Aug 6离散概率在组合中的使用42 min read
Aug 6一般的概率空间old16 min read
Aug 202 时间复杂性23 min read
Aug 203 认证加密23 min read
Aug 2文法汇总15 min read
Aug 2狭义相对论 The Special Theory of Relativity82 min read
Aug 1狭义相对论old49 min read
Jul 1401 命题逻辑34 min read
Jul 14前言17 min read
Jul 12二十世纪音乐29 min read
Jul 7调性和声原理4 - 其他3 min read
Jul 6调性和声原理1 - 音阶音程和弦26 min read
Jun 292022 非理性的人39 min read
Jun 292022 尼采 - 悲剧的诞生8 min read
Jun 292023 村上春树 - 挪威的森林 - 摘录6 min read
Jun 292023 弗洛伊德 - 精神分析引论22 min read
Jun 292023 侯世达 - GEB47 min read
Jun 292023 萨特 - 存在与虚无4 min read
Jun 29我从头开始思考11 min read
Jun 232025 心流：最优体验心理学60 min read
Jun 232025 How I Met Your Mother8 min read
Jun 23浪漫主义音乐2 min read
Jun 14集合的势7 min read
Jun 1003 紧性与连通性1 min read
Jun 1005 拓扑群5 min read
Jun 904 商拓扑16 min read
Jun 9拓扑不变量5 min read
Jun 802 连续性37 min read
Jun 4存在主义95 min read
May 3101 拓扑空间36 min read
May 3003 连续随机变量19 min read
May 30Concentration不等式16 min read
May 2502 一阶逻辑：语法与语义51 min read
May 1602 全同粒子25 min read
May 1603 自旋16 min read
May 42024+ 诺顿音乐断代史24 min read
May 42025 霍金 - 时间简史21 min read
May 4什么是幸福66 min read
May 2费曼积分法4 min read
Apr 252025 刘慈欣 - 球状闪电31 min read
Apr 212024 ACM 超越6 min read
Apr 192025 米兰·昆德拉 - 生活在别处17 min read
Apr 192025 夏目漱石 - 心 - 摘录19 min read
Apr 52025 From Zero To One2 min read
Mar 17Deterministic Finite Automaton9 min read
Mar 17Notes - Andrej Karpathy - Deep dive into LLMs like ChatGPT41 min read
Mar 1310 多元函数微分学79 min read
Mar 6一阶微分方程6 min read
Feb 2703 一阶逻辑：完备性69 min read
Feb 2704 一阶逻辑：表达能力6 min read
Feb 24随机向量7 min read
Feb 23Model Checking3 min read
Feb 19Schröder-Bernstein Theorem9 min read
Feb 17Transformer20 min read
Feb 14Currying1 min read
Feb 102025 徐志摩 - 再别康桥2 min read
Feb 3Church Numerals2 min read
Feb 22 线性空间28 min read
Feb 23 矩阵的秩24 min read
Jan 1303 Transport Layer21 min read
Jan 1305 Link Layer30 min read
Jan 1204 Network Layer27 min read
Jan 1001 私钥加密58 min read
Jan 1002 消息认证码28 min read
Jan 908 多方安全计算13 min read
Jan 801 Computer Networks Introduction11 min read
Jan 705 私钥密码学假设19 min read
Jan 504 哈希函数22 min read
Jan 407 数字签名8 min read
Jan 106 公钥加密32 min read

2024

Dec 31secretary分析35 min read
Dec 3001 图灵机模型27 min read
Dec 3004 问题的难度31 min read
Dec 3005 多项式谱系17 min read
Dec 2907 概率图灵机25 min read
Dec 2908 计数复杂性17 min read
Dec 28无理数的无理数次方可能是有理数2 min read
Dec 2706 电路复杂性30 min read
Dec 20notes10 min read
Dec 1703 空间复杂性8 min read
Dec 1703 Cache问题14 min read
Dec 1704 k-server问题23 min read
Dec 17在线二分图匹配14 min read
Dec 1406 Martingale39 min read
Dec 504 拉格朗日对偶 Lagrange Duality11 min read
Nov 9三次方程的求解4 min read
Nov 5斐波那契前后两项的比3 min read
Oct 26证明正多面体只有五个3 min read
Oct 23条件期望2 min read
Oct 2204 正交性26 min read
Oct 2207 离散概率 original54 min read
Oct 2209 奇异值分解(SVD)30 min read
Oct 2008 环48 min read
Oct 1702 线搜索问题6 min read
Oct 1300 牛顿力学 Newtonian Mechanics1 min read
Oct 1303 支持向量机20 min read
Oct 1305 非监督学习13 min read
Oct 1306 有限群的结构27 min read
Oct 1312 曲线积分与曲面积分40 min read
Oct 132024 The PhD Grind5 min read
Oct 13钢琴演奏技术4 min read
Oct 13近似算法18 min read
Oct 13平衡树31 min read
Oct 13Smoothed Analysis on Simplex37 min read
Oct 1201 滑雪板租赁问题16 min read
Sep 1604 微分中值定理23 min read
Aug 30一阶逻辑的语法与语义25 min read
Aug 27英语词根1 min read
Aug 1005 波 Waves9 min read
Jul 192024 黑塞 - 精神与爱欲 - 摘录55 min read
Jun 1209 整环44 min read
Jun 1210 域51 min read
Jun 1105 群在集合上的作用26 min read
Jun 1107 群的直积36 min read
Jun 1003 陪集与正规子群20 min read
Jun 1004 群的同态与同构26 min read
Jun 901 Concurrency11 min read
Jun 402 Virtualization30 min read
May 20神经网络26 min read
May 1802 正则化5 min read
May 17Zorn's Lemma11 min read
May 132024 黑塞 - 盖特露德 - 摘录24 min read
Apr 11哥德尔不完全性定理36 min read
Feb 8日语的敬语1 min read
Feb 4语法整理-初级5 min read
Feb 215 Fourier变换12 min read
Jan 2905 中心极限定理17 min read
Jan 801 凸优化 Convex Optimization16 min read
Jan 701 Lexical Analysis20 min read
Jan 4随机变量old34 min read
Jan 305 镜像下降法 Mirror Descent11 min read
Jan 103 有约束凸优化问题 Constrained Convex Optimization29 min read

2023

Dec 3102 无约束凸优化问题 Unconstrained Convex Optimization28 min read
Dec 26哥德尔完备性定理23 min read
Nov 1310 静磁学 Magnetostatics19 min read
Nov 1311 麦克斯韦方程组 The Maxwell Equations9 min read
Oct 30日语的变形规则4 min read
Oct 22tutu（TODO）5 min read
Oct 1009 静电学 Electrostatic40 min read
Sep 27数据类型5 min read
Aug 1908 电磁辐射 Radiation22 min read
Aug 1007 几何光学 Geometrical Optics25 min read
Aug 704 热力学 Thermodynamics41 min read
Aug 7LOSER（TODO）7 min read
Jul 24彼女は旅に出る（TODO）1 min read
Jul 9HTML语言4 min read
Jul 5日语的细节1 min read
Jun 302022 爱的艺术11 min read
Jun 1605 Greedy26 min read
Jun 1607 Linear Programming57 min read
Jun 1500 Time Complexity7 min read
Jun 1501 Algorithms with Numbers28 min read
Jun 1502 Divide-and-Conquer17 min read
Jun 1503 Graphs - Connectivity23 min read
Jun 1504 Graphs - Shortest Paths28 min read
Jun 15NP完全问题28 min read
Jun 1402 振动 Vibration dynamics38 min read
Jun 1403 统计力学 Statistical Mechanics76 min read
Jun 11场论的基本内容与应用37 min read
Jun 8Spectral Graph Theory58 min read
Jun 509 多元函数的极限与连续44 min read
Jun 511 重积分42 min read
Jun 513 函数项级数39 min read
May 27Entropy Method31 min read
May 26Probability Method27 min read
May 2208 数项级数48 min read
May 22Lovász Local Lemma30 min read
May 17Second-moment Method19 min read
Apr 2306 Dynamic Programming1 min read
Apr 1704 偏序集33 min read
Apr 1201 转动动力学 Rotational Dynamics50 min read
Apr 803 生成函数26 min read
Apr 2类 Class11 min read
Apr 2运算符重载 Operator Overloading7 min read
Mar 805 行列式22 min read
Jan 272022 李泽厚 - 美学19 min read
Jan 906 特征值与特征向量47 min read
Jan 907 线性映射21 min read
Jan 4模板 Template2 min read

2022

Dec 3105 不定积分26 min read
Dec 3106 定积分35 min read
Dec 3107 反常积分25 min read
Dec 2008 对偶空间18 min read
Dec 20指针 Pointers11 min read
Nov 272022 如何让你爱的人爱上你22 min read
Nov 122022 卡尔维诺 - 为什么读经典11 min read
Sep 7立体几何（高考版）7 min read
Aug 11快速傅里叶变换 - OI version22 min read
Aug 7多项式求逆 - OI version8 min read