👋 Hi, I'm Jover
- 🔧 Interested in operating systems, programming languages, and distributed databases.
- 🌱 Recently: notion-formula-rs (opens in a new tab) — building blocks for a Notion-style formula language in Rust (analyzer + evaluator + partial LSP support). (WIP)
- 🧩 I build small toy projects for fun: DeliciOS (opens in a new tab) (an OS) and Water (opens in a new tab) (a programming language). Maybe a database next.
🐧 BTW: I use Arch Linux. If you’ve built a cool CLI tool, I’d love to try it.
Field Notes
Hi, I'm Jover.
Short essays on building, learning, and the small details that make software feel human.
Recent writing
- 看完 Anthropic CCC 的体会Published: 2026-02-06
昨天阅读了 Anthropic 那篇 ,和我最近在做的事情很接近,所以我特别留意他们的实践部分。
- 关于锁 (Lock)Published: 2023-06-30
想象一下,你正在参加一个大型派对,派对上有一间只能容纳一个人使用的洗手间。当有人在使用洗手间时,其他人必须等待他出来。这就是 锁 的基本概念。在编程世界中, 锁 就像那个 洗手间的门 ,而 线程 就像 派对的参与者 。
- Program LanguagePublished: 2023-03-05
词法分析 语法分析 (生成 AST) 语义分析 (检查以及对 AST 的修正,如检查变量定义、变量类型、表达式类型、函数参数数量、参数类型和返回值类型等。
- Linux KernelPublished: 2023-02-26
How To Build A Custom Linux Kernel For Qemu Using Docker
- i3wmPublished: 2023-02-24
Examples:
- KafkaPublished: 2023-02-14
Create network:
- 缓存一致性Published: 2023-02-13
MESI (Modified, Exclusive, Shared, Invalid) 协议是一种用于处理多处理器系统中缓存一致性的协议。它是通过在处理器的缓存行中维护四种状态来解决读写冲突问题的:
- 内存一致性模型Published: 2023-02-13
因作者水平有限,本文仅讨论 x86 架构 (TSO) 与 ARMv8 架构 (RMO),以此加深作者本人对硬件并行部分的知识的理解。
- Docker SSH 免密登录Published: 2023-02-12
记录一下 Dockerfile
End.