Saltar al contenido

root / tags / tla

#TLA+

3 fiches

Arquitectura y Construcción Traducción verificada automáticamente

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

Informe de investigación interno fechado el **12 de agosto de 2026** que consolida, con fines de presentación, todo lo documentado públicamente sobre **Buzz** — el espacio de trabajo de humanos + agentes de **Block**, lanzado el **21 de julio de 2026** bajo la licencia **Apache 2.0**. Reúne las dos publicaciones técnicas ya presentadas junto al anuncio corporativo, el repositorio de GitHub, la cobertura de prensa, X, y **tres experiencias prácticas independientes** que constituyen los únicos datos del dosier que no son autodeclarados. **(A) Una brecha de vocabulario documentada mediante cita**: el tuit de lanzamiento de **Jack Dorsey** anuncia *"agnóstico de modelo, descentralizado, autosoberano y de código abierto"*; el `ARCHITECTURE.md` de Block afirma *"El relay es la única fuente de verdad. Todas las lecturas y escrituras pasan por él. No hay intercambio de eventos entre pares, ni gossip, ni replicación."* El relay es, por tanto, único y autoritativo por comunidad: la "descentralización" de Buzz es una **soberanía organizativa** —autoalojamiento e identidad portátil— y no redundancia de red. La formulación de **TFTC**: *"Dos de esos tres se sostienen sin problema. El tercero necesita un matiz."* **(B) Una asimetría entre el rigor demostrado y el riesgo de explotación.** Por un lado, un grado de formalismo poco frecuente para una v0.4.x/0.5.x: especificación de aislamiento multiinquilino **mecanizada en TLA+**, propiedades de autorización verificadas en **Tamarin**, un protocolo de almacenamiento Git verificado por model checking, un registro de auditoría append-only encadenado por hash, 127 *tipos de evento*, NIP-01/42/98/34. Por otro, la pertenencia a un canal es la unidad de permiso —*"la pertenencia a un canal no es una autorización de herramientas de grano fino"* (João Queirós)—, los agentes se ejecutan con `--dangerously-skip-permissions` fuera de cualquier sandbox en la máquina de un humano, y la observabilidad es deficiente: *"Buzz me dice que un agente recibió un mensaje. No me dice qué pasa después"* (DevTools Daily, que reporta cierres silenciosos por OOM). Block lo reconoce: *"el agente puede hacer cualquier cosa, y la seguridad descansa por completo en restringir quién puede decirle qué hacer"*. **(C) La pila técnica**, ausente de las publicaciones presentadas: relay en **Rust** (Axum WS + REST), **Postgres**, **Redis**, **S3/MinIO** vía Blossom, cliente de escritorio **Tauri + React**. La integración de agentes pasa por **`buzz-acp`**, un harness **ACP** que conecta goose, Codex y Claude Code y traduce **ACP ↔ MCP**, además de **`buzz-agent`**, un agente propio. El informe se corrige a sí mismo en un punto: el *"+33% más de trabajo"* del TL;DR de Block es la **proporción de tareas completadas (20 frente a 15 de 44)**, no una ganancia de puntuación — la puntuación en sí sube de 59,1% a 71,5%, es decir **+12,4 puntos**.

#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/`.

Arquitectura y Construcción Traducción verificada automáticamente

Buzz!

**Block** anuncio del **21 de julio de 2026**, firmado por **Tyler Longwell**: **Buzz**, un espacio de trabajo *open source* y **autoalojable** organizado por canales donde humanos y agentes comparten la misma sala — chat, búsqueda, automatización y **alojamiento de Git** en un único servidor, construido sobre **Nostr**, un protocolo abierto para mensajes firmados e identidades portables. Tesis inicial: *« Los modelos ya pueden hacer el trabajo. Los equipos todavía necesitan un lugar donde hacerlo juntos. El cuello de botella se desplazó de la inteligencia a la coordinación. »* Tres piezas de ingeniería. **(A) Identidad del agente.** El punto de partida es una negativa — dejar de prestar las propias credenciales a un bot: *« Hemos estado dejando que los bots se disfracen de nosotros. Es raro. Es peligroso. »* Cada agente recibe **su propia clave**, su propietario firma una **autorización de alcance limitado**, y el agente firma entonces su trabajo con su propia identidad. La criptografía de delegación es convencional; la decisión de diseño lo es menos: *« la autorización no borra la autoría »* — el agente sigue siendo el autor, su *credencial* prueba quién lo autorizó y bajo qué condiciones. Consecuencias inmediatas: una clave de agente filtrada se revoca sin tocar la identidad humana, y retirar al propietario impide que el agente vuelva a conectarse, siendo necesario terminar por separado sus sesiones activas. **(B) Git sobre almacenamiento de objetos.** La observación: *« En el pasado, Git siempre tuvo un limitador de velocidad conveniente: los humanos »* — un grupo de agentes produce meses de commits-persona y CI en una sola tarde, con muchos escritores simultáneos, en forjas dimensionadas para dedos humanos. Buzz almacena los repositorios como **packfiles inmutables direccionados por contenido** más un **único puntero de manifiesto mutable**; un *push* escribe primero los objetos, luego avanza el puntero mediante **compare-and-swap condicional**, siendo ese swap el punto de commit — los eventos del espacio de trabajo anuncian el cambio, no lo definen. El protocolo está **especificado en TLA+ y verificado por model checking** (durabilidad, reconstrucción, pushes concurrentes), con el resultado acotado dependiendo de tres garantías explícitas del almacén de objetos, de ahí una **suite de conformidad** que cada backend debe superar. **(C) Interoperabilidad y privacidad.** Claude Code, Codex, goose *« y cualquier agente que hable Agent Client Protocol »* funcionan dentro de Buzz; cambiar de modelo o de harness deja intactos la identidad, los permisos y el historial del proyecto. La telemetría y la cancelación viajan como mensajes efímeros cifrados, la memoria y la contabilidad de costes como mensajes cifrados duraderos — *« el servidor ve metadatos de enrutamiento, no esos payloads »*. Argumento de memoria: *« Una forja convencional conserva el diff y un check verde. Buzz también conserva por qué la solución obvia era incorrecta. »* Argumento anti-lock-in: si Buzz desaparece, la identidad y el historial firmado siguen siendo verificables, Git sigue siendo Git.

#Buzz#Block#espacio de trabajo agéntico

**Tyler Longwell** — *« Building multi-player AI at Block »* · auteur unique et signataire à la première personne. Publié le **21 juillet 2026** sur le blog Block Engineering.

Transformación y Adopción Traducción verificada automáticamente

IFTTD #351 - AWS Summit : Rester aux commandes des agents de code (avec Julien Lépine)

Episodio #351 del podcast en francés **If This Then Dev** (Bruno) con **Julien Lépine**, Chief Technology Officer de **AWS France** (13 años en Amazon), grabado al margen del **AWS Summit Paris** (1 de abril de 2026, ~10.000 asistentes). Tesis central: en la era agéntica, escribir código pasa a un segundo plano, y el valor se desplaza hacia **comprender el contexto, los compromisos arquitectónicos (trade-offs) y la responsabilidad humana**. Prueba central: el **rediseño de Amazon Bedrock** — una plataforma crítica que gestiona miles de miles de millones de solicitudes — por un equipo de **6 personas en 72 días** (frente a una estimación de 30 personas / 18 meses), **código generado íntegramente por IA**, sin vibe coding. AWS está **estandarizando internamente en Kiro** (IDE + CLI, ejecutado sobre Claude Sonnet/Opus) para ~30.000 desarrolladores (anunciado por Matt Garman en re:Invent). Hilo conductor: **mantener el control** sin revisarlo todo — mediante **modelado formal (TLA+)** y **Raisonnement automatisé** para demostrar invariantes y acotar a los agentes, **post-mortem sin culpabilización (blameless)**, y el principio de que «la responsabilidad de la acción de un agente recae en la persona que lo opera». Surgimiento del **AI DLC** (sprints → múltiples **Bolts** diarios) y el riesgo de **sobrecarga cognitiva / burn-out**.

#AWS Summit Paris#Amazon Web Services#agentes de código

**Julien Lépine** — Directeur de la technologie (CTO) d'Amazon Web Services France · 13+ ans chez Amazon ; ses équipes accompagnent les clients AWS sur le cloud · la data et l'IA. **Hôte** : Bruno (créateur et animateur du podcast *If This Then Dev*).