Skip to content

root / tags / rust

#Rust

6 fiches

Architecture & Construction Auto-verified translation

Buzz (buzz.xyz) — Rapport de recherche pour présentation

Internal research report dated **August 12, 2026** consolidating, for presentation purposes, everything publicly documented about **Buzz** — **Block**'s humans + agents workspace, launched on **July 21, 2026** under the **Apache 2.0** license. It aggregates the two engineering posts already filed alongside the corporate announcement, the GitHub repository, press coverage, X, and **three independent hands-on accounts** that constitute the dossier's only non-self-reported data. **(A) A vocabulary gap documented by quotation**: **Jack Dorsey**'s launch tweet announces *"model-agnostic, decentralized, self-sovereign, and open source"*; Block's `ARCHITECTURE.md` states *"The relay is the single source of truth. All reads and writes flow through it. There is no peer-to-peer event exchange, no gossip, no replication."* The relay is therefore single and authoritative per community: Buzz's "decentralization" is an **organizational sovereignty** — self-hosting and portable identity — not network redundancy. **TFTC**'s formulation: *"Two of those three hold cleanly. The third needs a qualifier."* **(B) An asymmetry between demonstrated rigor and exploitation risk.** On one side, a rare degree of formalism for a v0.4.x/0.5.x: multi-tenant isolation specification **mechanized in TLA+**, authorization properties verified in **Tamarin**, a model-checked Git storage protocol, a hash-chained append-only audit log, 127 *event kinds*, NIP-01/42/98/34. On the other, channel membership is the unit of permission — *"channel membership is not fine-grained tool authorization"* (João Queirós) —, agents run in `--dangerously-skip-permissions` outside any sandbox on a human's machine, and observability is lacking: *"Buzz tells me an agent got a message. It doesn't tell me what happens next"* (DevTools Daily, which reports silent OOM kills). Block acknowledges it: *"the agent can do anything, and security rests entirely on restricting who can tell it what to do"*. **(C) The technical stack**, absent from the filed posts: **Rust** relay (Axum WS + REST), **Postgres**, **Redis**, **S3/MinIO** via Blossom, **Tauri + React** desktop client. Agent integration goes through **`buzz-acp`**, an **ACP** harness that plugs in goose, Codex and Claude Code and translates **ACP ↔ MCP**, plus **`buzz-agent`**, an in-house agent. The report corrects itself on one point: the *"+33% more work"* in Block's TL;DR is the **ratio of completed tasks (20 versus 15 out of 44)**, not a score gain — the score itself rises from 59.1% to 71.5%, i.e. **+12.4 points**.

#Buzz#buzz.xyz#Block

**Deep Research Veille Interne** — rapport non signé · produit le **12 août 2026** en préparation d'une présentation. Aucune URL publique ; source archivée dans `raw-data/`.

AI Coding Agents & Skills Auto-verified translation

Agent Client Protocol — Introduction

Landing page of the **official specification** of the **Agent Client Protocol (ACP)** (`agentclientprotocol.com/get-started/introduction`), accessed on **August 2, 2026**. This is not a dated article but a **living artifact**: the fiche is dated by its observation, not by a publication date. **One-sentence mission statement**: *« The Agent Client Protocol (ACP) standardizes communication between code editors/IDEs and coding agents and is suitable for both local and remote scenarios. »* **The stated problem** fits in three lines: coding agents and editors are **tightly coupled** and *« interoperability isn't the default »* — every editor must build a custom integration per agent, every agent must implement editor-specific APIs. Three named consequences: **integration overhead** (every agent-editor pair requires custom work), **limited compatibility** (an agent reaches only a subset of editors), **developer lock-in** (*« choosing an agent often means accepting their available interfaces »*). **The solution is explicitly modeled on LSP** — *« similar to how the Language Server Protocol (LSP) standardized language server integration »* — with the mutual benefit: an agent that speaks ACP works with **any** compatible editor, an editor that supports ACP gains access to the **entire** ACP agent ecosystem. **Two deployment modes, and this is the most underrated point**: **local** agents run as a subprocess of the editor over **JSON-RPC on stdio**, but **remote** agents are planned over **HTTP or WebSocket** — support declared *« work in progress »*, with ongoing collaboration with agentic platforms. **Technical lineage with MCP, stronger than mere complementarity**: ACP *« re-uses the JSON representations used in MCP where possible »*, adding types specific to agentic coding UX needs (**diff** display is the example given); the default format for readable text is **Markdown**, chosen so the editor is not required to render HTML. **Two governance and versioning observations** drawn from the page itself, not from surrounding discourse: the navigation exposes **v1 (Latest)** and **v2 (Draft)** — and **not an "ACP 1.2"** —, and the navigation bar links **Zed Industries *and* JetBrains** side by side, alongside an **ACP Registry**, **RFDs**, a **Community** section, **Publications**, **Updates**, and a **Brand** page. Official libraries announced: **Kotlin, Java, Python, Rust, TypeScript**, plus a community track.

#Agent Client Protocol#ACP#open protocol

**Projet Agent Client Protocol** — spécification collective · sans signature individuelle sur cette page. La barre de navigation du site lie deux organisations au même niveau : **Zed Industries** (à l'origine du protocole) et **JetBrains**. La présence d'une section **RFDs** (*requests for discussion*) · d'une page **Community** et d'un **ACP Registry** indique une structure de gouvernance ouverte plutôt qu'une documentation produit.

AI Coding Agents & Skills Auto-verified translation

What...what am I missing here? (post X sur les LLMs et le codage)

X post by **Eric S. Raymond** (ESR, author of *The Cathedral and the Bazaar*, co-founder of the Open Source Initiative, ~50 years of coding) — **a frontal counter-testimony to the narrative that "LLMs produce crap code and hallucinate, useless for programming."** His thesis: this **almost never happens to him**, and **not at all anymore over the last two generations** of models he uses ("chat GPT 5.4 and 5.5" under **codex**). The former symptom — a model "going off the rails" as it approaches its context limit — has disappeared: codex now displays a **red warning** prompting the user to **clear the session** instead of spiraling. **Scope of use**: AI applied to **feature changes, refactoring and debugging across 63 projects** in **C, Go, Rust, Python and shell**; documentation writing; **decompiling a DOS binary into readable source**. An established **work routine**: when reopening a project, he first runs the **regression tests**, then starts codex and asks it to **audit the code** (bugs + improvement suggestions). Verdict: LLMs are **"excellent and tremendously empowering"**; their **worst limitation** is **"architectural tunnel vision"** — excellent at generating code to specification, but sometimes **blind to higher-level patterns** — which he takes to be the **job of his "meatbrain."** The strongest, counter-intuitive point: LLMs **do NOT get details and edge cases wrong**; he says he is **worse than them** on this front (despite 50 years of experience), because if a change must **touch five places**, the model **reliably finds all five**, whereas the human fixes four and **spends hours debugging** before finding the forgotten fifth. He then questions the **"downshouters"**: do they live in a **different universe**? Are they using **old, weak models**? Is there a **skill issue** he doesn't see because his **mental habits and communication** fit well with these tools' "handles"? An issue he considers important to settle, since "**billions of dollars would be wasted on misdirected token spend**." His recipe, "very simple": **"Be clear in your thinking, tell the model what you want with precision, and good things happen"** — closing with: "what am I missing here?" To be read as a **pro-LLM counterpoint from a historic figure of open source** to the recurring debate on the (de)valuation of coding agents — echoing the "skill issue" and specification discipline (cf. [[martignole-token-manifesto-2026-07-17]]), and forming a diptych with **Linus Torvalds'** doctrinal pro-AI-tool stance on behalf of the Linux kernel ([[torvalds-llm-outil-kernel-2026-07-14]]).

#Eric S. Raymond#ESR#esrtweet

Eric S. Raymond (ESR, @esrtweet sur X) — développeur · hacker et essayiste américain · **figure historique du mouvement open source**. Né le 4 décembre 1957 à Boston (Massachusetts) ; paralysie cérébrale de naissance · enfance en partie au Venezuela puis en Pennsylvanie. Auteur de l'essai très influent **« The Cathedral and the Bazaar »** (1997, livre 1999) · qui oppose le modèle « cathédrale » (développement centralisé et fermé) au modèle « bazar » (décentralisé et ouvert, à la Linux) ; il a **popularisé le terme « open source »** (contre « free software ») et contribué à convaincre **Netscape** d'ouvrir son code (naissance de Mozilla). **Co-fondateur de l'Open Source Initiative (OSI)** en 1998 · président jusqu'en 2005. A édité le **Jargon File** (*The New Hacker's Dictionary*) · maintenu des projets comme **Fetchmail** · écrit **« The Art of Unix Programming »** (2003). Se revendique **libertarien** · défenseur du port d'armes · ceinture noire de taekwondo ; commente régulièrement tech · politique et open source sur X. Se présente ici comme codeur « très · très bon » avec **~50 ans d'expérience**. (Post X personnel ; date de publication : 2026-07-08 ; date d'ajout à la veille : 2026-07-17.)