Arch Wiki学习笔记
发布于
前言 对于Arch Linux Wiki的阅读学习内容记录。 Boot流程 当按下计算机的电源按钮后，屏幕亮起，随后出现操作系统界面——这看似短暂的几秒钟内，计算机内部其实经历了一场复杂且精密的“接力...
继续阅读 →模运算优化
发布于
在计算机科学与算法竞赛中，模运算优化（Mod Optimization）是处理超大整数运算、避免数值溢出以及降低常数级时间复杂度的核心技术。本笔记将系统化地解析模运算的数学原理、代码实现机制、乘法逆元...
继续阅读 →MEM1——面向高效长跨度智能体的记忆与推理协同学习框架
发布于
背景与挑战 大语言模型（LLM）在诸如问答、自动摘要和代码生成等单轮任务中已经展现出卓越的性能。然而，在现实世界的新兴应用中，智能体通常需要进行多轮、长跨度的交互。例如，像 OpenAI 和 Gemi...
继续阅读 →Mem0：构建具有可扩展长期记忆的生产级 AI 代理
发布于
引言与背景 大型语言模型 (LLMs) 在生成连贯的上下文回复方面表现出色，但其固定的上下文窗口在长时间的多会话对话中难以保持一致性。 缺乏持久记忆机制导致了人机交互中的根本脱节。 没有记忆的 AI ...
继续阅读 →编译器相关x86指令
发布于
数据移动：mov mov dest, src 作用：把 的值复制到 。 常见形式： `asm mov rax, rdi ; 寄存器 -> 寄存器 mov rax, [rdi] ; 内...
继续阅读 →编译器主要topic（上半部分）
发布于
编译器课程里最容易“碎片化”的内容，往往不是某一条规则本身，而是这些规则之间的因果关系：为什么前端要做名字解析，为什么中间表示偏爱 SSA，为什么 tail call 和 non-tail call ...
继续阅读 →BusTub MVCC
发布于
BusTub 中 MVCC 工作原理 CMU 的教学数据库系统 (BusTub)，实现了典型的 多版本并发控制 (MVCC) 机制。 核心数据结构 1.1 UndoLink（版本链指针） `cpp ...
继续阅读 →Raft正确性证明以及流程说明
发布于
正确性证明 Raft 算法正确性的核心在于证明 状态机安全性 (State Machine Safety)：如果一个节点已经将给定索引位置的日志条目应用到了其状态机中，则其他任何节点都不会在该索引位置...
继续阅读 →编译器构造（上半部分）
发布于
编译器构造：具体语法、抽象语法、解释器与 x86 基础 1 学习目标 本课程设定的核心学习目标包括以下五个主要方面： 理解具体语法（Concrete Syntax）与抽象语法（Abstract Syn...
继续阅读 →HNSW算法笔记
发布于
介绍 Hierarchical Navigable Small World（HNSW）算法过程笔记。 hnsw-1 hnsw-2 hnsw-3 hnsw-4 hnsw-5 hnsw-6...
继续阅读 →