Videos

Video links from my study notes, grouped by reading state.

65 links. 65 unread, 0 read, 0 recommended.

AI / ML 3 links

GPU MODE Lectures ↗ 待读 github.com
持续更新的讲座与配套代码，覆盖 CUDA kernel 优化、Triton、PyTorch 编译栈、GEMM、FlashAttention、量化、profiling 和分布式 GPU 等主题。

内容贴近当代 AI kernel 工程实践，适合在 CUDA 基础之后选择 Triton、GEMM 和 FlashAttention 相关课程动手练习。
I Made A Neural Network In Rust... (From Scratch) ↗ 待读 youtube.com
来自 Codeically，收藏来源：稍后观看 / Rust。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The Engineering Behind LLM Inference From First Principles ↗ 待读 youtube.com
从第一性原理讲解 LLM 推理工程的系列课程，覆盖请求执行、KV cache、批处理、调度与服务系统。

内容与知识库的推理基础设施路线高度匹配，可作为阶段性视频主线。

Algorithms 1 links

The Most Underrated Algorithm ↗ 待读 youtube.com
来自 Veritasium，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。

Compilers / PL 7 links

Handling Infinite Variables in a Compiler ↗ 待读 youtube.com
来自 Premature Abstraction，收藏来源：CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
I Interviewed The Creator Of LLVM, Clang, Swift, and Mojo ↗ 待读 youtube.com
来自 The PrimeTime，收藏来源：Rust。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
JSON Parser 100% From Scratch in Haskell (only 111 lines) - YouTube ↗ 待读 youtube.com
一个从零用 Haskell 写 JSON parser 的视频，主题是用少量代码展示 parser combinator 风格如何解析 JSON 的字符串、数字、数组、对象和递归结构。

适合配合文字版 Haskell JSON parser 阅读，用视频方式建立 parser combinator 的直觉。
Learn Assembly for Beginners | x86-64 Tutorials ↗ 待读 youtube.com
Mxy 制作的 x86-64 汇编入门系列，逐步介绍寄存器、内存、控制流、函数与系统调用。

以短视频和实际编码降低汇编入门门槛，适合作为系统课程的配套练习。
Programming with Math | The Lambda Calculus ↗ 待读 youtube.com
来自 Eyesomorphic，收藏来源：CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
What is PLUS times PLUS? ↗ 待读 youtube.com
来自 2swap，收藏来源：CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Writing malloc() from Scratch in x86 Assembly ↗ 待读 youtube.com
用 x86 汇编从零实现简化版 malloc，展示堆增长、块元数据、查找和返回指针的基本机制。

把分配器概念落实到寄存器与内存布局，适合衔接 glibc malloc 的进一步阅读。

Databases 4 links

Distributed Systems lecture notes ↗ 待读 cl.cam.ac.uk
Cambridge 分布式系统课程讲义 PDF，作为课程笔记材料使用，主题应覆盖并发/分布式系统中的通信、故障、一致性与协议设计。

适合当作系统化理论补充材料，和 Kleppmann 视频、MIT 6.824/Fly.io Maelstrom 式练习互补。
Martin Kleppmann Distributed Systems playlist ↗ 待读 youtube.com
Martin Kleppmann 的分布式系统课程视频列表，围绕分布式系统原理、复制、一致性、事务、共识和数据系统设计展开。

适合和《数据密集型应用系统设计》配套看，用课程讲解补书中概念的推导和案例。
Paxos / 分布式一致性学习视频 ↗ 待读 youtube.com
用户添加的 YouTube 学习视频，当前本地环境无法读取视频元数据；先放在分布式系统 / Paxos 学习上下文中，后续打开视频后可补充讲者、标题和对应章节。

适合和 matklad 的 Paxos 笔记、Lamport 的 Paxos/TLA+ 讲座、Kleppmann 分布式系统课程配套看，用视频讲解辅助理解共识算法的安全性和活性约束。
SQLite: How It Works, by Richard Hipp ↗ 待读 youtube.com
SQLite 作者 Richard Hipp 讲解 SQLite 的架构、设计约束和内部工作方式。

来自项目作者的一手说明，可与源码和 SQLite Internals 交叉学习。

Engineering 4 links

Factorio teaches you software engineering, seriously. ↗ 待读 youtube.com
来自 Tony Zhu，收藏来源：CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Giving Personality to Procedural Animations using Math ↗ 待读 youtube.com
来自 t3ssel8r，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
How to write the perfect function ↗ 待读 youtube.com
来自 Logan Smith，收藏来源：自建稍后观看 / CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
No Graphics API | Aaltonen ↗ 待读 youtube.com
来自 Wookash Podcast，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。

Math 32 links

A Sensible Introduction to Category Theory ↗ 待读 youtube.com
来自 Oliver Lugg，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
A Simpler Way to See Results - YouTube ↗ 待读 youtube.com
一个数学解释视频，主题是用更简单/更直观的方式看出某类结果，适合学习如何重构证明或寻找几何直觉。

适合把它当作“证明可视化/重解释”的案例，记录原证明和简化视角之间的转换。
Bell's Theorem, a Glitch in Reality ↗ 待读 youtube.com
来自 Richard Behiel，收藏来源：Physics。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Complex Numbers Have More Uses Than You Think ↗ 待读 youtube.com
来自 Morphocular，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Do we know how magnets work yet? ↗ 待读 youtube.com
来自 Veritasium，收藏来源：Physics。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Euler's Formula Beyond Complex Numbers ↗ 待读 youtube.com
来自 Morphocular，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
From Heat to Hilbert Space: The Complete Story of Fourier ↗ 待读 youtube.com
来自 Animated Math，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Functional Analysis 6 | Norms and Banach Spaces ↗ 待读 youtube.com
收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
I Wish I Was Taught RELATIVITY This Way! ↗ 待读 youtube.com
来自 More in Depth，收藏来源：Physics。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
I finally understood why the universe needs imaginary numbers ↗ 待读 youtube.com
来自 FloatHeadPhysics，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Matrix exponentials, determinants, and Lie algebras. - YouTube ↗ 待读 youtube.com
围绕 matrix exponential、determinant 和 Lie algebra 的视频，主题通常连接矩阵指数、连续变换、迹/行列式关系和李代数到李群的桥梁。

适合把线性代数、微分方程和 Lie theory 串起来，尤其适合理解 `exp(A)` 为什么自然出现。
One of the most beautiful and powerful tools in mathematics! - YouTube ↗ 待读 youtube.com
一个数学工具解释视频，标题指向某个优美且强大的数学方法，适合当作主题导览型视频来发现新工具。

阅读/观看时建议记录它解决了什么问题、依赖哪些前置概念、和已有知识图谱中哪一块相连。
One of the most important algebras -- The Witt Algebra - YouTube ↗ 待读 youtube.com
介绍 Witt algebra 的数学视频，主题围绕一个在李代数、复分析、共形场论/表示论中重要的无限维 Lie algebra。

适合把 Lie algebra 从有限维例子扩展到无限维结构，理解向量场、导子和代数表示之间的联系。
Optimization: A Bootcamp for Machine Learning, Inverse Problems, and Control (Video Course) ↗ 待读 youtube.com
Steve Brunton 的优化课程视频，面向机器学习、逆问题和控制介绍优化建模与常用方法。

可与同名教材配套使用，通过讲解和例题形成从理论到应用的学习闭环。
Particle Physics in 17 Hours ↗ 待读 youtube.com
来自 Kamil Laurent，收藏来源：Physics。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Proof of Fermat Last Theorem FROM SCRATCH ↗ 待读 youtube.com
来自 쉽게 풀어보는 수학이론，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Queuing theory and Poisson process ↗ 待读 youtube.com
来自 Mathemaniac，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Ramanujan's favorite coincidence (it's not a coincidence) ↗ 待读 youtube.com
来自 Michael Penn，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The Concept So Much of Modern Math is Built On | Compactness ↗ 待读 youtube.com
来自 Morphocular，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The Greatest Unsolved Problem In Mathematics ↗ 待读 youtube.com
来自 Physics Explained，收藏来源：自建稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The Integral That Changed Math Forever ↗ 待读 youtube.com
来自 Abide By Reason，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The Mathematician's Weapon | An Intro to Category Theory, Abstraction and Algebra ↗ 待读 youtube.com
来自 Eyesomorphic，收藏来源：稍后观看 / 数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The most beautiful formula not enough people understand - YouTube ↗ 待读 youtube.com
一个围绕“被低估的美丽公式”的数学解释视频，适合从公式背后的结构、几何意义和应用场景理解数学美感。

适合训练从公式到概念网络的阅读方式，不只记住等式，还要看它统一了哪些对象。
The strange cousin of the complex numbers -- the dual numbers. - YouTube ↗ 待读 youtube.com
介绍 dual numbers 的视频，讨论形如 `a + bε` 且 `ε^2 = 0` 的数系及其与微分、切向量、自动微分和几何直觉的关系。

适合理解“无穷小”如何以代数方式出现，也可作为自动微分和微分几何的直觉入口。
This open problem taught me what topology is ↗ 待读 youtube.com
来自 3Blue1Brown，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Universal Construction | Category Theory and Why We Care 1.2 ↗ 待读 youtube.com
收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
We ran a contest for math explainers, here are the results (SoME2) - YouTube ↗ 待读 youtube.com
3Blue1Brown/SoME 数学解释比赛结果视频，展示一批优秀数学解释作品和可视化讲解案例。

适合学习“如何把数学讲清楚”，也能从获奖作品里发现新的数学可视化创作者和主题。
What Lies Between a Function and Its Derivative? ↗ 待读 youtube.com
来自 BriTheMathGuy，收藏来源：自建稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
What is a Hilbert Space? ↗ 待读 youtube.com
来自 Abide By Reason，收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
What is a tensor anyway?? (from a mathematician) - YouTube ↗ 待读 youtube.com
从数学视角解释 tensor 的视频，重点不是把 tensor 当多维数组，而是理解其多线性映射、坐标变换和几何/代数含义。

适合在张量分析或微分几何前补直觉，帮助区分“表示成数组”和“对象本身”的差别。
Why Nature Requires Complex Numbers ↗ 待读 youtube.com
来自 STEM in Motion by Gaurav，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Why study Lie theory? | Lie groups, algebras, brackets #1 ↗ 待读 youtube.com
收藏来源：数学。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。

Rust 6 links

Rust OS ↗ 待读 youtube.com
来自 Uncle Scientist，收藏来源：YouTube 课程。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Rust Programming Tutorial ↗ 待读 youtube.com
来自 Trevor Sullivan，收藏来源：YouTube 课程。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
The What and How of Futures and async/await in Rust - YouTube ↗ 待读 youtube.com
讲解 Rust Future 和 async/await 的视频，主题围绕状态机、poll、Pin、Waker 和 executor。

适合配合文字教程建立动态直觉，理解 async 函数最终生成的状态机。
Writing an OS in Rust - Part 12b - Async/Await ↗ 待读 youtube.com
收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Zig and Rust in Production (ft. Matklad) ↗ 待读 youtube.com
来自 The PrimeTime，收藏来源：Rust。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
but what is 'a lifetime? ↗ 待读 youtube.com
来自 leddoo，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。

Systems 8 links

Chip design from the bottom up - Reiner Pope ↗ 待读 youtube.com
来自 Dwarkesh Patel，收藏来源：稍后观看。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
How Does Linux Work? | Greg Kroah-Hartman ↗ 待读 youtube.com
Linux 内核维护者 Greg Kroah-Hartman 讨论 Linux 内核的工作方式、开发流程与硬件支持。

来自长期内核维护者的一手视角，适合在阅读内核文档前建立全局认识。
How Hardware Makes Threads Less of a Nightmare - YouTube ↗ 待读 youtube.com
一个解释硬件如何支撑线程/并发的公开视频，主题通常涉及 CPU、cache、memory ordering、atomic、locks 和线程调度相关机制。

适合把线程抽象往硬件层下钻，理解为什么数据竞争、伪共享和内存模型会影响正确性与性能。
Introduction to x86 assembly ↗ 待读 youtube.com
来自 flat assembler，收藏来源：YouTube 课程。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。
Learning the Linux Kernel with Tracing ↗ 待读 youtube.com
Steven Rostedt 讲解如何借助 tracing 观察 Linux 内核执行路径并学习内核机制。

把抽象源码阅读转化为可观测实验，突出 ftrace 在理解调度与事件流中的作用。
Row-major Order vs Column-major Order ↗ 待读 youtube.com
直观解释二维数组的行主序与列主序布局，以及索引如何映射到连续内存。

适合在学习矩阵乘法、缓存局部性和 GPU 数据布局前快速建立概念。
Swap and Memory Reclaim: Squeezing Out More RAM ↗ 待读 kernel-recipes.org
Kairui Song 在 Kernel Recipes 2026 的演讲，系统介绍 Linux 的 swap 与内存回收：从 folio 的 swap-out/swap-in、swap cache 和 memcg 等基础机制，讲到 cluster allocator、统一元数据的 swap table，以及匿名页和文件页在内存压力下的回收路径。

把现代 swap 子系统的简化与性能改进，同传统双链表 LRU、Multi-Gen LRU（MGLRU）及冷热页判断联系起来；有助于理解 Linux 如何在有限 RAM 下平衡缓存、回收、压缩、I/O 和尾延迟。
The Cost of Concurrency Coordination with Jon Gjengset - YouTube ↗ 待读 youtube.com
Jon Gjengset 关于并发协调成本的演讲/视频，主题围绕锁、原子操作、同步、缓存一致性和并发设计中的性能权衡。

适合理解“并发不是免费午餐”，重点看协调、共享状态和硬件缓存一致性如何吞掉性能。

Comments

Loading comments...