Aumnertic
学数据库与系统软件,常写 Rust。这里放学习笔记、Personal OS 的长期记录,偶尔聊京剧猫和 JRPG。
Learning database systems, mostly in Rust. Study notes, a long-running log of Personal OS, and the occasional detour into Jingju Cats and JRPGs.
全部文章All posts
-
2026
一天时间,把乱七八糟的订阅和服务器收拾干净
精简 AI 订阅、迁移到 1Password、域名统一到 Cloudflare、加固 VPS,再让云端 AI Agent 安全地接管服务器。
-
上下文工程——启蒙篇
上下文工程系列第一篇:为什么 Agent 比对话式 AI 好用,有效信息与边际递减,以及「恰好够用」的上下文。
-
利用AI工具进行期末复习的方法论研究
从一个杂谈的问题出发,进一步使用形式化方法探究AI工具在期末复习中应扮演的角色,以及使用AI工具进行期末复习的方法论
-
Github Zenfeed项目的Python复刻版本
一个用 Python 和 Rust(核心存储引擎)实现的信息处理管道,照着 Zenfeed 复刻:核心数据模型、参考 TSDB 的存储引擎,以及 Python 侧的流程组织。
-
Hello World
我的第一篇正式 Blog,一篇关于开始写作的随笔。