学习原理 · 手推机制 · 实践验证

通过理解原理来学习系统

从语言模型、并行计算到操作系统与计算机体系结构。我们把一手课程资料整理成结构清楚、可验证、能真正动手的中文学习路径。

开启一段学习

还没有本机学习记录。从一门感兴趣的课程开始。

查看课程

三种学习方式

学习 · 理解机制

通过讲义建立概念,沿着完整例子理解每一步为什么成立。

查看讲义

思考 · 自己推一遍

先预测,再推状态;借助渐进提示、解析与变式检验理解。

查看讨论

实践 · 在代码里验证

将机制落到实现,复盘一个判断条件保护的协议不变量。

查看项目

按兴趣探索

全部课程

课程库会持续增长。可以按主题筛选,也可以直接搜索课程编号、学校或概念。

显示 13 / 13 门课程

EECS498Course 01

深度学习与表示学习

从我当年写过的代码,重新理解深度学习Deep Learning Revisited

沿真实作业实现重建从梯度、CNN、RNN 到 Attention、Transformer 与生成模型的完整脉络。

14 讲义6 复盘实验University of MichiganCode archive · 2022–2023
Code-backedCNNRNNTransformer
CS336Course 02

机器学习系统

从零构建语言模型Language Modeling from Scratch

从 tokenizer 和 Transformer 到训练系统、scaling laws、数据与对齐,完整理解语言模型如何被构建。

19 讲义5 作业Stanford UniversitySpring 2026
TransformerPyTorchScalingAlignment
CS267Course 03

并行与高性能计算

并行计算机应用Applications of Parallel Computers

理解现代并行机器、通信成本、数值算法与性能模型,并把方法落到 CPU、GPU 和分布式系统。

27 讲义7 作业 + 项目UC BerkeleySpring 2025
OpenMPMPICUDAHPC
MIT 6.1810Course 04

操作系统

操作系统工程Operating Systems Engineering

以 xv6 为主线,贯穿系统调用、页表、并发、文件系统与网络,在代码中理解内核设计。

23 讲义9 实验MITFall 2026
xv6RISC-VConcurrencyFile Systems
CS152Course 05

计算机体系结构

计算机体系结构与工程Computer Architecture and Engineering

从 ISA、微编码与流水线走向缓存、虚拟内存、乱序执行、向量与多核系统。

26 讲义11 体系结构工作簿UC BerkeleySpring 2023
RISC-VPipelinesCachesMulticore
MIT 18.01Course 06

数学 — 单变量微积分

单变量微积分Single Variable Calculus

MIT 18.01 是单变量微积分的入门课,由 David Jerison 教授讲授。课程覆盖极限、导数、导数的应用、定积分、积分技巧与无穷级数,强调几何直观、物理意义与严格的计算训练。

38 讲义13 问题集 + 考试MITFall 2006
微积分极限导数积分无穷级数
18.06Course 07

数学 / 线性代数

线性代数Linear Algebra

Gilbert Strang 教授的经典线性代数课,从方程组的图像和消元法出发,走过矩阵运算、向量空间、四个基本子空间、正交性、特征值,直到奇异值分解与线性变换,强调对核心概念与子空间的直观理解。

34 讲义4 考试MITSpring 2010
线性代数矩阵向量空间特征值SVD
MIT 18.02Course 08

多元微积分与向量分析

多元微积分Multivariable Calculus

MIT 18.02 多元微积分完整中文学习指南:从向量、点积、叉积与矩阵,经偏导数、重积分,走向线积分、Green/Stokes/散度定理,兼顾几何直观、计算训练与物理解释。

36 讲义18 问题集与测验MITFall 2007
点积叉积偏导数重积分线积分Green/Stokes/散度定理
CS70Course 09

离散数学与概率论

离散数学与概率论Discrete Mathematics and Probability Theory

用证明、图论、模运算、可计算性、组合计数与概率论建立计算机科学的数学基础;收录 Spring 2023 本地 Discussion、Homework 及官方解答。

14 讲义41 证明与概率工作簿University of California, BerkeleySpring 2023
ProofsGraph TheoryRSACombinatoricsProbability
CS170Course 10

算法设计与复杂性

高效算法与难解问题Efficient Algorithms and Intractable Problems

以本地 Fall 2023 资料为权威来源,系统学习分治、图算法、贪心、动态规划、线性规划、网络流与 NP 完全性;收录 13 份 Discussion、14 份 Homework 及本地官方解答。

10 讲义27 算法工作簿University of California, BerkeleyFall 2023
AlgorithmsGraph AlgorithmsDynamic ProgrammingLinear ProgrammingNP-Completeness
MIT 6.5840Course 11

分布式系统

分布式系统工程Distributed Systems Engineering

沿着 2026 年 MIT 6.5840 官方课表,从 MapReduce、RPC、GFS、Paxos 与 Raft 出发,系统掌握一致性、事务、分片、验证、缓存、无服务器计算与拜占庭容错,并配套五个可离线阅读的实验指南。

21 讲义5 实验Massachusetts Institute of TechnologySpring 2026
Distributed SystemsRaftReplicationConsistencyTransactionsGo
MIT 6.102Course 12

软件工程

软件构建Software Construction

MIT 6.102 围绕安全免于缺陷、易于理解、随时可变三大目标,系统学习静态检查、规格说明、抽象数据类型、函数式编程、并发与网络。包含 19 讲独立中文精读、5 个 TypeScript 干净室自学支架,以及 MIT 官方站点的中英双语离线镜像。

19 讲义5 问题集Massachusetts Institute of TechnologySpring 2026
软件工程TypeScript规格说明抽象数据类型并发
CS 168Course 13

计算机网络与互联网系统

互联网导论:从数据包到全球网络Introduction to the Internet

这不是协议词典:沿一个 packet 从应用出发、经局部状态与查表决策抵达远端,并推导没有中央控制的 Internet 如何在丢包、断链与乱序中维持互联。

26 讲义17 讨论 + 项目University of California, BerkeleyFall 2026
NetworkingRoutingTCPDatacenterCode-backed