近期活跃

枢纽笔记（按反向链接密度）

这些是站内被引用最多的节点，适合作为「刚进入某主题」的起点：

论文

• hindley-milner — 类型推断
• attention — Transformer / LLM
• paxos-1998 — 分布式共识
• lambda-calculus — PL 理论
• hoare-logic — 形式化方法

项目

• react — 前端（项目笔记）
• pytorch — ML 框架
• kubernetes — 基础设施
• postgresql — 数据库

完整列表见 论文全景索引 与 项目全景索引 字母序表。