Skip to content
Hoo Lab

阅读与工程笔记

系统软件、AI Agent、sandbox、数据库和 runtime 相关内容。

主要放一些论文阅读、工具使用和实现过程中的记录。

Now Reading

  • Agent sandbox
  • KV store
  • Runtime notes

论文笔记

All Papers →
AlphaEvolve: A Coding Agent for Scientific and Algorithmic Discovery
reading
AlphaEvolve 使用进化式代码搜索和大模型结合,探索算法与科学发现。

笔记分类

Sandbox 笔记

agent 沙箱、权限、隔离和 trace 相关内容。

sandboxpermissiontrace

Agent 工具

Claude Code、Codex CLI、OpenCode 等工具的使用记录。

agenttoolscli

数据库笔记

LSM、WAL、KV store 和存储系统相关阅读。

LSMWALKV

Runtime 笔记

Zig、C++ runtime、线程和形式化验证相关内容。

ZigC++TLA+