Videos

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

16 links. 16 unread, 0 read, 0 recommended.

AI / ML 1 links

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

内容贴近当代 AI kernel 工程实践，适合在 CUDA 基础之后选择 Triton、GEMM 和 FlashAttention 相关课程动手练习。

Compilers / PL 1 links

JSON Parser 100% From Scratch in Haskell (only 111 lines) - YouTube ↗ 待读 youtube.com
一个从零用 Haskell 写 JSON parser 的视频，主题是用少量代码展示 parser combinator 风格如何解析 JSON 的字符串、数字、数组、对象和递归结构。

适合配合文字版 Haskell JSON parser 阅读，用视频方式建立 parser combinator 的直觉。

Databases 3 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 分布式系统课程配套看，用视频讲解辅助理解共识算法的安全性和活性约束。

Math 8 links

A Simpler Way to See Results - YouTube ↗ 待读 youtube.com
一个数学解释视频，主题是用更简单/更直观的方式看出某类结果，适合学习如何重构证明或寻找几何直觉。

适合把它当作“证明可视化/重解释”的案例，记录原证明和简化视角之间的转换。
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 从有限维例子扩展到无限维结构，理解向量场、导子和代数表示之间的联系。
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` 的数系及其与微分、切向量、自动微分和几何直觉的关系。

适合理解“无穷小”如何以代数方式出现，也可作为自动微分和微分几何的直觉入口。
We ran a contest for math explainers, here are the results (SoME2) - YouTube ↗ 待读 youtube.com
3Blue1Brown/SoME 数学解释比赛结果视频，展示一批优秀数学解释作品和可视化讲解案例。

适合学习“如何把数学讲清楚”，也能从获奖作品里发现新的数学可视化创作者和主题。
What is a tensor anyway?? (from a mathematician) - YouTube ↗ 待读 youtube.com
从数学视角解释 tensor 的视频，重点不是把 tensor 当多维数组，而是理解其多线性映射、坐标变换和几何/代数含义。

适合在张量分析或微分几何前补直觉，帮助区分“表示成数组”和“对象本身”的差别。

Rust 1 links

The What and How of Futures and async/await in Rust - YouTube ↗ 待读 youtube.com
讲解 Rust Future 和 async/await 的视频，主题围绕状态机、poll、Pin、Waker 和 executor。

适合配合文字教程建立动态直觉，理解 async 函数最终生成的状态机。

Systems 2 links

How Hardware Makes Threads Less of a Nightmare - YouTube ↗ 待读 youtube.com
一个解释硬件如何支撑线程/并发的公开视频，主题通常涉及 CPU、cache、memory ordering、atomic、locks 和线程调度相关机制。

适合把线程抽象往硬件层下钻，理解为什么数据竞争、伪共享和内存模型会影响正确性与性能。
The Cost of Concurrency Coordination with Jon Gjengset - YouTube ↗ 待读 youtube.com
Jon Gjengset 关于并发协调成本的演讲/视频，主题围绕锁、原子操作、同步、缓存一致性和并发设计中的性能权衡。

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

Comments

Loading comments...