Tecnología
Ratchet Code que aprovecha IFEval
El sesgo de adulación de los LLM no es un error, es un activo. Si se combina la capacidad de seguimiento de instrucciones que mide IFEval con retroalimentación determinista, incluso un modelo local de 4.5B genera código preciso en un bucle convergente.
yongol — La quilla del SaaS codificado con IA
El vibe coding colapsa en 200 endpoints porque la IA no distingue decisiones de detalles de implementación. yongol traslada el trabajo de la IA del código a 10 especificaciones declarativas y fuerza la consistencia entre capas antes de compilar.
Ratchet Pattern -- Como hacer que un agente termine el trabajo
Le pedi a un agente de IA que escribiera tests para 527 funciones. Se detuvo en 40 y declaro 'listo'. El Ratchet Pattern fuerza la finalizacion delegando la decision de completitud a un verifier mecanico, para que el agente siga hasta que la maquina diga basta.
tsma -- Linea de defensa contra regresiones en codigo legado
Una herramienta CLI que indexa todas las funciones, detecta la presencia de tests, 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
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 concepto por archivo
La unidad de exploración de un agente de código IA es el archivo. Una convención de estructura de código Go y herramienta CLI que impone un único concepto por archivo.
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
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.
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
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
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
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
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
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.