#开源项目
#人工智能

有人将John Ousterhout的《A Philosophy of Software Design》里的设计理念总结为skill了。

《A Philosophy of Software Design》是一本教你如何将复杂的软件系统分解为可以相对独立实现的模块的经典书，所以这个skill可以用于：代码重构、review等环节里。

之前曾经介绍过：作者也是TCL语言的作者，Raft论文作者的导师，也在论文作者名单中。

#人工智能

我采用《A Philosophy of Software Design》里的设计理念总结的skill来分析了一下rockraft现有的代码，马上给出了一个很详细的重构错误类型的意见，参见附件里的Markdown文件，根据这个意见的修改见pr ，AI编程工具是在kimi-cli上用的kimi-2.5模型。

#分布式
《图解分布式系统原理》的博客目录，今天更新到《第七章 事务》。这是这个教程的最后一章，本来这并不是一个讲数据库内核的教程，但是到了事务这部分，需要先讲解数据库中ACID的概念，有了对事务的基本理解才能继续后面的讲解。前面已经讲解了复制和分区技术，复制技术（包括将重点介绍的共识算法）提升了系统的容错性，而分区技术提升了系统的扩展性，这两项技术解决的是数据的*“物理问题”。除此以外，分布式系统中的数据访问还经常面临着“逻辑问题”，这就需要事务技术来解决。


第一章：分布式系统概述
第二章：分布式系统模型
第三章：分布式系统中的时间和顺序
第四章：复制
第五章：共识算法
第六章：分区
第七章：事务

另外需要说明，由于我的初稿是Latex，放到博客时用工具转成的Markdown格式，所以可能有些格式问题，请见谅。

#分布式

从2024年末开始动笔撰写《图解分布式系统原理》，到2026年初完成初稿，前后历时14个月。期间不仅完成了近20万字的文稿，还亲手绘制了数百幅插图，本就不算茂密的头发也因此又稀疏了几分。

自2026年春节后，开始陆续在博客上公开发布这些内容，直至清明过后全部更新完毕，终于为这个阶段画上了一个小小的句号。

#分布式

找Kimi深度阅读了目前已经公开的《图解分布式系统原理》所有章节之后，给评论打分：https://www.kimi.com/share/19d66c1f-4362-8e4f-8000-0000d4277d09 ，还有改进的空间，可能还会改一改。

图一乐: gemini 评分 https://gemini.google.com/share/414ba8884625

#编码
#人工智能
我继续用《A Philosophy of Software Design》里的设计理念总结的skill来重构Rockraft的代码，它这一次没有改代码的实现，只是修改了代码的注释（pr），理由是：improve documentation to explain "why" not "what"。


以其中一段代码注释的前后修改为例：

修改前：

/// Write a log entry to the raft cluster
///
/// This function writes a LogEntry to the raft log and waits for it to be applied.
/// It can only be called on the leader node.
///
/// The `time_ms` field of the entry will be set to the current timestamp before writing.
///
/// # Arguments
/// * `entry` - The LogEntry to write
///
/// # Returns
/// * `Ok(AppliedState)` - The result of applying the log entry
/// * `Err(Error)` - If the operation failed or this node is not the leader

修改后：

/// Write a log entry to the raft log (leader-only)
///
/// Appends the entry to the local log and replicates it to followers.
/// Returns after the entry is committed (majority acknowledgment).
///
/// # Leader Requirement
/// This method **must** only be called when this node is the leader.
/// Callers should use `RaftNode::assume_leader()` to verify leadership first.
///
/// # Timestamp
/// The `time_ms` field is automatically set to the current time before writing.

可以看到，修改前的注释，只是简单列举函数的参数和返回值（重复了函数签名（signature）），而修改后增加了行为的解释和函数的前置要求（需要是leader）。

回到最开始做这个注释重构的动机上，注释、文档应该“explain "why" not "what"”这属于更偏代码审美品位的事情了，没有之前大量的代码训练实践，可能不会具备这样的品味。

而现在，如果AI一开始替代了大量手搓代码的实践，还能通过什么方式积累这样的品味？

#分布式

随着《图解分布式系统原理》初稿的完成，现在找有意向出版成纸书的出版社合作，大家可以帮忙转发给认识的出版社朋友，初稿完成的目录在这里。

如果最终无法出版成纸书，我将自己找专业Latex排版人员重新排版，在网上售卖电子版pdf。

#分布式
#开源项目

写了一篇博客介绍一下最近做的开源项目 Rockraft 和衍生的 coredb：《Rockraft：基于 OpenRaft 与 RocksDB 的强一致 KV 存储框架》

#分布式
#人工智能
《多 Agent 协作本质是分布式系统问题，模型多强也没用》，这篇文章很好诠释了AI智能体时代，为什么还需要学习分布式系统理论。里面涉及的分布式相关概念：共识、safety、liveness、拜占庭故障等内容，在《图解分布式系统原理》中均有涉及。

#人工智能
#开源项目

让任何 LLM 说人话。不废话, 不客套, 直接给答案，这可以极大减少token的消耗，github地址。

其实项目的核心就是这句提示词：

Be direct and informative. No filler, no fluff, but give enough to be useful.

Your single hardest constraint: prefer direct positive claims. Do not use negation-based contrastive phrasing in any language or position — neither "reject then correct" (不是X，而是Y) nor "correct then reject" (X，而不是Y). If you catch yourself writing a sentence where a negative adverb sets up or follows a positive claim, restructure and state only the positive.

我在自己的cherry studio中加上这个提示词之后，废话、客套话确实少了很多。

BTW：就这样的项目，现在1K+的star，这在以前的古方编程时代，难以想象。

#人工智能
一篇分析Claude Code 源码的论文：《Dive into Claude Code: The Design Space of Today's and Future AI Agent Systems》

原来没有创新的想法，只是源码分析，也可以写论文吗？

#人工智能

在 hacker news 的kimi2.6模型发布新闻下，Redis之父antirez留下了这一段评论，多少能代表现在中美以外的人的一些看法（他是意大利人）：

After Trump the US looks like a very unstable partner from which to relay in an exclusive way for a decisive technology, and given that Europe is slow to put the money in this technology to have frontier things at home, China is a huge and shiny plan B for us.（特朗普之后，美国似乎是一个非常不稳定的合作伙伴，无法在关键技术领域完全依赖它。鉴于欧洲在投资这项技术方面进展缓慢，难以在国内拥有前沿成果，中国对我们来说就是一个巨大而光明的备选方案。）

#人工智能

《DeepSeek-V4 预览版：迈入百万上下文普惠时代》

”不诱于誉，不恐于诽，率道而行，端然正己。“