Tecnología

reins — del Quest CLI solo queda el dominio; el ratchet se vuelve framework

reins — del Quest CLI solo queda el dominio; el ratchet se vuelve framework

how-make-quest enseñó a construir un Quest CLI con las manos. Pero al levantar el segundo CLI vuelves a escribir el mismo ratchet, el mismo scan/next/submit, la misma agregación. reins extrae ese invariante a un framework — el ratchet, el esqueleto de comandos, la agregación y el export los suministra reins, y tú solo implementas la puerta del dominio (los 4 métodos de gate.Definition). La puerta es un catálogo de reglas de defensa contra el cheese, y el defeat graph de toulmin le devuelve al agente una guía de 'por qué perdiste y qué cambiar para ganar'.

Cómo crear un Quest CLI — construir tú mismo la herramienta que deja la decisión de 'terminado' en manos de la máquina

Cómo crear un Quest CLI — construir tú mismo la herramienta que deja la decisión de 'terminado' en manos de la máquina

La IA dice 'ya está hecho'. En realidad no ha terminado. Este artículo enseña a construir tú mismo la herramienta que resuelve ese problema — el Quest CLI. Desde el principio (el porqué) hasta el esqueleto de comandos en cobra (el cómo), este único artículo basta para que un agente cree un Quest CLI en Go. huma es el ejemplo trabajado.

filefunc × Hono — El código que un agente lee de una vez: de 60 a 18 líneas

filefunc × Hono — El código que un agente lee de una vez: de 60 a 18 líneas

Refactoricé Hono, el framework real con 23k estrellas, usando filefunc. Los 4419 tests pasaron en su totalidad. Y al medirlo — el número de líneas que un agente lee al abrir un concepto bajó de una mediana de 60 a 18 líneas, un 71% menos. La clave no es el número de archivos sino la 'longitud de lectura'.

GEO: Cómo hacer que la IA cite tu contenido

GEO: Cómo hacer que la IA cite tu contenido

Si tu contenido no es citado en las respuestas generadas por IA, es como si no existieras. Según el paper de GEO, las citas de fuentes mejoran la visibilidad un +30%, las estadísticas un +32% y las citas textuales un +41%. Infraestructura, sitemaps, Wayback Machine, citas académicas y actividad social — cinco ejes para asegurar la visibilidad ante la IA.

huma -- Un trinquete que no se salta ni un endpoint

huma -- Un trinquete que no se salta ni un endpoint

Cuando pides a un agente AI que pruebe 42 endpoints, declara terminado alrededor del 15. huma convierte la lista de endpoints en una sesion de trinquete para que el agente no pueda saltarse ni uno. scan, next, write, verify.

codistill -- Exprime el SSOT del codigo existente

codistill -- Exprime el SSOT del codigo existente

Para usar yongol hay que empezar con SSOT desde cero? No. codistill extrae automaticamente OpenAPI, DDL y consultas sqlc del codigo Go+Gin, NestJS y FastAPI existente. No es obra de cimientos, es refuerzo antisismico.

Hurl detiene la deriva del vibe coding

Hurl detiene la deriva del vibe coding

El vibe coding colapsa por deriva logica en 3 meses. CMU, METR, DORA y Amazon lo demuestran. Declara contratos de API en texto plano con Hurl y bloquealos con un trinquete: se suprime la deriva estructuralmente sin limitar la libertad de la IA.

Código trinquete que aprovecha IFEval

Código trinquete que aprovecha IFEval

El sesgo de adulación de los LLM no es un defecto, es un activo. Al combinar la capacidad de seguir instrucciones que mide IFEval con retroalimentación determinista, incluso un modelo local de 4.5B genera un bucle de convergencia que produce código correcto.

yongol — La quilla del SaaS programado con IA

yongol — La quilla del SaaS programado con IA

El vibe coding colapsa en 200 endpoints porque la IA no puede distinguir decisiones de detalles de implementación. yongol traslada el objetivo de trabajo de la IA del código a 10 especificaciones declarativas y fuerza la consistencia entre capas antes de la compilación. Harness with reins.

Ratchet Pattern — Cómo hacer que un agente termine el trabajo

Ratchet Pattern — Cómo hacer que un agente termine el trabajo

Le pedí a un agente de IA que escribiera tests para 527 funciones. Se detuvo en 40 y declaró 'listo'. El Ratchet Pattern fuerza la finalización delegando la decisión de completitud a un verifier mecánico, para que el agente siga hasta que la máquina diga basta.

tsma -- Linea de defensa contra regresiones en codigo legado

tsma -- Linea de defensa contra regresiones en codigo legado

Una herramienta CLI que indexa todas las funciones, detecta la existencia de pruebas, mide la cobertura y proporciona retroalimentacion precisa a agentes LLM. Un solo comando construye una linea de defensa contra regresiones en codigo legado.

toulmin — Un motor de reglas que calcula contratos

toulmin — Un motor de reglas que calcula contratos

Los motores de reglas han tratado el objeto de verificacion como un hecho (fact) durante 60 anos. toulmin lo trata como una afirmacion (claim). Implementamos el modelo de argumentacion de Toulmin como un motor de reglas en Go.

filefunc — Un archivo, un concepto

filefunc — Un archivo, un concepto

La unidad de navegacion de un agente de codigo IA es el archivo. filefunc es una convencion de estructura de codigo Go y herramienta CLI que impone un concepto por archivo.

Feature Chain — Rastrea todo el stack con un solo operationId

Feature Chain — Rastrea todo el stack con un solo operationId

¿Qué archivos hay que tocar para modificar una sola funcionalidad? Feature Chain toma un operationId y extrae automáticamente todo el alcance — especificación API, esquema de BD, política de autorización, diagrama de estados, implementaciones de funciones, escenarios de prueba y frontend.

whyso — lo que git blame no muestra

whyso — lo que git blame no muestra

git blame muestra quién, cuándo y qué cambió. whyso muestra por qué. Una herramienta que extrae automáticamente el historial de cambios por archivo a partir de los datos de sesión de Claude Code.

¿La solución al cambio climático está en el espacio? Sí, en serio.

¿La solución al cambio climático está en el espacio? Sí, en serio.

Instalar un parasol entre el Sol y la Tierra para revertir el clima. Quita el recubrimiento de la línea de espejos Dyson y sale un parasol. Se propulsa solo sin combustible. Retíralo y todo vuelve a la normalidad. Los números cuadran.

SSaC — Service Sequences as Code

SSaC — Service Sequences as Code

Un concepto independiente del lenguaje que descompone el flujo de negocio dentro de las funciones de servicio en bloques declarativos (sequences). Declara solo el qué con 10 tipos fijos, y el codegen se encarga del cómo.

Pensamiento con IA desde primeros principios: un método en 5 pasos con casos reales

Pensamiento con IA desde primeros principios: un método en 5 pasos con casos reales

No le pidas respuestas a la IA: úsala como caja de resonancia para verificar, desmontar y reconstruir tus premisas. Un método en 5 pasos con dos casos reales: planificación web y diseño de ingeniería espacial.

¿Cocinar con el calor que se desperdicia? Posibilidad y realidad de las cocinas con bomba de calor de recuperación de calor residual

¿Cocinar con el calor que se desperdicia? Posibilidad y realidad de las cocinas con bomba de calor de recuperación de calor residual

La tecnología de bomba de calor de alta temperatura con recuperación de calor residual que reduce innovadoramente el desperdicio energético de los equipos de cocina convencionales: ¿hasta dónde ha llegado y cómo se puede mejorar?

Construir presas con arena del desierto y convertirlas en bosques 30 años después

Construir presas con arena del desierto y convertirlas en bosques 30 años después

Una propuesta de tecnología Oasis Pellet: aglutinar arena inútil del desierto con bioadhesivo para crear tanques de agua que, al final de su vida útil, se descomponen en suelo fértil.

Cómo una batería a prueba de incendios convierte electricidad desperdiciada en fertilizante y calefacción

Cómo una batería a prueba de incendios convierte electricidad desperdiciada en fertilizante y calefacción

La electricidad desperdiciada por el recorte de producción solar se almacena en baterías Edison a prueba de incendios, y a partir del hidrógeno se autoproducen fertilizantes y solución de urea: un modelo de convergencia energía-agricultura.