Cuando la lógica se vuelve ejecutable
ST es un lenguaje que convierte la lógica formal en código que corre: SAT solver propio, teoría de tipos MLTT, 30+ perfiles y 6333 tests que obligan a tomarlo en serio.
Ver las ideas, los sistemas y la inteligencia desde lo más alto.
Filosofía aplicada a la máquina. Ensayos sobre cómo pensamos, cómo decidimos y cómo construimos inteligencia, escritos por alguien que domina la informática pero la mira desde la abstracción.
Leer el ensayo destacado
Ensayo destacado
La IA agéntica no es un chatbot con herramientas
El verdadero potencial de un agente no está en hacer más, sino en decidir mejor.
Ideas para pensar y construir
Ver todosLa voz en la barra de estado: integrar IA al sistema operativo
Cómo coser un agente de voz con Whisper, Kokoro y VAD directamente al entorno de escritorio Hyprland, y lo que eso dice sobre dónde vive realmente la inteligencia.
Diseñar sistemas que sobreviven al éxito
Patrones de arquitectura y organización para cuando tu producto crece más rápido que tu equipo.
Evaluar LLMs más allá del benchmark
Metodologías prácticas para medir calidad, costo y confiabilidad en tareas del mundo real.
Observabilidad que explica, no que alerta
De dashboards ruidosos a señales accionables para equipos de ingeniería.
Equipos pequeños, decisiones grandes
Cómo multiplicar el criterio técnico en equipos pequeños sin perder velocidad.
El agente que piensa con lógica formal
Cómo construir un backend agéntico donde la IA no solo responde sino que razona con 145 herramientas y lógica formal verificable.
Formalizar el cerebro: lógica y filosofía en Smalltalk
Un repositorio en Smalltalk como base de conocimiento de Filosofía de las Neurociencias: cuando el lenguaje de los mensajes se convierte en instrumento para pensar mente, conciencia y representación.
El mundo que nace de una conversación
¿Puede un vínculo humano convertirse en el sustrato de una civilización simulada? Una exploración sobre IA emergente, memoria y la intencionalidad detrás del código.
El protocolo como filosofía: MCP y la composición de agentes
Adoptar el Model Context Protocol no fue solo una decisión técnica — fue entender que la arquitectura agéntica exige un lenguaje común antes de que los sistemas puedan pensar juntos.
El orquestador antes del protocolo
Jarvis V2 es el punto donde construir un asistente propio dejó de ser un ejercicio técnico y se convirtió en una pregunta sobre qué significa orquestar inteligencia.
La economía como sistema complejo: simular para entender
Una simulación en Python que convierte conceptos abstractos de teoría de sistemas —homeostasis, entropía, emergencia— en agentes que trabajan, compiten y se redistribuyen.
Cuando el universo aprende: emergencia, algoritmos genéticos y la pregunta que no cierra
Cómo simular un universo desde cero, hacerlo evolucionar con redes neuronales y descubrir que la pregunta filosófica sigue abierta.
La interfaz como contrato entre el robot y el humano
Cómo el frontend de una plataforma de automatización de WhatsApp revela la tensión entre control humano y autonomía de máquina.
El problema de ser Jarvis
Antes de que los LLMs fueran ubicuos, construí un asistente con cerebro propio: así aprendí que la inteligencia no es responder bien, sino saber cuándo no responder.
CQRS: la separación que revela la intención
Cuando un sistema deja de mezclar leer y escribir, empieza a pensar con más claridad — y el programador también.
El sueño dorado y la ilusión de la economía colaborativa
Una plataforma de economía colaborativa construida en 2019 que esconde, en su árbol de monedas y su chat en tiempo real, una pregunta más profunda: ¿puede el código modelar la confianza?