Blogroll
Blogs, articles, newsletters, and long-running writing sources from my study notes.
AI / ML 49 links
-
A Visual Guide to Quantization
↗
待读
newsletter.maartengrootendorst.com
从二进制与浮点数表示、模型显存约束和 FP32/FP16/BF16/INT8 开始,通过图示解释对称与非对称量化、scale 与 zero point、范围映射、clipping 和 calibration,再延伸到动态/静态量化、4-bit、GPTQ、GGUF、BitNet,以及权重和激活量化。
重点不是罗列量化格式,而是直观展示连续浮点值如何映射到有限整数区间,以及精度、范围、内存和计算速度之间的权衡;适合在阅读 vLLM、GGUF 或量化 kernel 实现前打基础。
-
B200 Attention Kernel from Scratch to Near-SOTA in 60 Diagrams
↗
待读
iaroslavelistratov.github.io
以 NVIDIA Blackwell B200 为目标,从一个可正确运行的 dense BF16 attention 基线开始,逐步构建 14 个 CUDA/PTX kernel,并在每一章只引入一类主要优化。内容覆盖 QK/online softmax/PV 数据流、TMA、TMEM、tcgen05 MMA、shared-memory layout 与 swizzling、warp specialization、加载和计算流水线、近似计算、寄存器缓存以及 persistent kernel。
用 60 幅图把 B200 attention 的逻辑 tile、物理内存布局、CTA 分工和流水线重叠关系可视化;最终实现针对 4K、8K、16K 形状达到同次测试 FlashAttention-4 约 94.4% 的性能,并提供完整源码、benchmark 和接入视频生成模型的实践项目。适合已有基础 CUDA 与 attention/online softmax 概念后,用来学习 Blackwell 内核性能工程。
-
BasicCUDA
↗
待读
Recommended
github.com
CalvinXKY 的 CUDA 与 PyTorch 教程仓库,使用 CUDA C++、Triton 和 Notebook 讲解 GPU 执行模型、矩阵乘、归约、Softmax、NCCL、非确定性归约以及 PyTorch 显存管理等主题,并配有可运行代码。
与 InfraTech 的推理框架内容互补,适合把面试中的 row max、GEMM、Softmax、NCCL 拓扑和浮点确定性问题落成练习。建议先做线程映射与 reduction,再做 GEMM、融合 Softmax,最后阅读 NCCL 和非确定性案例。
-
CUDA C++ Best Practices Guide
↗
待读
docs.nvidia.com
围绕 profiling 驱动的优化流程,讲解合并访存、shared-memory bank conflict、occupancy、register pressure、数据传输以及计算与通信重叠等实践。
适合与 CUDA Programming Guide 交叉阅读,把“机制是什么”转化为“如何定位瓶颈并验证优化收益”。
-
CUDA Programming Guide
↗
待读
docs.nvidia.com
系统介绍 thread、warp、block、grid、SM 调度、global/shared/register memory、同步、stream、异步执行、CUDA Graph 和多 GPU 编程等核心机制。
官方文档持续更新,适合先顺序阅读 Part 1-3 建立完整模型,后续在写 kernel 或读框架源码时作为参考手册查询。
-
Compute Sanitizer
↗
待读
Recommended
docs.nvidia.com
CUDA Toolkit 自带的 GPU 正确性检查套件。官方工具包含 memcheck、racecheck、initcheck 和 synccheck,分别定位越界或非对齐访问、共享内存竞争、未初始化的全局内存访问及错误的同步原语使用。
把 CUDA 优化中的“结果偶尔不对”变成可定位证据。每个自写 kernel 应先通过边界尺寸和全负数等测试,再依次运行 memcheck 与同步/竞争检查;正确性通过之后才比较性能。
-
CuTe Arithmetic Tuple Tensor
↗
待读
leimao.github.io
区分以数据指针为 engine 的 CuTe Data Tensor 和以 `ArithmeticTuple` 为 iterator 的坐标 tensor,解释 `make_identity_tensor` 如何在不存储坐标数组的情况下按需生成原 tensor 坐标,并展示 identity tensor 经过 `local_tile`、MMA partition 后如何用于边界检查和线程级坐标映射。
文章进一步把 arithmetic-tuple stride 解释为无限维向量空间中的 basis,并说明 composition、logical division 和 logical product 等 CuTe layout algebra 为什么仍然成立。适合学过 CuTe shape/stride/layout 和 tiled MMA 后,继续理解 CUTLASS/CuTe 中的坐标推导与 TMA tensor。
-
Data Layout and Its Notation
↗
待读
mlc.ai
从 shape-stride model 和 tile layout 建立“逻辑索引到物理位置”的统一 layout function,随后用 named axes 表达 Blackwell 二维 TMEM 地址空间和 Tensor Core register fragment,再用 replication 与 offset 描述 TMEM scale-factor 广播、多 GPU mesh 中的数据副本,最后介绍 shared-memory XOR swizzle。
把 coalescing、shared-memory bank conflict、Tensor Core 所需字节排列、TMEM lane/column 和寄存器分片放进同一套记号中,并提供可交互的地址计算图。适合在 tiled matmul 之后、CuTe layout algebra 和 Blackwell TMA/TMEM kernel 之前精读。
-
Deep Dive on the Hopper TMA Unit for FP8 GEMMs
↗
待读
pytorch.org
解释 Hopper Tensor Memory Accelerator 如何异步、双向搬运 1D-5D tensor,并通过 tensor map、TMA descriptor、arrival barrier、multicast 和 warp-group producer/consumer 流水线降低地址计算与寄存器压力;文章随后在 Triton 中实现 FP8 GEMM,并用 PTX 与 Nsight Compute 分析 TMA 和非 TMA kernel。
不仅展示 TMA 如何提升 kernel 内的 global-memory throughput,还比较 Triton 与 CUTLASS 在 warp specialization、descriptor prefetch 和 descriptor 传递方式上的差异,指出 kernel throughput 与端到端延迟可能得出相反结论。适合掌握 Triton matmul、异步流水线和基础 profiling 后精读。
-
Deep-ML Machine Learning Practice Problems
↗
待读
deep-ml.com
提供 100 多道机器学习编码题,可按 beginner、intermediate、advanced 难度和线性代数、机器学习、深度学习、NLP、计算机视觉等领域筛选;可以直接在浏览器中编写 Python,并通过测试用例获得即时反馈。
适合把公式和模型概念转化成可运行实现。建议先完成线性代数与基础 ML 题,再进入深度学习专题,并为错题保留复杂度分析、数值稳定性和向量化实现笔记。
-
Differentiable Programming from Scratch – Max Slater – Computer Graphics, Programming, and Math
↗
待读
thenumb.at
从微积分、优化和“对代码求导”讲起,比较数值微分、符号微分和自动微分,并用 forward mode、backward mode、dual numbers 等内容解释 differentiable programming。
把机器学习、图形学、可微渲染和物理仿真中的自动微分共同基础讲清楚,适合补 autodiff 的直觉。
-
FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioning
↗
待读
Recommended
arxiv.org
FlashAttention-2 在 FlashAttention 的 IO-aware 分块基础上,减少非矩阵乘浮点操作,调整 warp 间工作划分,并在序列长度维度提升并行度,以提高 GPU 占用和 Tensor Core 利用效率。
适合用来回答“算法已经减少 HBM 访问后,为什么还需要继续优化”。重点比较 FA1/FA2 的并行划分、warp 通信与不同 batch/head/sequence shape 下的有效并行度,再与 Triton Fused Attention 实现对应阅读。
-
FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness
↗
待读
Recommended
arxiv.org
FlashAttention 原始论文,从 GPU 内存层级和 IO 复杂度出发,通过分块计算与 online softmax 避免把完整注意力矩阵写回高带宽显存,在保持精确注意力语义的同时减少 HBM 访问。
核心不只是“融合算子”,而是以 SRAM 容量约束重新安排 Q、K、V 和 Softmax 的数据流。阅读时应手推分块 online softmax 的最大值、归一化分母与输出更新,并能解释数学等价不代表浮点逐位一致。
-
GPU MODE Resource Stream
↗
待读
github.com
GPU MODE 社区维护的资源流,汇总 CUDA、Triton、GPU 架构、编译器、性能优化、论文、工具和优秀工程项目。
适合作为长期参考索引而非从头读完;可在遇到具体 kernel、架构或 profiling 问题时按主题寻找进阶材料。
-
GPU Performance Background User's Guide
↗
待读
docs.nvidia.com
从 GPU、SM、CUDA Core、Tensor Core 和线程块执行模型讲起,用 FLOPS、显存带宽、算术强度与并行度分析 kernel 和深度学习算子为何受计算、内存或延迟限制。
篇幅短,能快速建立单卡 GPU 性能分析框架;适合作为本清单的第一项,再衔接 CUDA 和多卡 scaling 资料。
-
Get Started With Deep Learning Performance
↗
待读
docs.nvidia.com
解释矩阵乘为何是深度学习性能的核心,并给出 Tensor Core 对齐、batch size、矩阵维度和算子参数选择的实用建议,帮助判断 math-bound 与 memory-bound 工作负载。
适合紧接 GPU Performance Background 阅读,把 Roofline 和算术强度进一步落实到 GEMM、卷积及训练参数选择上。
-
Hands-On Modern RL
↗
待读
github.com
开源 hands-on RL 课程,目标是从基础强化学习概念过渡到 LLM alignment、RLVR 和 agentic systems,覆盖 PPO、RLHF、DPO、GRPO 等现代主题。
代码优先,适合把强化学习理论、LLM 对齐和 agent 训练方法串成可运行实践。
-
How to Build a Diffusion Language Model
↗
待读
kuleshov-group.github.io
系统介绍扩散语言模型如何替代自回归模型的逐 token 生成:先用高斯扩散建立直觉,再推导以随机遮罩为噪声的 masked diffusion、训练目标与迭代采样。随后进一步讨论面向真实模型的 block diffusion、encoder-decoder 架构、remasking 与 uniform-state diffusion,以及采样蒸馏、可控生成和强化学习后训练。
从“生成式 BERT”这一容易理解的起点,一路连接到现代扩散 LLM 的完整构件,并解释并行生成、可变长度、KV cache、迭代纠错和速度/质量权衡之间的关系。既包含概率模型与 ELBO,也覆盖 Gemma Diffusion、Nemotron Diffusion 等模型背后的工程选择,适合作为扩散式文本生成的总览教程。
-
How to Optimize a CUDA Matmul Kernel for cuBLAS-like Performance
↗
已读
siboehm.com
从只达到 cuBLAS 约 1.3% 性能的 naive FP32 kernel 出发,逐步加入 global-memory coalescing、shared-memory cache blocking、1D/2D block tiling、向量化访存、autotuning 和 warp tiling,并结合 roofline、occupancy、寄存器与内存流量解释每一步的收益。
每个优化阶段都有代码、性能数字和失败思路,最终在作者的 A6000 测试环境中达到约 93.7% 的 cuBLAS FP32 性能。特别适合作为 xGeMM 与 Salykova 高级 SGEMM 之间的主线文章。
-
How to Scale Your Model
↗
待读
jax-ml.github.io
Jacob Austin、Sholto Douglas、Roy Frostig 等作者整理的在线书,副标题是 A Systems View of LLMs on TPUs,主题覆盖 roofline analysis、TPU/GPU 架构、sharded matmul、Transformer 参数/FLOPs/KV cache 估算、训练并行、LLaMA 训练与 serving、JAX/XLA profiling 和 GPU bonus section。
非常适合作为 AI infra / inference 的系统型主资料,能把“模型怎么切到多卡”“训练/推理要多少显存和时间”“什么时候 compute/memory/communication bound”“TPU/GPU roofline 怎么看”这些问题连成一条工程推理链。
-
Inference Engineering
↗
待读
inferenceengineering.tech
基于 Philip Kiely 2026 年出版的同名书,使用 8 章覆盖推理工程三层架构、需求与 SLO、LLM/扩散模型瓶颈、GPU 与加速器、CUDA 和推理引擎、量化与 speculative decoding、KV Cache、模型并行与 P/D 解耦、多模态推理,以及容器化、自动扩缩容、多云部署和可观测性。
提供 Getting Started、Infrastructure Architect、Performance Optimizer 三条学习路径,以及动画图解、VRAM/KV Cache/算术强度计算器、benchmark、速查表和 100 多道测验。适合先用交互内容建立直觉,再把对应章节映射到当前 18 周 AI inference 路线中的实验任务。
-
InfraTech
↗
待读
Recommended
github.com
CalvinXKY 维护的 AI Infra 学习与代码练习仓库,内容覆盖大模型推理基础、Nano-vLLM、vLLM、SGLang、并行策略、KV Cache、P/D 分离、量化、性能分析、RL Infra 与部分 PyTorch 机制。大量主题同时提供文章与 Jupyter Notebook,可从概念说明直接走到可运行实验。
适合作为中文推理系统主线索引。优先学习“推理核心术语 -> 集合通信与并行策略 -> Nano-vLLM -> 基础调度器 -> vLLM KV Cache -> SGLang RadixAttention -> P/D 分离与 profiling”,不用按仓库顺序全部通读。
-
KV Cache Explained Intuitively
↗
待读
medium.com
Saad Ahmed Siddiqui 的 Medium 文章,从 token、embedding、decoder-only model 和 attention 机制讲起,再解释没有 KV cache 时自回归推理为什么会重复计算,以及 KV cache 如何复用历史 key/value 降低生成开销。
适合作为 vLLM/PagedAttention 前置直觉材料,帮助把“为什么 decode 阶段要缓存 K/V”从公式变成推理链路里的工程问题。
-
LLM Inference Handbook
↗
待读
handbook.modular.com
从训练与推理的区别、请求生命周期、prefill/decode 和 TTFT/TPOT/goodput 等指标开始,系统覆盖模型准备与交互、KV Cache、continuous batching、prefix caching、chunked prefill、量化、GPU 架构、kernel 优化、P/D 解耦、容量规划、部署模式和生产运维。
提供请求生命周期、逐 token decode、延迟指标、context window、GPU/模型选择、显存与 KV Cache 估算、batching 和 chunked-prefill scheduler 等交互式工具,适合先建立全景直觉,再按当前 AI inference 路线逐章查阅。所有页面还可通过在 URL 后追加 `.md` 获取 Markdown 版本。
-
Machine Learning Systems
↗
待读
github.com
Harvard Edge 的机器学习系统教材仓库,配套 textbook、TinyTorch、labs、hardware kits、MLSys simulator、slides 和面试练习,主题覆盖从单机训练/优化/部署到分布式系统、推理、KV cache、调度、量化、边缘设备和生产治理。
适合从“会用模型/推理框架”推进到“理解 AI 系统为什么这样设计”,尤其能补模型、硬件、内存、调度、部署和可靠性之间的系统工程视角。
-
MiniTorch
↗
待读
minitorch.github.io
Sasha Rush 等人为 Cornell Tech Machine Learning Engineering 课程开发的纯 Python 教学框架,通过补全 TODO 并通过测试,逐步实现 Module/Parameter、标量自动微分、反向传播、Tensor storage/shape/stride、broadcasting、tensor autograd、算子融合、并行与 GPU 编程,以及卷积、池化和多分类网络。
比只实现标量计算图的 micrograd 更深入 Tensor 内部机制,适合作为 Rust 自动求导框架的结构参考。建议按“scalar autograd -> computation graph -> tensor/stride/broadcast -> tensor backward -> CPU/GPU kernel -> neural-network layer”顺序完成,并在每个阶段用 Rust 重写核心抽象。
-
Modal GPU Glossary: Performance
↗
待读
modal.com
用短条目解释 compute-bound、memory-bound、算术强度、延迟隐藏、occupancy、warp divergence、合并访存、bank conflict、register pressure 和 scoreboard stall 等术语。
概念解释紧凑清晰,适合读完 NVIDIA 性能基础指南后查漏补缺,也方便在看 profiler 指标前快速统一术语。
-
Modern GPU Programming for ML Systems
↗
待读
mlc.ai
MLC 团队整理的 GPU 编程课程,围绕向量加法、矩阵乘、tiling、shared memory、thread/block 映射、Triton/TVM 风格 kernel 设计等主题,帮助从 ML 系统角度理解 GPU kernel 如何服务张量计算。
比单篇 CUDA 入门更系统,适合接在 naive matmul 之后,用来建立 AI inference kernel、Triton、编译器栈之间的整体直觉。
-
NCCL Tests
↗
待读
Recommended
github.com
NVIDIA 官方 NCCL 性能与正确性测试程序,支持单机或 MPI 多机环境,以及多进程、多线程和每线程多 GPU 的 collective 测试;可扫描消息大小并报告时间、算法带宽和总线带宽。
把“NVLink、PCIe、RDMA 和 Ring/Tree 哪个更快”转化为可复现实测。重点运行 `all_reduce_perf` 的消息大小扫描,记录 rank/GPU 拓扑、环境变量、algbw 与 busbw,并解释小消息延迟区和大消息带宽区的差异。
-
NCCL User Guide
↗
待读
Recommended
docs.nvidia.com
NVIDIA NCCL 官方用户指南,介绍 communicator、stream 语义、AllReduce、AllGather、ReduceScatter、AllToAll 等集合通信,以及多 communicator、异步错误、注册、拓扑、网络、RAS 与故障排查机制。
适合把 TP、DP 和 EP 中抽象的 collective 映射到真实链路。学习时先用 4 张卡画出每种操作的输入输出,再阅读 GPU-to-GPU、GPU-to-NIC、接口选择、日志与 active diagnostics,形成多卡卡死的系统排查顺序。
-
Notes About Nvidia GPU Shared Memory Banks
↗
待读
feldmann.nyc
Axel Feldmann 用一组 CUDA microbenchmark 分析 NVIDIA GPU shared memory 的 bank 映射、冲突代价、向量化 load 的硬件调度,以及 multicast 如何在某些访问模式下提升每个线程看到的数据吞吐。
适合接在 tiled matmul/shared memory 入门之后阅读,帮助理解为什么 GPU kernel 优化不能只看“用了 shared memory”,还要看 bank 访问模式、warp 内 lane 映射和向量化指令。
-
Nsight Compute Profiling Guide
↗
待读
Recommended
docs.nvidia.com
NVIDIA Nsight Compute 官方 profiling 指南,解释 CUDA kernel 的性能计数器、采集方式、Roofline、occupancy、memory workload、scheduler/warp stall 与源码级分析方法。
用于回答“热点 kernel 为什么慢”。建议围绕一个 reduction、Softmax 或 GEMM 固定输入与基线,依次检查执行时间、算术强度、显存吞吐、活跃 warp、寄存器/共享内存压力和主要 stall 原因,而不是孤立追求某个指标达到 100%。
-
Nsight Systems User Guide
↗
待读
Recommended
docs.nvidia.com
NVIDIA Nsight Systems 官方用户指南,面向应用级时间线分析,覆盖 CUDA API、kernel、内存传输、stream、CUDA Graph、NVTX、CPU 线程和多 GPU 活动的采集与查看。
用于先回答“时间花在哪里”:识别 CPU launch gap、同步等待、数据传输、kernel 空洞以及通信与计算是否重叠。应先用它缩小端到端瓶颈,再把热点 kernel 交给 Nsight Compute 深挖。
-
Outperforming cuBLAS on B200
↗
待读
paulwillchan.com
Paul Chan 从一个基于 TMA 和 Tensor Core 的初始矩阵乘 kernel 出发,在 B200 上依次加入 2-CTA MMA、流水线、warp specialization、persistent kernel、Tensor Memory 双缓冲、epilogue 优化、Hilbert curve 调度和 Cluster Launch Control,并比较各阶段与 cuBLAS 的性能。
把 Blackwell 的 Tensor Memory、`tcgen05.mma`、thread block cluster、异步 TMA/MMA 和动态任务调度落实到完整优化过程。作者报告最终 BF16 kernel 在 `M=N=K=8192` 的测试中达到 cuBLAS 性能的 106%;适合完成 tiled GEMM、TMA、warp specialization 和 profiling 基础后进阶阅读。
-
PTX ISA: Asynchronous Copy Instructions
↗
待读
docs.nvidia.com
PTX ISA 中异步拷贝章节的官方参考,覆盖 `cp.async`、commit/wait group、mbarrier completion、`cp.async.bulk`、bulk prefetch、multimem bulk copy,以及面向多维 tensor 的 `cp.async.bulk.tensor` 等指令及其内存语义、架构要求和示例。
这是理解 Ampere `cp.async`、Hopper TMA 和 CUDA pipeline 最底层的权威资料,能明确区分普通异步 copy、bulk/tensor copy 与 group/mbarrier 完成机制。适合先读 CUDA Programming Guide 的异步流水线,再按实际 kernel 中出现的 PTX 指令查阅,不建议从头通读整份 ISA。
-
Prime Flash MoE: Faster MoE Kernels Optimized for Blackwell
↗
待读
primeintellect.ai
围绕路由完成后的 MoE SwiGLU feed-forward,设计 fused 与 split 两套 Blackwell kernel。文章讲解如何用 TMA tensor map 交错 gate/up 权重并 gather token,利用 TMEM、`tcgen05`、共享内存复用、stage barrier 和流水线完成两次 GEMM,同时减少中间激活写回 HBM;还覆盖 split-K partial reduction、PDL 交接和 MXFP8 scale/quantization 路径。
文章没有把“融合越多越快”当作定律,而是定量比较省掉激活 materialization 与增加 split-K partial-output reduction 的代价,并据工作集大小选择 fused 或 split pipeline。作者在 B200 的给定 benchmark 中报告相对 PyTorch grouped GEMM 最高约 2.4 倍加速,适合完成 TMA、CuTe/CUTLASS、Blackwell Tensor Core 和 MoE 基础后精读。
-
RAG Evaluation and Testing in Production
↗
待读
drive.google.com
RAG 线上/离线评估与测试资料,当前链接指向 Google Drive 文件,需要打开文件后进一步确认具体内容、作者和版本。
适合作为 RAG 系统评估清单候选资料,重点关注 production testing、指标、回归测试和离线/线上质量闭环。
-
Salykova
↗
待读
salykova.github.io
AI inference 性能优化博客,重点文章包括 NVIDIA GPU 矩阵乘优化、现代多核 CPU 矩阵乘优化,以及 AMD CDNA3/CDNA4 matrix core 编程。
适合从矩阵乘这个核心算子入手理解 GPU/CPU 底层并行、内存层级和 AI 推理性能优化。
-
Steps for Writing a Speed-of-Light GEMM Kernel: Part 1
↗
待读
lukehuang33.github.io
Luke D. Huang 的 NVIDIA B200 矩阵乘法内核优化系列第一篇。文章以 BF16 GEMM 为主线,从每个线程计算一个输出元素的 naive CuTeDSL 实现出发,逐步引入 Blackwell Tensor Core、TMA 异步搬运、TMEM 累加、CTA tiling 和 shared-memory swizzling,并解释数据如何在 global memory、shared memory、TMEM、寄存器之间流动。
不是只展示最终代码,而是为每一版内核说明瓶颈、布局变化和实测收益:naive 版本约 4 TFLOP/s,加入 tiling、TMA 与 Tensor Core 后约 155 TFLOP/s,再通过 swizzling 缓解 shared-memory bank conflict 后达到约 285 TFLOP/s。尤其适合在学完基础 CUDA GEMM 后,用来理解 Blackwell 的 `tcgen05`、TMEM 和 CuTeDSL 编程模型。
-
TPU Deep Dive
↗
待读
henryhmko.github.io
Henry Ko 的 TPU 深度文章,从 TPU 的设计动机、矩阵乘加速、systolic array、内存/带宽约束和软件栈视角解释专用 ML 加速器如何提升神经网络计算效率。
适合作为 CUDA/GPU 之外的异构加速器补充材料,帮助理解为什么 AI inference 不只是“会写 GPU kernel”,还要理解算子、数据流和硬件架构之间的匹配。
-
TensorTonic | Learn ML through code
↗
待读
tensortonic.com
通过题目练习学习 ML 和 tensor 编程的平台;公开访问会跳转到登录页,具体题目内容需要登录后查看。
适合用“做题”方式补张量操作、机器学习基础和工程实现细节,但需要后续登录确认题目体系。
-
The CUDA Handbook
↗
待读
cudahandbook.com
Nicholas Wilt 的 CUDA Handbook v2.0 在线版,章节覆盖 CUDA 背景、硬件/软件架构、开发环境、memory、streams/events、kernel execution、SM、多 GPU、texture,以及 reduction、scan、N-body、histogram/radix sort 等典型并行工作负载。
适合作为 CUDA 概念和工程细节的系统型参考书,尤其适合查 memory、kernel execution、SM、warp synchrony、Driver API/CUDART、PTX/SASS 等术语和机制。
-
Triton Notes
↗
待读
junupark.xyz
从 host/device 分工和 kernel launch 开始,围绕 Triton 的 tile、program、program ID、launch grid、offset、pointer、mask、stride 与 `tl.constexpr` 等核心抽象,逐步实现向量加法和二维矩阵乘,并介绍配置选择、测试、性能 benchmark 与调试方法。
通过交互图把 Triton program 与 CUDA thread block、tile 与数据区域、grid 与输出分块之间的映射讲得很直观,同时对比 non-persistent 和 persistent launch。适合先于高级 Triton/TMA 文章阅读,并用其中的 vector add 和 matmul 代码建立 kernel 手感。
-
Triton Tutorials
↗
待读
Recommended
triton-lang.org
Triton 官方教程集,按难度提供 Vector Addition、Fused Softmax、Matrix Multiplication、Layer Normalization、Fused Attention、Group GEMM、Persistent Matmul 和 Block-scaled Matmul 等完整示例。
把 block/tile、offset、mask、program reordering、autotuning 和持久化调度直接映射到现代 ML kernel。按 Vector Add -> Softmax -> Matmul -> Fused Attention -> Persistent Matmul 学习,可以逐步连接 CUDA 基础、GEMM、FlashAttention 与小 shape 性能问题。
-
Using group theory to explore the space of positional encodings for attention
↗
已读
blog.janestreet.com
Jane Street 文章,用群论视角探索 attention positional encoding 的设计空间,将位置编码放进更抽象的对称性和群表示框架中理解。
适合把 Transformer 位置编码从工程 trick 提升到数学结构层面理解,对 ML + 数学交叉学习很有价值。
-
What happens when you run a CUDA kernel
↗
待读
fergusfinn.com
Fergus Finn 的长文从一个 vector add kernel 出发,追踪 `nvcc` 如何生成 PTX/SASS/fatbin、host launch stub 如何打包参数、CUDA runtime/driver 如何通过 pushbuffer、GPFIFO、QMD 和 doorbell 把任务交给 GPU,再一路讲到 work distributor、SM、warp 调度和指令执行。
很适合把 `<<<grid, block>>>`、PTX/SASS、driver launch、QMD、SM/warp 这些平时分散的概念串成一条真实执行路径,对读 vLLM/TensorRT-LLM 的 kernel 调用链和 profiling 结果很有帮助。
-
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
↗
待读
gau-nernst.github.io
gau-nernst 以 FlashAttention-2 的分块算法和 online softmax 为基础,在 CUDA C++ 中完整实现 attention kernel,并按 v1-v5 依次加入 shared-memory swizzle、两级流水线、面向 K/V 的 `ldmatrix.x4` 和更紧密的流水线;正文同时拆解 global/shared/register 数据搬运、BF16 Tensor Core MMA、warp 划分和数值稳定的在线归一化。
文章把“算法正确”到“逼近硬件极限”的优化过程、代码和 benchmark 放在同一条线上。作者报告最终版本在其 RTX 5090、CUDA 12.9 和指定 shape 下达到 197.74 TFLOPS,约为该卡 BF16 理论峰值的 94.39%,很适合在学过 tiled matmul、Tensor Core、shared-memory bank conflict 和基础 profiling 后精读。
-
xGeMM: GPU Accelerated Matrix Multiplication
↗
待读
tgautam03.github.io
Tushar Gautam 的 CUDA 矩阵乘项目,从 CPU/Eigen/cuBLAS 对比和 naive GPU kernel 开始,逐步覆盖 global-memory coalescing、shared-memory tiling、1D/2D thread coarsening 与向量化访存,并提供可运行的 benchmark 和实现代码。
这是已失效的《2678x Faster Matrix Multiplication with a GPU》的作者后续教程,内容更完整且托管在可访问的 GitHub Pages。适合沿着“naive -> coalesced -> tiled -> register tiling -> vectorized access”顺序复现每次优化。
-
xlite-dev/LeetCUDA
↗
待读
github.com
面向 CUDA 编程练习的开源题库,覆盖 vector add、reduction、scan、matrix multiplication、softmax、attention、Tensor Core、FlashAttention-2 等从基础到进阶的 GPU kernel 实现题。
适合用刷题方式补 CUDA 手感;可以和 LeetGPU、Nsight Compute、vLLM kernel 阅读配合,形成“概念 -> 手写 kernel -> profiling -> 推理框架源码”的练习闭环。
Algorithms 3 links
-
A Tale of Dynamic Programming
↗
待读
iagoleal.com
从自动机、Markov chain、动力系统和机器人最优控制等场景出发,把动态规划表述为序贯决策问题;随后由 Bellman 最优性原理推导 Bellman 方程,并将最优值函数解释为 Bellman operator 的不动点,继续讨论解的存在唯一性、value iteration、in-place value iteration、policy iteration 和随机系统。
不同于以背包、区间 DP 为主的刷题教程,它从数学结构解释动态规划为什么成立,并用 Banach 不动点定理连接递归、收敛性和最优控制。适合已有基础 DP 经验后,用来建立算法、强化学习与控制理论之间的统一视角。
-
CSES
↗
待读
cses.fi
Code Submission Evaluation System,首页提供 CSES Problem Set、课程、比赛、统计和教师功能;Problem Set 是算法编程练习题集合。
题集结构经典,适合用来训练算法基础、动态规划、图论、字符串和数学题的实现能力。
-
OI Wiki - OI Wiki
↗
待读
oi-wiki.org
面向信息学竞赛/算法学习的中文知识库,覆盖比赛相关、工具软件、语言基础、算法基础、搜索、动态规划、字符串、数学、数据结构、图论、计算几何等大量主题。
适合作为算法知识索引和查漏补缺地图,尤其适合按专题系统复习竞赛算法。
Blogs / Newsletters 9 links
-
ArthurChiao's Blog
↗
待读
arthurchiao.art
Arthur Chiao 的中英文技术博客,长期输出云原生、网络、Linux、eBPF、Kubernetes、系统性能、AI Infra 和论文/文章翻译等内容。
适合深读基础设施工程文章,尤其适合把网络栈、内核机制、容器系统和线上排障经验连起来。
-
Blogs
↗
待读
without.boats
without.boats 的博客,主要讨论 Rust 语言设计、async Rust、Pin、ownership、substructural type theory、异步清理、Future 取消和并发抽象等较深的语言/类型系统问题。
适合深入理解 Rust async 和类型系统设计背后的语言权衡,尤其适合把 Pin、Future、Drop、ownership 从使用层面推进到设计层面。
-
Stop forwarding errors, start designing them
↗
待读
fast.github.io
FastLabs 关于错误设计的文章,主张不要只把错误链层层转发,而要按调用方“能采取什么行动”来设计错误类型、错误状态和上下文,例如区分 NotFound、RateLimited、Temporary、Permanent 等语义。
适合和 Rust/后端错误处理规范一起读,重点学习如何把错误从“日志字符串”设计成可重试、可观测、可决策的 API 契约。
-
Your favorite pieces of technical writing? | Lobsters
↗
待读
lobste.rs
Lobsters 社区关于“最喜欢的技术写作”的讨论串,通常会聚合很多高质量工程文章、论文解读、系统设计随笔和经典技术博客推荐。
适合作为技术写作入口索引,不必一次读完,可以从评论中筛选反复被推荐的经典文章加入各领域阅读清单。
-
bugstack 虫洞栈
↗
待读
bugstack.cn
小傅哥的 Java/架构/源码实践博客,内容包含 Java 基础、面经、Netty、手写 MyBatis、用 Java 实现 JVM、设计模式、SpringBoot 中间件、IDEA 插件、DDD 实战项目、字节码编程和 AI 应用项目。
适合走 Java 后端工程路线时做项目化学习,用“手写框架/组件/业务系统”的方式补源码阅读、架构设计和面试表达。
-
matklad
↗
待读
matklad.github.io
matklad 的技术博客,文章横跨 Rust、Zig、编译器、IDE/LSP、测试、软件架构、构建系统、性能、错误模型、依赖管理和工程习惯等主题。
适合读高密度工程思考,很多文章能把编译器/语言工具链问题抽象成通用的软件设计经验。
-
全球分布式数据库, C/C++, 高性能分布式 Web 和网络应用开发, 架构设计, 移动应用开发 - 吴祖洋的技术博客
↗
待读
ideawu.net
吴祖洋的技术博客,主题集中在 C/C++、高性能网络应用、分布式数据库、架构设计和移动应用开发;作者相关项目包括 SSDB/ssdb-rocks 等存储系统方向内容。
适合补 C/C++ 服务端、网络编程和存储系统工程经验,尤其适合从具体项目看性能、数据结构和系统设计取舍。
-
叉鸽 MrCroxx 的博客
↗
待读
blog.mrcroxx.com
孟爻(MrCroxx)的技术博客,作者关注分布式存储系统,文章覆盖数据库、分布式系统、存储、性能优化、内核和开源项目,历史中文文章包括 etcd/Raft、LevelDB、boltdb 和分布式系统论文翻译/阅读。
适合系统阅读存储引擎与分布式共识,从 LevelDB/boltdb/etcd/Raft 这类具体系统切入会很扎实。
-
谭新宇的博客
↗
待读
tanxinyu.work
谭新宇的个人技术博客,作者关注分布式存储、共识算法、时序数据库、可观测性、性能优化,并逐渐扩展到计算调度与机器学习平台基础设施;近期文章包括 Ray 编译踩坑和 AI Infra 转向总结。
适合跟踪从存储/数据库到 AI Infra 的工程迁移路径,尤其适合看真实工程环境里的构建、部署、性能和平台化问题。
Compilers / PL 18 links
-
A Compiler Writing Journey
↗
待读
github.com
以 65 个循序渐进的部分记录编译器实现过程,从 scanner、parser、运算符优先级和 x86-64 汇编生成开始,逐步加入控制流、函数、类型、指针、数组、结构体、预处理、常量折叠、寄存器溢出和惰性求值,最后完成 self-compilation,并加入 QBE 与 6809 后端。
理论负担较轻,每一步都有解释和可运行源码,适合沿提交式增量实现理解“一个语言特性如何穿过词法、语法、语义与代码生成”。建议先完成 Part 0-14 建立前端到汇编的闭环,再按兴趣扩展语言特性和后端。
-
A Primer to ML Compilers
↗
待读
aramesh10.github.io
由一份在 CMU ML systems reading group 分享的 76 页演示扩展而来,从计算图、高层 IR 与低层 IR 开始,介绍图优化、算子融合、循环与内存调度、搜索和代码生成,并沿 Theano、TensorFlow、Autograd、Chainer、PyTorch、Glow、PyTorch 2、Halide 与 TVM 梳理 ML 编译器的发展脉络。
用真实系统和奠基论文把“模型定义 -> 计算图 -> IR 优化 -> 设备代码”串成完整路径;附演示文稿、逐页讲解和论文索引,适合在深入 MLIR、TVM 或 `torch.compile` 前建立整体框架。
-
Beginner's Guide to Linkers
↗
待读
lurklurk.org
面向 C/C++ 程序员的 linker 入门文章,讲解 C 文件里的 declaration/definition、object file、symbol、undefined reference、static/shared library、Windows DLL、name mangling、模板、静态初始化和动态加载。
适合把“编译后为什么还会链接失败”讲清楚,能建立 object file、symbol table 和 linker 填空模型。
-
Control structures in programming languages | Control structures in programming languages: from goto to algebraic effects
↗
待读
xavierleroy.org
Xavier Leroy 关于程序语言控制结构的讲义/课程页,主题从 goto、结构化控制流、异常、continuation 到 algebraic effects,讨论控制流抽象如何演化。
适合补 PL 视角的控制流理论,把日常的 if/loop/exception/coroutine/effect 放到统一语言设计脉络里看。
-
How to execute an object file: Part 1
↗
待读
blog.cloudflare.com
Cloudflare “执行 object file”系列第一篇,构建一个玩具 loader,解析 ELF object file,把 `.text` 段映射到可执行内存并调用其中的函数。
适合用动手方式理解 object file 不是神秘黑盒,而是可解析、可映射、可执行的数据结构。
-
How to execute an object file: Part 2
↗
待读
blog.cloudflare.com
系列第二篇进入 relocation,解释为什么 object file 中的相对调用会留空,以及如何读取 `.rela.text`、symbol table 和 relocation type 来修补运行时地址。
适合真正理解 linker 的核心工作:根据符号和重定位公式修补机器码/数据里的地址。
-
How to execute an object file: Part 3
↗
待读
blog.cloudflare.com
系列第三篇继续扩展 toy loader,处理更复杂的符号、外部依赖和运行时链接问题,让加载 object file 的模型更接近真实动态链接器。
适合把 relocation 从“本文件内函数调用”推进到“跨对象/外部符号解析”,理解 loader/linker 的职责边界。
-
How to execute an object file: Part 4, AArch64 edition
↗
待读
blog.cloudflare.com
系列第四篇切换到 AArch64,讨论在 ARM64 架构上执行 object file 时 relocation、指令编码、调用约定和架构差异带来的变化。
适合对比 x86-64 与 AArch64 的目标文件执行细节,避免把 ELF/linker 知识误解成只适用于单一架构。
-
JSON Parsing from Scratch in Haskell | abhinavsarkar.net
↗
待读
abhinavsarkar.net
Abhinav Sarkar 的 Haskell JSON parser 文章,从 parser 类型、组合子、错误处理和递归解析出发,构建一个能解析 JSON 数据结构的纯函数式 parser。
适合系统学习 parser combinator,重点看小组合子如何组合成完整语法解析器。
-
LLVM Discussion Forums - Our community includes both users and developers of various compiler technologies within the LLVM project.
↗
待读
discourse.llvm.org
LLVM 官方 Discourse 论坛,供 LLVM 用户和开发者讨论 LLVM Project、IR & Optimizations、Code Generation、Clang Frontend、Runtimes、MLIR、Infrastructure、Community 和新项目孵化等话题。
适合遇到 LLVM 实战问题时查上下文,也适合跟踪优化、后端、MLIR 和 Clang 的真实开发讨论。
-
Let’s Build a Regex Engine | kean.blog
↗
待读
kean.blog
Alex Grebenyuk 的正则引擎系列入口,从 regex 语法出发,分为 grammar、parser、compiler、matcher 几部分,涉及 parser combinators、AST、finite automaton、backtracking 和线性时间匹配。
适合把“正则表达式”当成小型编译器项目来学,能同时触达形式语言、自动机、解析器和匹配算法。
-
PacktPublishing/LLVM-Code-Generation: LLVM Code Generation, published by Packt
↗
待读
github.com
Packt《LLVM Code Generation, First Edition》的配套代码仓库,聚焦 LLVM 后端开发,章节覆盖 LLVM 构建、IR、pass、TableGen、target-specific constructs、machine code layer、instruction selection、scheduling、register allocation、stack lowering 和 assembler。
适合从 LLVM IR 之后继续深入后端,尤其适合学习如何把 IR 变成汇编/目标文件,以及 ABI、寄存器分配和指令选择如何落在 LLVM API 上。
-
What happens when you execute the simplest C++ program?
↗
待读
oneraynyday.github.io
从最简单 C++ 程序出发,逐步分析编译、汇编、链接、ELF、启动代码、动态链接和执行过程,帮助理解一个二进制程序从源代码到运行时经历了什么。
适合作为编译链接和操作系统执行模型之间的桥梁阅读,尤其适合对照 `readelf`、`objdump`、`ldd` 等工具实践。
-
Writing a C Compiler, Part 1
↗
待读
norasandler.com
Nora Sandler 的“写一个 C 编译器”系列第一篇,从最小 C 子集开始,逐步构建 lexer、parser、AST、代码生成和后续语言特性。
适合用 C 语言编译器作为主线练习 front-end 到 codegen 的完整流程,比只写表达式解释器更接近真实编译器。
-
computed goto for efficient dispatch tables
↗
待读
eli.thegreenplace.net
Eli Bendersky 用一个小型 bytecode VM 对比 `switch` dispatch 和 GCC computed goto dispatch,解释为什么 CPython 等解释器会用 computed goto 优化分发循环。
适合理解解释器性能的底层来源,尤其是 bounds check、indirect jump、分支预测和 opcode pair 预测如何影响 VM 主循环。
-
flat assembler - Index
↗
待读
board.flatassembler.net
flat assembler 社区论坛入口,围绕 FASM 汇编器、x86/x86-64 汇编、宏、链接、可执行格式、操作系统开发和底层编程问题展开讨论。
适合查汇编器和低层二进制格式问题,尤其适合在写 toy assembler、loader 或 OS 相关代码时做参考。
-
musttail and efficient interpreters
↗
待读
blog.reverberate.org
Josh Haberman 讨论如何用 Clang/LLVM 的 `musttail` 和 tail call 思路构造高效解释器分发,并以 Protobuf 解析器/解释器为背景分析 dispatch、栈帧和编译器保证。
适合和 computed goto 对照阅读,理解 threaded interpreter、tail-call interpreter 和编译器后端约束之间的关系。
-
北京大学编译实践课程在线文档 | 北大编译实践在线文档
↗
待读
pku-minic.github.io
北京大学编译实践课程在线文档,围绕 MiniC/编译实验展开,通常覆盖词法分析、语法分析、语义分析、中间表示、优化、目标代码生成和实验框架使用。
适合按课程实验路径完成一个编译器项目,比零散文章更适合形成可交付的编译实践路线。
Databases 14 links
-
All Tracks | Building Distributed Systems
↗
待读
builddistributedsystem.com
该平台的全部 track 列表,覆盖 Foundations、Consensus、Advanced、Scalability、Storage、Operations 等分类,共 28 个 track。
适合作为学习路线图使用,可以按 The Messenger、The Identifier、The Gossiper、The Elector、The Consensus、The Store、The Logger 等路径逐步推进。
-
Archive - Ying
↗
待读
izualzhy.cn
Ying 博客中 LevelDB 标签的文章归档,集中整理 LevelDB 实现、存储结构、读写路径和源码阅读相关内容。
适合作为 LevelDB 源码学习的中文补充,按文章逐篇拆解 LSM 存储引擎实现。
-
Build Your Own Database From Scratch in Go | Build Your Own Database From Scratch in Go
↗
待读
build-your-own.org
从零用 Go 构建数据库的教程,主线从 B+Tree 到 SQL,包含文件到数据库、append-only KV、B+Tree、表构建和 SQL 层等内容。
项目式学习数据库内部结构,适合把 B+Tree、页、持久化、KV 和关系模型之间的联系写出来。
-
Building Distributed Systems from Scratch
↗
待读
builddistributedsystem.com
项目式分布式系统学习平台,通过 Maelstrom 兼容挑战从消息传递、唯一 ID、gossip、TCP/gRPC 逐步走到 CRDT、leader election、Raft、线性一致 KV、分片、缓存、消息队列、WAL、LSM、B-Tree、分布式文件系统和可观测性。
不是被动读材料,而是把一致性、分区容忍、复制和存储引擎等概念变成可运行实现,适合补分布式系统手感。
-
LSM 存储引擎中 KV 分离的实现 - Alex Chi
↗
待读
skyzh.dev
Alex Chi 关于 LSM 存储引擎中 key-value separation 的文章,讨论把 value 从 LSM 主结构中分离出来的动机和实现思路。
适合理解 WiscKey/RocksDB/TiKV 一类系统中“降低写放大、改善 compaction 成本”的设计取舍。
-
Let's Build a Simple Database
↗
待读
cstack.github.io
用 C 从零写一个 SQLite clone 的教程,页面描述为“Writing a sqlite clone from scratch in C”,从 REPL、简单 SQL、内存表、磁盘页和 B-Tree 等逐步展开。
非常适合数据库入门工程练习,能把 SQL 表象和底层页、行格式、B-Tree 结构连接起来。
-
Notes on Paxos
↗
待读
matklad.github.io
matklad 的 Paxos 学习笔记,从非确定性状态机、行为、不变量、共识性质、majority/quorum vote 等形式化模型出发,逐步解释 Paxos 为什么需要那些看似细碎的条件。
适合在读 Paxos Made Simple 或 Raft 之后补“条件去掉会坏在哪里”的理解,用数学规格和可证明不变量把共识算法讲得更可检查。
-
OpenACID Blog
↗
待读
blog.openacid.com
OpenACID 的分布式系统与数据库博客,站点描述为“分布式研究小院”,文章涉及 Raft、Paxos、Calvin、linearizable read、事务顺序、LevelDB CRC、压缩数据结构等主题。
偏协议实现和生产系统边界条件,适合深入看 Raft/一致性/事务中的细节陷阱。
-
Parquet parser
↗
待读
dqkqd.github.io
Parquet 文件格式解析资料,面向理解列式存储文件的元数据、编码、页结构和读取流程。
适合在学习数据湖、分析型存储和列式执行引擎时补 Parquet 底层结构。
-
PostgreSQL指南:内幕探索
↗
待读
pg-internal.vonng.com
PostgreSQL 内部原理中文资料,内容包括数据库集簇/数据表、进程与内存架构、查询处理、并发控制、VACUUM、HOT、缓冲管理器、WAL、备份恢复和流复制。
适合深入理解 PostgreSQL 作为复杂关系数据库系统的各子系统如何协作;原链接为加载页,当前可参考新预览站。
-
etcd Raft库解析 - codedump的网络日志
↗
待读
codedump.info
codedump 的 etcd Raft 库解析文章,围绕 etcd/raft 的实现结构、状态机、日志复制和消息处理进行源码层面的阅读。
适合在读完 Raft 论文后进一步理解工业级 Go 实现如何组织代码和边界条件。
-
leveldb-handbook — leveldb-handbook 文档
↗
待读
leveldb-handbook.readthedocs.io
LevelDB 中文 handbook 文档,围绕 LevelDB 的整体结构、读写流程、memtable、SSTable、compaction、cache 和源码模块展开。
适合作为 LevelDB/LSM 树源码学习地图,和 Ying 博客、OpenACID 相关文章可以交叉阅读。
-
简介 - ddia
↗
待读
vonng.gitbook.io
Vonng 维护的 DDIA 中文资料入口/旧版 GitBook 页面,包含翻译项目说明、贡献信息和相关资源链接。
适合了解 DDIA 中文翻译项目背景、版本和外部链接;正文阅读建议优先使用新版 `ddia.vonng.com`。
-
设计数据密集型应用
↗
待读
ddia.vonng.com
Martin Kleppmann《Designing Data-Intensive Applications》第二版中文翻译站,讨论数据密集型应用架构与设计原则,覆盖数据模型、存储、分区、事务、分布式系统、流处理和批处理等主题。
适合系统建立数据系统设计图谱,是数据库、分布式系统、存储和数据工程之间的主线材料。
Engineering 9 links
-
Async IO in Python: A Complete Walkthrough – Real Python
↗
待读
realpython.com
Real Python 的 asyncio 实战教程,讲解 async I/O 与 threading/multiprocessing 的区别、coroutine、`async`/`await`、event loop、queue、async iterator/context manager、异常处理和适用场景。
适合系统补 Python 异步编程基本功,特别适合理解为什么 asyncio 是单线程并发、适合 I/O-bound 任务而不是 CPU-bound 并行。
-
Everything should be typed
↗
待读
sot.dev
一篇关于“标量类型不够”的类型建模文章,用 shop/customer/order ID 和 money 字段互换的 bug 说明只用 `string`/`number`/`i64` 仍会漏掉语义错误,进而讨论用更具体的类型表达业务含义。
适合补“类型系统如何服务领域建模”的直觉,阅读时可重点对照 newtype、value object、opaque type 和参数对象的取舍。
-
Game Programming Patterns
↗
待读
gameprogrammingpatterns.com
Robert Nystrom 的在线书籍《Game Programming Patterns》目录页,围绕游戏开发中的命令、享元、观察者、原型、单例、状态、双缓冲、游戏循环、更新方法、组件、事件队列、脏标记、对象池和空间分区等模式展开。
适合从游戏引擎场景重新理解设计模式,重点看模式如何服务实时循环、内存局部性、对象生命周期、事件调度和性能约束。
-
Home - Super Fast Python
↗
待读
superfastpython.com
SuperFastPython 是 Jason Brownlee 的 Python 并发与性能实践站点,重点覆盖 threading、multiprocessing、concurrent.futures、asyncio、进程池/线程池和并发模式。
适合把 Python 并发从概念变成可运行 recipe,尤其适合查“某个并发 API 到底怎么用、什么时候会卡住、如何调试”。
-
Learn ⚡ Zig Programming Language
↗
待读
ziglang.org
Zig 官方学习入口,汇总语言文档、标准库、入门材料和相关学习资源,用于了解 Zig 的语法、编译模型、内存管理、错误处理和系统编程能力。
适合作为 Zig 学习的权威起点,尤其适合从 C/Rust/系统编程背景切入,关注 comptime、显式 allocator 和无隐藏控制流的设计。
-
OCaml
↗
待读
discuss.ocaml.org
OCaml 官方社区论坛,包含语言使用、库生态、编译器、类型系统、包管理、Dune、Jane Street 生态和学习问题等讨论。
适合跟踪 OCaml 生态的真实工程问题和社区共识,学习时可把它当作“遇到类型/模块/构建问题时的知识库”。
-
autoscrape-labs/pydoll: Pydoll is a library for automating chromium-based browsers without a WebDriver, offering realistic interactions.
↗
待读
github.com
Pydoll 是面向 Chromium/Chrome/Edge 的 Python 浏览器自动化库,通过 Chrome DevTools Protocol over WebSocket 直接连接浏览器,不依赖 WebDriver,并提供异步、类型化、结构化抽取和低层 CDP 控制能力。
适合研究现代浏览器自动化/爬虫工程,重点看无 WebDriver、会话复用、网络拦截、Shadow DOM/iframe、Pydantic 结构化提取和反自动化规避设计。
-
dabeaz-course/python-mastery: Advanced Python Mastery (course by @dabeaz)
↗
待读
github.com
David Beazley 的 Advanced Python Mastery 课程仓库,面向已经会写 Python 的开发者,聚焦更深入的 Python 语言机制、对象模型、迭代器/生成器、描述符、元编程和工程化用法。
适合把 Python 从“脚本语言”读到“语言机制”,尤其适合系统补齐高级特性背后的模型。
-
golang101/golang101: Go语言101 : 一个与时俱进的Go编程知识库
↗
待读
github.com
Go 语言 101 的开源仓库,定位是持续更新的 Go 编程知识库,适合系统学习 Go 语法、类型、并发、标准库、实现细节和常见语言陷阱。
适合作为 Go 的长期参考书而不只是入门教程,尤其适合查语言规范边界、接口/泛型/并发语义和容易误解的细节。
General 8 links
-
Huberman Lab
↗
待读
hubermanlab.com
Andrew Huberman 主持的 neuroscience、健康和科学工具播客/资料库,覆盖睡眠、营养、注意力、神经可塑性、心理健康、运动恢复、习惯和日常 protocol 等主题。
更适合作为通识与个人健康实践资料,而不是 AI/ML 学习资料;阅读时注意区分科学共识、嘉宾观点和实践建议。
-
The Economist - World News, Politics, Economics, Business & Finance
↗
待读
economist.com
英语新闻与时政/商业分析刊物,长期覆盖国际政治、经济、商业、金融、科技、文化和专题报告,风格偏解释性分析与数据化叙事。
适合训练宏观视角和英文长文阅读,把世界事件放进制度、市场和地缘政治框架里理解。
-
中国数字时代 - 在这里,了解祖国
↗
待读
chinadigitaltimes.net
中国数字时代中文站,聚合 CDT 关注、CDT 周报、404 文库、每日一语、网络民议、真理部指令、史说新语、专题和敏感词研究等内容。
适合保存被审查语境下的公共记忆与民间表达,阅读时可重点关注事件时间线、叙事差异和传播机制。
-
卢昌海个人主页
↗
待读
changhai.org
卢昌海的长期个人网站,栏目包括科学园地、技术广角、翻译作品、浮光掠影、站长微博、电子书和作品列表,内容横跨物理、数学、科普、技术、旅行和随笔。
适合作为中文高质量长文样本阅读,尤其适合科学史、物理科普、数学文化和独立写作风格学习。
-
时代周刊
↗
待读
time.com
TIME 的新闻与专题站点,覆盖美国与世界新闻、政治、商业、健康、AI、气候、人物、观点和年度榜单等内容。
适合追踪公共议题、人物叙事和英文新闻写作,尤其可用来观察媒体如何包装议题和构造时代叙事。
-
科学美国人
↗
待读
scientificamerican.com
Scientific American 的科学新闻与科普站点,栏目覆盖生物、化学、健康、数学、Mind & Brain、技术、社会科学、空间与物理、特刊、播客和书籍等。
适合持续跟踪科学发现与技术议题,用相对大众化的文章补充研究论文之外的背景知识。
-
纽约时报
↗
待读
nytimes.com
The New York Times 的订阅入口,可作为访问其新闻、调查报道、观点、商业、科技、文化、书评、数据新闻和专题报道的主入口。
适合训练英文新闻阅读与公共议题分析,重点看深度报道、解释性新闻和观点版的论证结构。
-
美国国家地理
↗
待读
nationalgeographic.com
National Geographic 的自然、动物、环境、旅行、历史与文化内容站点,主页包含动物、History & Culture、杂志当期内容和 National Geographic Society 的探索/教育/保护使命。
适合补自然史、地理、人类学和环境主题的通识阅读,也适合学习摄影驱动的叙事方式。
Math 11 links
-
A Lean Companion to Analysis I
↗
待读
github.com
把《Analysis I》中的自然数、整数、集合与实分析定义、定理和习题翻译为 Lean,代码中保留大量 `sorry` 供读者补全,并随着章节推进逐渐更多地复用 Mathlib。
提供“数学教材章节 -> 非形式证明 -> Lean 定义与定理 -> 补全证明”的真实项目闭环,适合基础入门后选择一节做小型形式化作品。
-
Annoying Precision | "A good stock of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." – Paul Halmos
↗
待读
qchu.wordpress.com
Qiaochu Yuan 的数学博客 Annoying Precision,长期写作代数、范畴、组合、表示论、数论、拓扑和数学学习经验等主题。
适合用“例子驱动”的方式理解抽象概念,很多文章能把高级概念讲得有结构而不失细节。
-
Glimpse of Lean
↗
待读
github.com
面向想快速感受真实 Lean 证明的学习者,短路线约 2-3 小时;长路线先练 rewriting、逻辑量词,再按兴趣进入数列极限、交换代数、概率或序理论中的 Galois connection。
比完整教材更快接触非平凡数学证明,可直接使用在线 Lean 环境,适合放在 Natural Number Game 后判断自己最感兴趣的数学方向。
-
How Gödel’s Proof Works | Quanta Magazine
↗
待读
quantamagazine.org
Quanta Magazine 解释 Gödel 不完备性定理证明思路的科普文章,介绍形式系统、自指、编码和“可证明性”如何进入数学。
适合作为数理逻辑入门阅读,帮助理解不完备性不是简单的“数学有漏洞”,而是形式系统表达能力带来的结构性结果。
-
Index—The Stacks project
↗
待读
stacks.math.columbia.edu
Stacks Project 是开放的代数几何与交换代数参考项目,系统整理 schemes、stacks、sheaves、cohomology、descent、morphisms 等大量定理和证明。
适合作为代数几何权威参考和查定理来源,不适合一口气线性阅读,更适合按概念/标签检索。
-
MathOverflow
↗
待读
mathoverflow.net
面向专业数学研究者的问答社区,问题通常集中在研究级数学、文献、定理、反例和专家经验。
适合查高阶问题和文献线索,但更适合有背景后阅读,不宜当入门教程。
-
Mathematics Stack Exchange
↗
待读
math.stackexchange.com
面向数学学习者和研究者的问答社区,问题覆盖从基础课程到较高阶数学的定义、证明、计算和直觉解释。
适合查具体疑问、反例和多种解法,但阅读时要注意答案质量、假设条件和符号约定。
-
Mathlib Documentation Overview
↗
待读
leanprover-community.github.io
Lean 社区维护的文档导航,按教程、how-to、reference 和 explanation 分类,链接 Mathlib API、数学领域概览、本科数学覆盖表、tactic 文档、贡献规范以及常见设计说明。
这是按需查阅的 Reference,不必完整阅读;遇到“这个领域在 Mathlib 里如何组织”时,先查领域索引,再用 [Loogle](https://loogle.lean-lang.org/) 按类型结构搜索声明。
-
Mathonline
↗
待读
mathonline.wikidot.com
Mathonline 是一个数学笔记/wiki 型站点,整理抽象代数、分析、拓扑、线性代数、微分方程等主题的定义、定理和例子。
适合作为概念速查和二级参考,遇到陌生定义时可快速补上下文。
-
Natural Number Game
↗
待读
adam.math.hhu.de
从零开始在浏览器中证明自然数的基本性质,通过逐关解锁 `rfl`、`rw`、`simp`、`apply`、归纳等 tactic,实时观察 goal 与 local context 的变化。
无需安装环境,反馈即时;适合先形成“读 proof state -> 选择 tactic -> 检查新目标”的基本循环。
-
線代啟示錄
↗
待读
ccjou.wordpress.com
周老师的繁体中文线性代数博客,包含阅读导引、核心课纲、矩阵理论、特征值/特征向量、矩阵分解、特殊矩阵、SVD、Jordan 典型形式、傅立叶分析、图论、马可夫链和每周问题等内容。
适合系统补线性代数和矩阵论,尤其适合用大量例题与证明细节打磨概念。
Projects 3 links
-
Build Your Own X
↗
待读
build-your-own-x.vercel.app
从零构建各种系统/工具的项目清单,分类包括 3D renderer、BitTorrent client、database、Docker、emulator/VM、game、Git、network stack、neural network、operating system、programming language、regex engine、shell、web server 等。
适合作为长期项目训练索引,用“我能亲手造出来”来补系统软件、编译器、数据库、网络和图形学。
-
Build your own Shell | CodeCrafters
↗
待读
app.codecrafters.io
CodeCrafters 的 Shell 挑战页面,CodeCrafters 主站提供 Redis、Git、SQLite、Docker 等真实工具的重建式编程挑战。
Shell 本身不属于数据库,但作为系统工具项目训练很有价值;如专注数据库,可优先做 SQLite/Redis 等 track。
-
Catalog | CodeCrafters
↗
待读
app.codecrafters.io
CodeCrafters 挑战目录,主打在 IDE 中重建 Redis、Git、SQLite 等生产级工具的高级编程练习。
适合按项目补系统软件能力,可按目标选择 Redis、SQLite、Kafka、Git、Shell、Docker 等 track。
Quant 19 links
-
Articles | QuantStart
↗
待读
quantstart.com
QuantStart 的文章列表,覆盖量化交易、回测、Python/C++、时间序列、统计、投资组合、风险管理和交易系统开发。
适合作为量化工程入门索引,从基础统计到 backtester 架构都能找到路线。
-
Dutch Algotrading - SEARCHING FOR BEST TRADING STRATEGY FOR LIFE CHANGING WEALTH!
↗
待读
dutchalgotrading.com
算法交易博客/站点,关注交易策略搜索、指标组合、回测和策略表现展示。
适合作为策略研究案例反面/正面都可读,重点训练辨别回测假设、数据挖掘偏差和真实可交易性。
-
Intermediate Quantitative Economics with Python — Intermediate Quantitative Economics with Python
↗
待读
python.quantecon.org
QuantEcon 的中级数量经济学 Python 讲义,由 Thomas J. Sargent 和 John Stachurski 主导,覆盖线性代数、概率、贝叶斯、动态规划、Markov chains、Kalman filter、LQ control、资产定价、异质主体模型和经验分析。
适合系统补数量经济学和金融经济学模型,用 Jupyter/Python 把理论模型转为可计算对象。
-
Quantitative Trading
↗
待读
epchan.blogspot.com
Ernest P. Chan 的 Quantitative Trading 博客,关注量化交易、统计套利、机器学习、市场微结构、风险和策略研究。
适合读量化研究经验和策略开发思路,尤其适合关注为什么很多回测在实盘会失效。
-
Quantocracy, Author at Quantocracy
↗
待读
quantocracy.com
Quantocracy 的文章聚合入口,长期汇总量化交易、金融研究、因子、资产配置、回测和数据科学相关文章。
适合作为量化阅读 feed,但更像索引,不应把聚合文章当作已验证策略。
-
Solid Quant – Medium
↗
待读
medium.com
Solid Quant 的 Medium 作者页,内容偏量化研究、交易策略、回测、Python 实现和市场数据分析。
适合作为量化文章来源池,阅读时优先筛选有完整数据、代码、假设和样本外检验的文章。
-
Statistical Arbitrage and Pairs Trading with Machine Learning | by The AI Quant | Medium
↗
待读
theaiquant.medium.com
一篇关于统计套利和配对交易的机器学习文章,主题通常包括协整/相关性筛选、价差建模、信号生成、回测和风险控制。
适合学习 stat arb 工作流,但应重点关注数据泄漏、交易成本、样本外验证和过拟合风险。
-
Statistical-Arbitrage/statistical_arbitrage.ipynb at master · bradleyboyuyang/Statistical-Arbitrage
↗
待读
github.com
一个统计套利 Jupyter Notebook,通常用于展示数据获取、价差/因子构造、信号生成、回测和绩效分析流程。
适合作为 stat arb notebook 案例阅读,重点检查样本划分、交易成本、滑点、幸存者偏差和参数稳定性。
-
avhz/RustQuant: Rust library for quantitative finance.
↗
待读
github.com
RustQuant 是 Rust 量化金融库,面向金融数学、随机过程、期权定价、数值方法和相关量化计算。
适合把 QuantLib/Python 量化知识迁移到 Rust 生态,重点看 API 设计和数值稳定性。
-
barter-rs/barter-rs: Open-source Rust framework for building event-driven live-trading & backtesting systems
↗
待读
github.com
Barter 是 Rust 的开源事件驱动交易和回测框架,面向 live trading、market data、execution、portfolio、strategy 和 backtesting 等模块化组件。
适合研究 Rust 交易系统架构,重点看事件流、类型建模、异步运行时、交易所适配和回测/实盘边界。
-
hezuclub.com/gupiao/fupeng
↗
待读
hezuclub.com
中文股票/交易相关页面,可能聚合某位作者或课程资料,适合作为交易思想与市场经验类材料入口。
阅读时建议只提炼可验证的方法论和风险框架,不把观点当成交易结论。
-
joaquinbejar/OptionStratLib: OptionStratLib is a comprehensive Rust library for options trading and strategy development across multiple asset classes.
↗
待读
github.com
OptionStratLib 是 Rust 的期权交易与策略开发库,面向多资产类别的期权策略建模、组合分析和相关计算。
适合研究 Rust 中如何表达 option、strategy、payoff、Greeks 和组合风险。
-
joaquinbejar/OrderBook-rs:用 Rust 编写的高性能、线程安全的限价订单簿实现。该项目提供了一个全面的订单匹配引擎,专为低延迟交易系统设计,重点关注并发访问模式和无锁数据结构。
↗
待读
github.com
OrderBook-rs 是 Rust 实现的限价订单簿和撮合引擎项目,关注低延迟、线程安全、并发访问模式和无锁/高性能数据结构。
适合学习交易系统核心数据结构,重点看订单生命周期、价格档位、撮合规则、并发安全和基准测试。
-
michaelchu/optopsy: A nimble options backtesting library for Python
↗
待读
github.com
optopsy 是 Python 期权研究与回测库,当前 GitHub 跳转到 goldspanlabs/optopsy,定位为 nimble options research and backtesting library。
适合做期权策略筛选和历史回测实验,阅读时重点检查数据格式、合约选择、到期处理和交易成本假设。
-
nautechsystems/nautilus_trader: A high-performance algorithmic trading platform and event-driven backtester
↗
待读
github.com
NautilusTrader 是高性能算法交易平台和事件驱动回测系统,面向 backtesting、live trading、market data、execution、portfolio 和风险模块。
适合研究生产级交易平台架构,重点看事件驱动、数据模型、回测/实盘一致性和多交易所适配。
-
options_finance_analysis/delta_hedging_jupyter.ipynb 在主 ·多里夫/options_finance_analysis
↗
待读
github.com
一个关于 delta hedging 的 Jupyter Notebook,属于期权金融分析项目,通常用于演示期权 delta、对冲组合、标的变动和 PnL 之间的关系。
适合把 Black-Scholes/Greeks 从公式转成可运行实验,重点看离散对冲误差和路径依赖。
-
vollib/py_vollib
↗
待读
github.com
py_vollib 是 Python 期权定价/波动率库,围绕 Black-Scholes、Black、Black-Scholes-Merton、隐含波动率和 Greeks 等常见计算。
适合作为期权计算工具库源码阅读,重点看数值求解、边界条件和 Greeks 实现。
-
布朗运动、伊藤引理、BS 公式(前篇) - 知乎
↗
待读
zhuanlan.zhihu.com
中文期权数学入门文章,围绕布朗运动、伊藤引理和 Black-Scholes 公式展开,帮助建立随机过程到期权定价的基本链路。
适合作为随机微积分和期权定价的直觉入口,后续应配合教材/推导补严谨性。
-
社区 - 优矿
↗
待读
uqer.datayes.com
优矿社区页面,聚合量化研究、策略、数据分析、回测和平台使用相关内容。
适合查中文量化实践文章和策略示例,阅读时要重点分辨平台示例、研究假设和实盘可迁移性。
Rust 46 links
-
100 Exercises To Learn Rust
↗
待读
github.com
Mainmatter 的 100 个 Rust 练习项目,通过渐进式题目覆盖 Rust 核心语法和工程常用概念。
适合制定固定节奏的练习计划,用 100 个小任务补齐肌肉记忆。
-
AIBodh
↗
待读
aibodh.com
围绕 Rust 和 Bevy 的教程站点,主打《The Impatient Programmer's Guide to Bevy and Rust》,从零构建 2D 游戏,并覆盖 3D editor 等系列教程。
适合补 Rust 图形/游戏工程、ECS、可视化交互和项目式开发能力。
-
Async/Await | Writing an OS in Rust
↗
待读
os.phil-opp.com
Writing an OS in Rust 中关于 async/await 的章节,在裸机/内核环境里解释 futures、executor 和异步任务。
适合理解 async 不依赖大型 runtime 的本质,能看到最小 executor 如何工作。
-
Async Rust never left the MVP state
↗
待读
tweedegolf.nl
一篇对 async Rust 现状的批评文章,讨论 async/await、runtime、trait、Pin、生态分裂和 ergonomics 仍存在的问题。
适合在学完 Tokio/async 基础后阅读,用来理解 Rust async 的现实复杂度。
-
Async in depth | Tokio - An asynchronous Rust runtime
↗
待读
tokio.rs
Tokio 官方教程的 async 深入章节,解释 Future、poll、wake、executor 和 async/await 如何协作。
适合从“会用 Tokio”进入“知道 Tokio 为什么这样工作”。
-
Branchless Rust: Making a Filter 4x Faster by Removing an if
↗
待读
greyblake.com
以过滤 `f64` slice 的热循环为例,用 Criterion 比较 iterator、预分配和 branchless 实现,并通过不同 selectivity 与有序/随机输入说明 branch predictor 的表现;branchless 版本把条件转成 0/1 算术和无分支写入,再检查生成汇编验证优化来源。
最有价值的结论不是“删除所有 `if`”,而是区分廉价的可预测分支和昂贵的 misprediction。文章同时展示 branchless 会牺牲最佳情况、增加写入并降低可读性,强调只有 profiler 指向不可预测热分支时才值得采用。
-
Building a MiniTokio in Rust: How does Tokio Work ! | by Sourav Das | Medium
↗
待读
medium.com
通过构建 MiniTokio 解释 Tokio 工作机制的文章,涉及 executor、task、waker、reactor 和 async I/O 的基础部件。
适合作为 Tokio 官方 async 深入教程的实践补充。
-
CodeCrafters
↗
待读
codecrafters.io
CodeCrafters 是项目式编程挑战平台,可以用 Rust 实现 grep、HTTP server、Redis、SQLite、Git、Docker 等真实系统的简化版。
适合把 Rust 练习从语法题推进到系统项目,尤其适合测试驱动实现协议和存储。
-
Debloat your async Rust
↗
待读
tweedegolf.nl
Tweede golf 关于减少 async Rust 代码体积的文章,主题涉及 futures、monomorphization、状态机、依赖和 binary size。
适合嵌入式/CLI/服务端性能敏感场景,帮助理解 async 抽象如何影响编译产物。
-
Effective Rust - Effective Rust
↗
待读
lurklurk.org
Effective Rust 是 Rust 实践建议书,按条目讲解类型、trait、error、ownership、unsafe、FFI、testing 和工具链等工程经验。
适合已有基础后读,用来提升 API 设计和工程判断。
-
Exercism Rust Track
↗
待读
exercism.org
Exercism 的 Rust track,提供大量练习题、测试和社区解法,用于训练语法、标准库和问题建模。
适合看别人如何用 idiomatic Rust 解同一题,学习 API 和风格。
-
IPC in Rust - a Ping Pong Comparison
↗
待读
3tilley.github.io
用 ping-pong 示例比较 Rust 中不同 IPC 方案的文章,可能涵盖 pipes、sockets、shared memory 或 channel 风格实现。
适合学习进程间通信的 API/性能/复杂度取舍,也能练习 Rust 系统编程。
-
Introduction - Asynchronous Programming in Rust
↗
待读
rust-lang.github.io
Rust 官方 async book,介绍 async/await、Future、executor、pinning、streams、并发组合和生态实践。
适合作为 async Rust 的正式入门材料,和 Tokio 文档互补。
-
Introduction - Rust Design Patterns
↗
待读
rust-unofficial.github.io
Rust Unofficial 的设计模式文档,整理 Rust 中常见 idiom、design pattern 和 anti-pattern。
适合从“会写”过渡到“写得像 Rust”,尤其适合查 API 设计和错误处理习惯。
-
Introduction - The Little Book of Rust Macros
↗
待读
lukaswirth.dev
The Little Book of Rust Macros 的英文维护版,系统讲解 Rust 宏尤其是 `macro_rules!` 的语法、技巧和限制。
适合和中文版对照阅读,遇到宏边界问题时查原文更稳。
-
Introduction - The Rust Performance Book
↗
待读
nnethercote.github.io
Nicholas Nethercote 的 Rust Performance Book,覆盖 profiling、编译时间、allocation、collections、iterators、bounds checks 和性能分析方法。
适合优化 Rust 程序前阅读,强调先测量再优化。
-
Introduction - The Rustonomicon
↗
待读
doc.rust-lang.org
Rust 官方 unsafe Rust 深入书,覆盖 ownership 的底层保证、variance、drop check、send/sync、FFI、uninitialized memory 和 unsafe abstractions。
适合准备写 unsafe 或读底层库源码前学习,重点是建立安全不变量意识。
-
Introduction - Writing Interpreters in Rust: a Guide
↗
待读
rust-hosted-langs.github.io
Rust Hosted Langs 的解释器实现指南,关注用 Rust 构建托管语言运行时、对象模型、GC、VM 和解释器基础设施。
适合编程语言方向,重点学习 Rust 中如何表达 runtime、内存管理和动态语言对象。
-
Introductions - Dependency Injection like Bevy Engine from Scratch
↗
待读
promethia-27.github.io
从零实现类似 Bevy Engine 的依赖注入/系统调度机制的教程,涉及 ECS 风格、类型反射、资源注入和函数参数抽取。
适合理解 Bevy 的 ergonomics 背后如何用 Rust 类型系统和 trait 做框架设计。
-
Learning Async Rust With Entirely Too Many Web Servers
↗
待读
ibraheem.ca
通过实现多个 web server 逐步学习 async Rust 的文章,通常从同步模型演进到 async runtime、Future 和 I/O 事件。
适合用项目驱动理解 async,而不是只读抽象定义。
-
Making the Tokio scheduler 10x faster | Tokio - An asynchronous Rust runtime
↗
待读
tokio.rs
Tokio 官方关于 scheduler 优化的文章,介绍任务系统、work-stealing、调度开销和 runtime 性能改进。
适合深入理解 async runtime 性能,不只是 API 使用。
-
Operating System in 1,000 Lines | OS in 1,000 Lines
↗
待读
1000os.seiya.me
用约 1000 行代码实现小型操作系统的教程,强调用最小代码理解 boot、kernel、paging、process 和系统调用等机制。
适合在完整 OS 教程前做快速纵览,建立“内核最小闭环”。
-
PingCAP Talent Plan
↗
待读
github.com
PingCAP Talent Plan 是分布式系统/数据库训练项目,包含 Rust、网络、KV store、Raft 等实践课程。
适合数据库和分布式系统方向的 Rust 项目训练,任务难度比入门练习更接近工程。
-
Rust Arc refactor
↗
待读
baarse.substack.com
一个关于 Rust `Arc` 使用和重构的工程案例,讨论共享所有权、并发结构和代码复杂度如何演化。
适合反思 `Arc` 不是默认答案,重点看所有权边界、生命周期和共享状态设计。
-
Rust By Practice
↗
待读
practice.course.rs
Rust By Practice 是练习驱动的 Rust 学习资料,按基础语法、所有权、复合类型、trait、泛型、生命周期等主题组织题目。
适合中文学习者用题目巩固概念,和 Rustlings 可互补。
-
Rust Type System Turing Complete
↗
待读
sdleffler.github.io
展示 Rust 类型系统具备图灵完备性的文章/实验,通过类型、trait、关联类型等机制表达计算。
适合理解 Rust trait system 的表达能力和边界,但更偏类型体操,不应直接当日常工程风格。
-
Rust typestate
↗
待读
cliffle.com
Cliffle 关于 Rust typestate 模式的文章,用类型状态表达对象生命周期和合法操作集合。
适合学习如何把协议、状态机和资源使用约束前移到编译期。
-
Rust 程序设计语言 - Rust 程序设计语言 中文版
↗
待读
rustwiki.org
《The Rust Programming Language》中文版,Rust 官方入门主书,覆盖语法、所有权、结构体、枚举、错误处理、泛型、trait、生命周期、迭代器、并发和智能指针。
适合 Rust 基础主线阅读,是后续 async、unsafe、系统项目的前置材料。
-
ShredenGroup/rust_system
↗
待读
github.com
一个 Rust system 相关 GitHub 仓库,适合作为 Rust 系统编程资料或代码集合入口阅读。
建议先从 README 和目录结构入手,判断它更偏 OS、网络、并发还是底层工具链,再决定是否深入。
-
Surelock
↗
待读
notes.brooklynzelenka.com
介绍 Rust deadlock-freedom 库 Surelock 的设计思路:通过 `LockSet` 的确定性排序和 `Level<N>` 的编译期锁顺序约束,打破 Coffman 条件中的 circular wait。
把并发安全问题交给 Rust 类型系统处理,尤其值得关注 `MutexKey` 作为线性/仿线性能力令牌来追踪锁状态的设计。
-
The Impatient Programmer’s Guide to Bevy and Rust | AIBodh
↗
待读
aibodh.com
AIBodh 的 Bevy/Rust 书,从设置玩家移动开始,逐步构建过程生成世界、碰撞、库存、粒子效果、敌人寻路、生命/伤害、音效、存档和多人网络。
项目式路径很完整,不要求预先掌握 Rust,适合把 Rust、ECS 和游戏循环结合起来练。
-
The Rust Programming Language Forum
↗
待读
users.rust-lang.org
Rust 官方用户论坛,讨论语言使用、库选择、编译错误、生命周期、async、unsafe 和项目设计问题。
适合查真实 Rust 问题和专家回答,特别适合理解 borrow checker 报错背后的设计意图。
-
There Is Life Before Main in Rust
↗
待读
grack.com
分析 Rust 程序进入 `main` 之前发生什么的文章,主题通常涉及链接、启动代码、runtime 初始化、panic/allocator/lang items 等。
适合把 Rust 和 ELF/链接/启动流程连接起来,理解二进制程序不是从 `main` 凭空开始。
-
Thread Pooling in Rust | Burak Sekili
↗
待读
buraksekili.github.io
用 Rust 实现/讲解 thread pool 的文章,涉及 worker、channel、job queue、线程生命周期和 graceful shutdown。
适合理解 Rust 并发基础和所有权如何约束线程池设计。
-
Welcome to Comprehensive Rust 🦀 - Comprehensive Rust 🦀
↗
待读
google.github.io
Google 的 Comprehensive Rust 英文课程,覆盖 Rust 基础、所有权、错误处理、泛型、并发、unsafe、Android/裸机等模块。
适合快速系统复习 Rust,课程结构比单本书更适合短期集中训练。
-
WuBingzheng/build-lua-in-rust: 《用Rust实现Lua解释器》 / _Build a Lua Interpreter in Rust_
↗
待读
github.com
用 Rust 实现 Lua 解释器的中文项目/书稿,覆盖词法、语法、字节码/VM、表、函数、闭包和 Lua 运行时机制。
适合把 Rust 与解释器实现结合起来,项目完整度比单篇教程更适合持续练习。
-
Zero-copy pages in Rust
↗
待读
redixhumayun.github.io
关于 Rust 中数据库 page 和 zero-copy 访问的文章,关注如何避免不必要拷贝并安全表达二进制布局。
适合数据库/存储系统方向,重点看 slice、lifetime、alignment、serialization 和安全边界。
-
error handling 1
↗
待读
bugenzhao.com
Bugen Zhao 关于 Rust/RisingWave 错误处理实践的系列第一篇,从 `std::error::Error`、`Debug`/`Display`、`source` 链、`provide`、error report、`tracing` 结构化日志、backtrace 和 `anyhow` context 等角度讨论错误如何被消费和呈现。
不是泛泛而谈“最佳实践”,而是从大型 Rust 项目的用户可见错误、日志可观测性和源错误链维护出发,适合用来整理工程级错误处理规范。
-
hecto: Build Your Own Text Editor in Rust
↗
待读
philippflenker.com
Hecto 是用 Rust 构建文本编辑器的教程,受 kilo 启发,逐步实现终端输入、渲染、编辑、搜索和文件操作。
适合练习终端 UI、状态管理和系统 API,项目小但完整。
-
len を実装する
↗
待读
zenn.dev
日文 Rust 技术文章中的 `len` 实现章节,围绕某个数据结构或抽象的长度接口实现展开。
适合精读小型 Rust API 实现,关注 trait、所有权、借用和边界条件如何表达。
-
rCore-Tutorial-Book-v3 3.6.0-alpha.1 文档
↗
待读
rcore-os.cn
rCore Tutorial Book v3 文档,用 Rust 实现教学操作系统,覆盖 RISC-V、批处理、多道程序、地址空间、进程、文件系统和并发等主题。
适合中文 Rust OS 学习主线,和 Writing an OS in Rust 形成 x86/RISC-V 视角互补。
-
rust-lang/rustlings: :crab: Small exercises to get you used to reading and writing Rust code!
↗
待读
github.com
Rust 官方小练习集合,通过修复/完成练习熟悉 Rust 语法、所有权、错误处理、traits、lifetimes 和 collections。
适合读完主书前几章后立即练手,用编译错误驱动学习。
-
std::pin - Rust
↗
待读
doc.rust-lang.org
Rust 标准库 `std::pin` 官方文档,解释 `Pin`、`Unpin`、自引用类型、移动语义和 unsafe pinning API。
适合深入 async Rust 前反复阅读,因为 Pin 是理解 Future 状态机和自引用安全的关键。
-
引言 - 嵌入式Rust之书
↗
待读
logiase.github.io
《The Embedded Rust Book》中文版,介绍 no_std、交叉编译、嵌入式工具链、外设访问、HAL 和裸机 Rust 开发。
适合从普通 Rust 进入嵌入式/裸机,理解 allocator、panic、startup 和硬件抽象。
-
欢迎来到 Comprehensive Rust 🦀 - Comprehensive Rust 🦀
↗
待读
google.github.io
Google Comprehensive Rust 的中文版本,覆盖 Rust 基础到进阶主题,适合中文阅读者系统学习。
适合和英文版同步使用,遇到术语时可对照中英表达。
-
简介 - The Little Book of Rust Macros (Rust 宏小册)
↗
待读
zjp-cn.github.io
Rust 宏小册中文版,讲解 declarative macros、macro_rules、模式匹配、递归宏和宏调试。
适合系统理解 macro_rules,不再只靠复制宏模板。
System Design 4 links
-
ByteByteGo Newsletter | Alex Xu | Substack
↗
待读
blog.bytebytego.com
Alex Xu 团队的系统设计与工程技术 newsletter,用较简洁的图文解释复杂系统,主题包含 Docker、网络协议、Netflix 技术栈等技术深潜。
适合碎片时间建立系统设计直觉,用图解和短文把复杂后端组件拆成可复述的模型。
-
Own Your Next Software Engineering Interview with mock interviews, expert written guides, and interactive learning modules.
↗
待读
hellointerview.com
软件工程面试准备平台,提供 System Design、Coding、Low-Level Design、ML System Design、Behavioral、AI Enabled Coding 等学习轨道,并包含公司指南、题库、课程和 guided practice。
适合把系统设计知识转成面试表达能力,尤其适合练习从实体、API、数据库到扩展性深挖的答题结构。
-
System Design Primer
↗
待读
github.com
开源的大规模系统设计学习项目,目标是帮助理解 scalable systems 并准备系统设计面试,内容包含主题索引、学习指南、面试题、示例解法、图示和 Anki 卡片。
强在体系化权衡分析,覆盖性能/可扩展性、延迟/吞吐、CAP、一致性、DNS、CDN、负载均衡、数据库、缓存、消息队列、RPC/REST 和安全等基础模块。
-
ashishps1/awesome-system-design-resources: Learn System Design concepts and prepare for interviews using free resources.
↗
待读
github.com
免费系统设计学习与面试资料索引,覆盖可扩展性、可用性、可靠性、CAP、一致性哈希、网络、API、数据库、缓存、异步通信、微服务、架构模式、设计权衡、典型系统设计题和分布式系统论文。
适合作为系统设计复习路线图,能从核心概念一路连到面试题、工程文章和经典论文。
Systems 37 links
-
Algorithms for Modern Hardware
↗
待读
en.algorithmica.org
从 performance engineering 出发,把算法复杂度与真实硬件成本结合起来,系统覆盖 benchmark、profiling、编译器与汇编、流水线和分支、整数与浮点算术、SIMD、CPU cache、prefetch、内存布局、虚拟内存和 external-memory model,并用矩阵乘、二分搜索、前缀和、数论算法、B-tree/segment tree 等案例实践硬件感知优化。
它补足传统算法课程只计算渐进复杂度的局限,强调 latency、throughput、cache line、branch prediction、vectorization 和 memory bandwidth 如何决定真实性能。适合配合 Linux `perf`、Compiler Explorer 和微基准逐章实验,也可作为理解 CPU kernel 与高性能数据结构的主线教材。
-
Beej's Guide to Network Programming
↗
待读
beej.us
从 socket、TCP stream 与 UDP datagram 的基本模型开始,介绍 IPv4/IPv6、子网、端口、字节序和 socket address 结构,随后逐个讲解 `getaddrinfo`、`socket`、`bind`、`connect`、`listen`、`accept`、`send/recv` 与 `sendto/recvfrom`,并实现简单的 stream/datagram client-server。
后半部分继续讨论 blocking、`poll`、`select`、完整发送、数据序列化和 broadcast,并附常见问题及 socket API man pages。它以短小可运行的 C 程序贯穿概念,适合在学习 TCP/IP 理论时同步动手,建立系统调用、协议语义和并发连接之间的对应关系。
-
Concurrency and Async Programming (Learning Path) – Real Python
↗
待读
realpython.com
Real Python 的 Python 并发学习路径,覆盖 concurrency、GIL、threading、thread safety、asyncio、async iterator、parallel processing 和 Python 3.13 free threading。
适合用 Python 作为入口系统学习线程、异步和并行,重点区分 I/O-bound、CPU-bound、GIL 和同步原语。
-
Exercism x86-64 Assembly
↗
待读
exercism.org
Exercism 的 x86-64 Assembly track,提供一组使用 NASM 练习汇编语言的题目,从基础数据处理到更复杂的控制流和函数实现。
适合把汇编学习从“读语法”推进到“写题练手”,能快速暴露调用约定和寄存器使用问题。
-
Flat Assembler
↗
待读
flatassembler.net
Flat Assembler 官方网站,提供 FASM 汇编器下载、文档、示例和相关资源,面向 x86/x86-64 汇编与低层开发。
适合想尝试非 NASM 工具链时阅读,尤其适合 OSDev、bootloader 和宏汇编实验。
-
How branches influence the performance of your code and what can you do about it?
↗
待读
johnnysswlab.com
Johnny's Software Lab 关于分支对性能影响的文章,讨论分支预测、错误预测、branchless 技巧、数据布局和缓存行为之间的权衡。
适合写性能敏感代码前阅读,能避免把 branchless 当银弹,学会结合数据分布和缓存局部性判断。
-
How do breakpoints even work?
↗
待读
interrupt.memfault.com
Chris Coleman 从硬件断点和软件断点的区别讲起,通过 nRF52840 Cortex-M4F 裸机程序、GDB、J-Link GDB Server 与 GDB Remote Serial Protocol,追踪断点的安装、触发、临时移除、单步越过和重新安装过程;后半部分直接检查 Cortex-M Flash Patch and Breakpoint Unit 的 `FP_CTRL`、`FP_COMPn` 寄存器,以及 Flash 与 RAM 代码区域采用不同断点实现的原因。
把 IDE 中一次普通的“点击断点”展开成 debugger、gdbserver、远程协议、指令替换和 MCU 调试硬件之间的完整链路,也解释了硬件断点数量有限、Flash 中软件断点受限,以及 GDB 为什么在继续执行前先移除断点并单步跨过原指令。
-
How statically linked programs run on Linux
↗
待读
eli.thegreenplace.net
Eli Bendersky 解析 Linux 上静态链接程序如何启动运行,涉及 ELF、入口点、loader、`_start`、C runtime 初始化和 `main` 调用链。
适合与 linker/object file 系列一起读,把“可执行文件被内核加载后发生什么”补完整。
-
How to read shader assembly
↗
待读
interplayoflight.wordpress.com
Kostas Anagnostou 以 DirectX/HLSL pixel shader 为例,对照高层代码、编译器中间语言和 AMD GCN ISA,逐段解释 scalar/vector 指令与寄存器、wavefront、execution mask、属性插值、纹理采样、内存等待、条件分支、线程发散和 render-target export。
提供一种实用的 GPU 汇编阅读方法:先把 ISA 分块映射回高层 shader,再沿数据来源、寄存器、等待与控制流解释硬件行为。可借助 Shader Playground 在没有 AMD GPU 时复现实验,也适合作为 CUDA PTX/SASS 学习之外的 GPU ISA 对照材料。
-
Implement DNS in a weekend
↗
待读
implement-dns.wizardzines.com
Julia Evans 的动手教程,目标是在一个周末内实现一个 DNS 解析器/客户端,从 DNS 报文格式、查询、响应、递归/迭代解析等基础开始。
适合把网络协议学习落到字节级实现,读完后 DNS 不再只是“配置项”。
-
Johnny's Software Lab
↗
待读
johnnysswlab.com
面向软件性能工程师的博客站点,主题覆盖 C++ performance、memory subsystem performance、low-level optimization、parallel programming、toolchain/compiler optimization、performance analysis tools 和 debugging。
适合作为长期性能工程资料入口,尤其适合把 CPU cache、branch prediction、SIMD、allocator、compiler optimization report、profiling 工具这些分散主题串成性能优化知识网。
-
Learnix OS
↗
待读
learnix-os.com
Learnix OS 是一个从零构建小型操作系统的教程入口,面向想理解 boot、kernel、内存、进程/线程和硬件交互的学习者。
适合作为 OS 实作路线,用“自己把内核跑起来”的方式理解操作系统抽象。
-
Linux kernel locking documentation
↗
待读
docs.kernel.org
Linux kernel 官方 locking 文档入口,覆盖内核锁、spinlock、mutex、RCU、memory barriers、lockdep 和并发安全相关规则。
适合读内核源码前补同步原语语义,尤其适合理解为什么内核并发和用户态并发不完全一样。
-
LinuxCommunity.io - Linux community forum for enthusiasts and sysadmins.
↗
待读
linuxcommunity.io
面向 Linux 爱好者和系统管理员的社区论坛,讨论发行版、命令行、系统管理、服务器、排障和开源工具等内容。
适合遇到 Linux 使用/运维问题时查真实案例,也适合观察 sysadmin 视角的问题分类。
-
Making Sense of Acquire-Release Semantics
↗
待读
davekilian.com
通过单生产者单消费者 ring queue 的错误执行,解释真实机器为何不存在程序员想象中的单一全局内存顺序,以及 cache、乱序执行和 memory ordering 如何导致“标志已可见但数据尚不可见”;随后从 full fence、single ownership 和跨线程 handoff 推导 release store 与 acquire load。
把抽象内存序解释为共享内存所有权的发布与获取:release 保证之前的操作先于发布写完成,acquire 保证获取读之后的操作不会提前。文章最后给出 C++ atomic queue 示例,也能直接帮助理解 Rust `Ordering::Release`、`Acquire` 与 `AcqRel`。
-
Memory Allocation Strategies
↗
待读
gingerbill.org
Ginger Bill 的内存分配策略系列,讲解 arena/linear allocator、stack allocator、pool allocator、free list、buddy allocator 等常见 allocator 设计。
适合理解通用 malloc 之外的专用内存管理方式,尤其适合游戏、系统软件和性能敏感场景。
-
Memory Management Reference
↗
待读
memorymanagement.org
Ravenbrook 维护的内存管理参考站,包含 memory management glossary、入门文章、bibliography 和 FAQ,主题覆盖硬件/操作系统/应用层内存管理、分配技术、回收技术、垃圾回收和不同语言中的内存管理。
适合作为 allocator、GC、内存管理术语和论文线索的长期参考,能和 Ginger Bill 的 allocator 系列、Johnny's Software Lab 的动态内存成本文章一起读。
-
Memory layout of multi-dimensional arrays
↗
待读
eli.thegreenplace.net
Eli Bendersky 的文章系统解释多维数组如何映射到线性内存,比较 row-major 与 column-major,推广到 N 维数组 offset 计算,并用 NumPy 与 C/C++ 访问模式示例说明内存布局、cache locality、vectorization 和遍历顺序对性能的影响。
适合作为 CUDA/tensor/matrix 性能学习的前置基础,能把 `row * ncols + col`、N 维 index flatten、连续访问、cache 和 SIMD 这些概念一次讲清楚。
-
Modern Microprocessors: A 90-Minute Guide
↗
待读
lighterra.com
从时钟频率之外的性能来源讲起,依次介绍 pipeline、superscalar 与 VLIW、指令依赖和延迟、branch prediction 与 predication、乱序执行和 register renaming,再延伸到 power/ILP wall、x86、SMT、多核、SIMD、cache、memory hierarchy、带宽与延迟。
篇幅紧凑但覆盖了理解 CPU 性能所需的完整词汇体系,能解释 branchless code、数据布局、cache miss 和 memory-level parallelism 为什么会改变程序速度。适合作为阅读性能文章和 CPU profiler 指标前的微架构地图。
-
NASM Documentation
↗
待读
nasm.us
NASM 官方文档,包含汇编语法、指令、宏、输出格式、命令行选项、section、relocation 和平台相关细节。
适合作为 x86/x86-64 汇编实践的权威手册,写 bootloader、object file 或底层实验时可随查。
-
OSDev Wiki: FASM
↗
待读
wiki.osdev.org
OSDev Wiki 关于 FASM 的页面,介绍 FASM 在操作系统开发、裸机编程和启动代码场景中的使用方式与参考资源。
适合把 FASM 放进 OSDev 语境下学习,和 bootloader、kernel entry、binary format 等主题一起读。
-
Profiling & tracing with perf
↗
待读
jvns.ca
一本 24 页的 Linux `perf` 图解小册,介绍如何用 `perf top` 定位正在消耗 CPU 的函数,用 `perf record` 和 `perf report` 采样并分析程序,用 `perf stat` 统计事件,以及用 `perf trace` 跟踪系统调用;同时解释采样分析、内核事件和 `perf` 的底层工作方式。
用短小图解和命令示例降低 `perf` 的入门门槛,覆盖 C、C++、Go、Rust、Node.js、Java/JVM 等程序的性能分析,并讨论调用栈、内核符号和不同语言的 profiling 条件。适合配合一个真实 CPU 热点程序边读边实验。
-
RFC 793: Transmission Control Protocol
↗
待读
rfc-editor.org
TCP 的经典 RFC,定义 Transmission Control Protocol 的服务模型、报文段格式、状态机、连接管理、可靠传输、窗口和重传等基础机制。
适合作为 TCP 原始语义参考,配合现代 TCP 资料阅读时能分清“协议本体”和后来扩展。
-
Ray Toal NASM Tutorial
↗
待读
cs.lmu.edu
Ray Toal 的 NASM/x86-64 汇编教程,面向入门者讲解寄存器、指令、调用约定、系统调用、函数和与 C 交互等基础。
适合作为 NASM 官方手册前的实战入门,把最小可运行程序写起来。
-
Shaders
↗
待读
makingsoftware.com
以可视化方式介绍 shader 这种运行在 GPU 上的小程序,以及它在图形渲染过程中如何处理顶点、几何信息和像素输出,帮助理解 CPU 提交绘制任务后,数据如何经过 GPU 的并行阶段形成屏幕图像。
适合作为 shader 入门直觉材料,先建立“每个顶点/片元并行执行程序”的心智模型,再继续学习 GLSL/HLSL、rasterization、坐标变换和 GPU ISA。当前自动访问会遇到该站点的安全检查,阅读时以页面实际内容为准。
-
The Art of Assembly Language
↗
待读
plantation-productions.com
以 High Level Assembly(HLA)和 Intel 80x86 为教学载体,系统覆盖二进制与数据表示、布尔逻辑、CPU 与指令编码、寻址模式、栈和堆、过程调用、数组与记录、内存层级、缓存、虚拟内存、I/O、中断、浮点运算及大型汇编程序组织。
广度接近“汇编语言 + 计算机组成 + 系统编程”教材,适合选择性精读数据表示、CPU 执行、内存、寻址、栈和过程调用章节。由于示例主要使用较老的 HLA/32 位 x86 环境,不建议照搬工具链;现代实践继续使用 x86-64、NASM、System V ABI 和 GDB。
-
The Elements of Computing Systems
↗
待读
nand2tetris.org
Nand to Tetris /《The Elements of Computing Systems》的官方网站,提供课程讲义、项目材料和工具,用 NAND 门一路构建通用计算机和现代软件层级。
适合从硬件逻辑、CPU、汇编器、VM、编译器到操作系统建立端到端计算机系统图景。
-
The Little Book of Semaphores
↗
待读
greenteapress.com
Allen B. Downey 的并发小书,通过大量同步问题讲解 semaphore、mutex、barrier、producer-consumer、reader-writer、dining philosophers 等经典模式。
适合系统训练并发推理能力,尤其适合把同步问题写成可验证的小练习。
-
The Price of Dynamic Memory Allocation
↗
待读
johnnysswlab.com
Johnny's Software Lab 关于动态内存分配成本的文章,适合作为理解 `malloc`/`free`、堆分配开销、碎片化、缓存局部性和专用 allocator 取舍的待读材料。
可以和 Ginger Bill 的内存分配策略系列一起读:前者关注动态分配的性能代价和问题现象,后者补 arena、pool、free list 等替代设计。
-
The little book about OS development
↗
待读
littleosbook.github.io
一份从零编写小型 32 位 x86 操作系统的实践指南,从搭建交叉开发环境、通过 GRUB 启动内核以及汇编代码调用 C 开始,逐步实现屏幕与串口输出、GDT、IDT、中断和键盘输入、分页与物理页分配、用户态、文件系统、系统调用及多任务调度。
以可运行内核为主线,把操作系统课程中的虚拟内存、中断、特权级、进程和文件系统落到具体实现;适合已有 C、Linux 和基础计算机组成知识后动手练习。示例使用较旧的 IA-32、GRUB Legacy、Bochs 和 Ubuntu 工具链,学习时应把它当作原理实验,并按现代环境调整构建步骤。
-
UTM
↗
待读
mac.getutm.app
UTM 是 macOS 上基于 QEMU/Apple Virtualization 的虚拟机应用,可在 Apple Silicon 上运行 ARM 或通过模拟运行 x86/x86-64 系统。
适合作为系统实验环境,尤其是在 Apple Silicon Mac 上跑 Linux、x86-64 工具链、内核实验或汇编/OSDev 测试。
-
Virtual Memory: A Deep Dive into Page Tables, TLBs, and Linux Internals
↗
待读
blog.codingconfessions.com
Coding Confessions 的虚拟内存深潜文章,聚焦 page table、TLB、地址翻译、Linux internals 和虚拟内存对性能/隔离的影响。
适合把“虚拟地址到物理地址”这条链路读细,尤其适合配合 Linux 内存管理和 perf 现象理解。
-
cpu.land
↗
待读
cpu.land
一个面向程序员的 CPU/操作系统底层执行模型入门网站,讲解程序如何在 CPU 上运行、内存、进程、系统调用、内核和硬件/软件边界。
适合作为 systems 入门读物,用较现代的叙述把 CPU、OS 和程序执行串起来。
-
egos-2000
↗
待读
github.com
With only 2000 lines of code, egos-2000 implements every component of a teaching operating system that runs on both QEMU and RISC-V boards.
适合作为 OS 实作路线,用“自己把内核跑起来”的方式理解操作系统抽象。
-
iximiuz Labs
↗
待读
labs.iximiuz.com
提供 tutorials、courses、skill paths、自动检查的 troubleshooting challenges 和可随时创建的 playground。实验运行在真实 Linux VM、Docker host 或多节点 Kubernetes/K3s 集群中,可以直接使用网页终端或 SSH 操作,主题覆盖 Linux、networking、Docker、Podman、containerd、OCI image、Kubernetes、eBPF、安全、调试与可观测性。
每份教程可附带即时实验环境,挑战题提供分步检查、提示和参考解法,适合把“看懂容器与网络概念”推进到“能在真实服务器上诊断问题”。建议先走 Docker Roadmap,再按当前 Systems 路线选择 Linux networking、container runtime 和 Kubernetes troubleshooting 题目。
-
nandgame
↗
待读
nandgame.com
一个交互式构建计算机的网页游戏,从 NAND 门等基本逻辑组件开始,逐步搭出更复杂的电路和计算结构。
适合把数字逻辑和计算机组成变成可操作练习,作为 nand2tetris 的轻量互动补充。
-
我该如何开始阅读 Linux 内核的源代码?: r/linuxquestionss
↗
待读
reddit.com
Reddit 上关于如何开始阅读 Linux kernel source 的讨论,通常会涉及从驱动、子系统、书籍、文档、调试工具和小补丁切入的建议。
适合拿来制定 Linux 内核阅读路径,避免一上来从全量源码入口迷路。
No matching resources.
Comments
Loading comments...