Donjuanplatinum Notes
生活与感悟
计算机
Linux
容器镜像配置
错误与处理
游戏环境
Gentoo Linux配置
工具
算法
emacs
eww (Emacs Web Wowser)
Emacs Gdb
Dired
Elisp
Emacs Application Framework
GPTel
MCP
Ediff
rgrep
gnus
vterm
Calc子系统
Specpdl机制
数据结构
区间树
Linux内核
Linux
硬件
说话术语
coding
Rust
CPP
NixOS
正则表达式
逻辑
服务
RFC
ML
Python
Pypi
汇编
逆向
协议
Lean4形式化证明
rCore操作系统内核
嵌入式
深度学习
操作系统
coq
GNU Hurd内核
CUDA
EE
数学
博客
要做的
Latex
定理
音乐
Donjuanplatinum Notes
计算机
emacs
查看页面源码
emacs
eww (Emacs Web Wowser)
基本操作
Emacs Gdb
Dired
Elisp
GNU Emacs原生库
C库
elisp库
库接口
calc系列
calc-do-quick-calc
calc-binary-op
math-numberp
math-reject-arg
math-with-extra-prec
math-normalize
math-zerop
fileio
expand-file-name
buffer
generate-new-buffer-name
set-buffer
ZV
BEGV
PT
editfns
save-restriction
save-excursion
goto-char
point-min
point-max
char-after
eval
let
let*
while
and
catch
if
progn
eval_sub
specbind
record_unwind_protect系列
unbind_to
unwind-protect
prog-ignore
subr
not
dotimes
when
when-let
derived-mode-p
if-let
with-current-buffer
search
re-search-forward
match-beginning
match-end
match-data
fns
length
sort
string-distance
mapcar
memq
assoc
alloc
make-vector
cons
make-list
data
eq
aset
aref
car
cdr
syntax.c
parse-partial-sexp
syntax.el
syntax-ppss
process.c
process.h
Lisp_Process
PROCESSP
XPROCESS
insdel
insert_from_string_before_markers
Emacs Application Framework
EAF Browser
GPTel
模型配置
命令
MCP
配置
Keyt
Ediff
rgrep
gnus
vterm
Calc子系统
架构设计
契约
精确与近似
规范化
语言嵌入
函数
Specpdl机制
核心数据结构
specbind_tag
specbinding
specpdl_ref
接口
GC
示例
ert测试经常用
non-local exit恢复
数据结构
cons cell
list
alist
哈希表
区间树
intervals
区间树
intervals