new post: Composability: How Troupe Tames the Complexity of Distribut…

[sdzx-1]

…ed Systems

[gemini-code-assist]

Summary of Changes

Hello @sdzx-1, I'm Gemini Code Assist¹! I'm currently reviewing this pull request and will post my feedback shortly. In the meantime, here's a summary to help you and other reviewers quickly get up to speed!

此拉取请求引入了一篇新的博客文章，深入探讨了 Troupe 框架中组合性的核心概念。文章阐述了 Troupe 如何通过将分布式系统协议定义为类型安全的状态机并允许其组合，显著降低了开发复杂性和维护成本。它强调了从运行时编排到设计时规范的转变，并利用编译期验证来确保正确性，从而提高了对系统的理解。

Highlights

• 新增博客文章: 新增了一篇题为《组合性：Troupe 如何驯服分布式系统的复杂度》的博客文章。
• Troupe 的组合性核心: 文章深入探讨了 Troupe 框架如何利用类型安全的组合式状态机来定义分布式协议，从而将系统复杂度从传统方法的 O(R * ΣSi + R * T) 降低到 O(ΣSi + T)。
• 关键概念阐述: 详细解释了协议即类型、协议作为组合子、跨协议同步自动化以及编译期验证等核心概念，展示了 Troupe 如何将分布式系统的编排从运行时转移到设计时。
• 实例演示: 通过 rp2pc.zig 示例，具体展示了如何通过类型声明组合多个 PingPong 和两阶段提交协议，简化了复杂协议序列的实现。

Changelog

• content/post/2026-02-19-troupe-2.smd
  • 新增了一篇详细介绍 Troupe 框架组合性特性的博客文章。

Using Gemini Code Assist

The full guide for Gemini Code Assist can be found on our documentation page, here are some quick tips.

Invoking Gemini

You can request assistance from Gemini at any point by creating a comment using either /gemini <command> or @gemini-code-assist <command>. Below is a summary of the supported commands on the current page.

Feature	Command	Description
Code Review	/gemini review	Performs a code review for the current pull request in its current state.
Pull Request Summary	/gemini summary	Provides a summary of the current pull request in its current state.
Comment	@gemini-code-assist	Responds in comments when explicitly tagged, both in pull request comments and review comments.
Help	/gemini help	Displays a list of available commands.

Customization

To customize Gemini Code Assist for GitHub experience, repository maintainers can create a configuration file and/or provide a custom code review style guide (such as PEP-8 for Python) by creating and adding files to a .gemini/ folder in the base of the repository. Detailed instructions can be found here.

Limitations & Feedback

Gemini Code Assist may make mistakes. Please leave feedback on any instances where its feedback is incorrect or counter productive. You can react with 👍 and 👎 on @gemini-code-assist comments. If you're interested in giving your feedback about your experience with Gemini Code Assist for Github and other Google products, sign up here.

You can also get AI-powered code generation, chat, as well as code reviews directly in the IDE at no cost with the Gemini Code Assist IDE Extension.

Footnotes

1. Review the Privacy Notices, Generative AI Prohibited Use Policy, Terms of Service, and learn how to configure Gemini Code Assist in GitHub here. Gemini can make mistakes, so double check it and use code with caution. ↩

[gemini-code-assist]

Code Review

此拉取请求新增了一篇关于 Troupe 框架组合性的文章。文章结构清晰，详细阐述了 Troupe 如何通过组合性解决分布式系统中的复杂性问题，并提供了数学模型和代码示例来支持论点。整体内容质量很高，易于理解。建议修正代码示例中的行尾多余空格，以提升代码块的整洁度。

[gemini-code-assist]

在 Zig 代码示例中，请移除行尾多余的空格，以保持代码整洁和一致性。例如，PingPong(.alice, .bob, 和 TwoPhaseCommit(.charlie, .alice, .bob).Begin 行末尾有多余的空格。

PingPong(.alice, .bob,
    TwoPhaseCommit(.charlie, .alice, .bob).Begin

[gemini-code-assist]

在 Zig 代码示例中，请移除行尾多余的空格，以保持代码整洁和一致性。例如，PingPong(.alice, .bob, 和 TwoPhaseCommit(.charlie, .alice, .bob).Begin 行末尾有多余的空格。

PingPong(.alice, .bob,
    TwoPhaseCommit(.charlie, .alice, .bob).Begin