编译器构造（上半部分）
发布于
编译器构造：具体语法、抽象语法、解释器与 x86 基础 1 学习目标 本课程设定的核心学习目标包括以下五个主要方面： 理解具体语法（Concrete Syntax）与抽象语法（Abstract Syn...
继续阅读 →Raft正确性证明以及流程说明
发布于
正确性证明 Raft 算法正确性的核心在于证明 状态机安全性 (State Machine Safety)：如果一个节点已经将给定索引位置的日志条目应用到了其状态机中，则其他任何节点都不会在该索引位置...
继续阅读 →HNSW算法笔记
发布于
介绍 Hierarchical Navigable Small World（HNSW）算法过程笔记。 hnsw-1 hnsw-2 hnsw-3 hnsw-4 hnsw-5 hnsw-6...
继续阅读 →构建 Claude 技能的完整指南（译文）
发布于
目录 引言 基础 规划与设计 测试与迭代 分发与共享 模式与故障排除 资源与参考 引言 技能（Skill） 是一组指令——以一个简单的文件夹形式打包——用于教会 Claude 如何处理特定任务或工作流...
继续阅读 →METIS：具备配置自适应能力的快速高质量感知 RAG 系统
发布于
介绍 METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation的阅读笔记 笔记 notes notes notes...
继续阅读 →DeepSeek-R1：基于强化学习的大语言模型推理能力激励方法
发布于
介绍 DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning的阅读笔记 笔记 notes ...
继续阅读 →AReaL：用于语言推理的大规模异步强化学习系统
发布于
介绍 AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning的阅读笔记 笔记 no...
继续阅读 →Oobleck：大模型分布式训练的容错革命
发布于
介绍 Oobleck: Resilient Distributed Training of Large Models Using Pipeline Templates的阅读笔记 笔记 notes no...
继续阅读 →TrainVerify：基于等价性的分布式大语言模型训练验证方法
发布于
介绍 TrainVerify: Equivalence-Based Verification forDistributed LLM Training的阅读笔记 笔记 notes notes notes...
继续阅读 →xv6内核扩展8：文件系统
发布于
大文件 在这个作业中，你将增加 xv6 文件的最大大小。目前 xv6 文件的大小限制为 268 个块，或 268*BSIZE 字节（BSIZE 在 xv6 中为 1024）。这个限制源于 xv6 的 ...
继续阅读 →