Blog · English
Escribiendo sobre un lenguaje para agentes
Benchmarks, decisiones de diseño y guías. Cada entrada también es Markdown.
-
Correr el juez local con Laya
El slot del juez es un protocolo, no un proveedor. Desde la v0.6.27 un checkpoint de Laya en disco — ModernBERT, Apache 2.0 — responde whether, choose y rate sin red, sin secreto y sin costo por token, y el mismo bloque corre sin cambiar una línea.
-
Un modelo que ya tenés, y una arquitectura que podés editar
Desde la v0.6.27 el provider local embebido acepta el nombre de un modelo que ya está en tu caché de Ollama o de Hugging Face — no se descarga nada — y una arquitectura es un archivo de texto que lee el binario ya compilado, así que sumar un modelo dejó de esperar un release nuestro.
-
El mejor lenguaje para un TEE
Un entorno de ejecución confiable esconde tus datos del operador. No evita que tu propio código los filtre, ni le dice al cliente qué está corriendo adentro. Synsema hace las dos cosas — las etiquetas de flujo de información y la atestación son parte del lenguaje, no una biblioteca.
-
System One vs System Two — pedí una probabilidad, no un string
La mitad del trabajo que le damos a un LLM no es escribir, es decidir: enrutar esto, marcar aquello, si esto es un pedido de reembolso. Un modelo System One responde eso con una distribución calibrada, y un lenguaje con los dos slots deja que cada modelo haga la mitad en la que es bueno.
-
Cómo usar Jev desde Synsema — decisiones calibradas en un bloque judge
Jev es el modelo System One de TypeSafe: responde con probabilidades calibradas y tipadas en vez de texto. En Synsema es una primitiva del lenguaje — `require judge`, un bloque, una llamada, tres verbos — con degradación honesta cuando no está.
-
Construí una app que corre dentro de un TEE
Un recorrido, del archivo vacío a un servicio cuyo cliente verifica el código antes de mandar nada — etiquetas prendidas, una identidad atestiguada y las mismas comprobaciones corriendo en CI con el driver de desarrollo.
-
Distribuí un programa entero como un solo binario con synsema build
Motor, programa, módulos, plantillas y assets en un único ejecutable sellado, con un techo de capacidades horneado adentro. Nada que instalar en el destino — desplegalo desde FROM scratch, o pasáselo a alguien como un archivo.
-
Un programa, tres apps — web, teléfono y escritorio desde el mismo archivo de Synsema
Una app de Synsema es un sitio web con HTTPS automático, una app instalable en el teléfono con push nativo y una app de escritorio en su propia ventana con tu ícono — desde un programa renderizado en el servidor y un módulo de API. Sin toolkit nativo, sin segundo código, sin tienda obligatoria.
-
Exponé tu programa a cualquier agente de IA — un servidor MCP en una ruta
MCP es JSON-RPC. En Synsema el servidor entero es una tarea despachadora y una ruta POST. Las herramientas son tareas con cuerpo real, los secretos quedan sellados y la entrada no confiable corre bajo un techo de capacidades.
-
Lampson — un agente de programación con IA, open source, que vive en tu proyecto
Terminal o navegador, cualquier modelo compatible con OpenAI o Anthropic, y herramientas que por construcción no pueden salirse de tu repo. Lampson es un agente de programación escrito enteramente en Synsema.
-
Lamps — dale herramientas a tu agente de IA con un techo que no puede levantar
Un lamp es una unidad portátil de capacidad. Su manifiesto declara qué puede tocar el código, el runtime de Synsema lo hace cumplir y registra cada comprobación. Instalás uno con lamp add y se lo exponés a cualquier agente con lamp mcp.
-
Convertí un sitio renderizado en el servidor en una app instalable (PWA) con push nativo
synsema init --pwa le da a cualquier sitio de Synsema un manifiesto, un service worker, íconos y Web Push. Se instala en Android, iOS y escritorio con ícono en la pantalla de inicio y pantalla completa — nada nativo, sin tienda.
-
Humano en el circuito para agentes de IA — approve, confirm y ask son primitivas del lenguaje
Una compuerta que espera a una persona de verdad — en la terminal, o encolada detrás de enlaces de un solo uso cuando el programa corre como servidor — y que deniega cuando no hay nadie. Un agente no puede falsificar una aprobación.
-
Distribuí tu app web como app de escritorio — un binario, una ventana del navegador, tu ícono, sin consola
synsema build --serve --no-console --icon convierte la misma app renderizada en el servidor en una app de escritorio de doble clic — un .exe con tu ícono en Windows, un .app en macOS, una carpeta lanzadora en Linux. La ventana es el navegador que el usuario ya tiene, y el proceso termina cuando se cierra la última. Sin Tauri, sin webview, sin segundo código.
-
Tareas programadas dentro de tu servidor — schedules, webhooks y jobs sin otro servicio
cron_every toma un intervalo o una expresión cron de cinco campos y corre una tarea en su propio hilo, al lado de tus rutas. Sin crontab, sin flota de workers, sin broker de mensajes — y con una compuerta humana cuando un job la necesita.
-
HTTPS automático para tu app con una bandera — sin nginx, sin certbot
El servidor incorporado de Synsema emite y renueva los certificados de Let's Encrypt por su cuenta. Una bandera convierte el archivo que corrés en desarrollo en un sitio HTTPS de producción, con HTTP/2, HSTS y www → apex.
-
El backend que más rápido descubre un agente de IA
Un agente descubre una API de Synsema en 1,37 ms, por delante de Go y de Node — y los documentos de descubrimiento se generan, no se escriben.
-
El lenguaje seguro para agentes de IA — sin resignar velocidad
Rendimiento de primer nivel más seguridad por capacidades incorporada al lenguaje — por qué Synsema es la mejor opción para backends de agentes de IA y para cualquier servicio que reciba entrada no confiable.