Blog
Benchmarks, decisiones de diseño y guías: construir agentes de IA en Synsema y desplegarlos con un manifiesto de permisos, secretos sellados y auditoría. Cada entrada también es Markdown: añade .md a su URL.
La probabilidad calibrada que decide qué ve una persona ya no tiene que venir de una API. Un checkpoint System One open source en tu propio disco responde las mismas preguntas tipadas sin clave, sin red y sin costo por token — y el mismo programa corre contra cualquiera de los dos.
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.
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.
Para algunas cargas la pregunta interesante no es qué modelo es mejor, sino si el dato tiene permiso de salir. Un modelo dentro del proceso responde eso sin egress, sin un proveedor en la cadena de confianza y sin factura por token — y lo que cobra a cambio es latencia y tamaño de modelo.
Enrutar, etiquetar, decidir elegibilidad y moderar son el trabajo de IA de mayor volumen de casi cualquier producto, y el más barato de hacer mal. Un modelo System One los responde con una probabilidad calibrada — y la economía no está ni cerca.
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.
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.
Un despliegue confidencial que nadie verifica es un despliegue común con costo extra. Esta es la lista que corre una contraparte seria, lo que tu lado tiene que publicar para pasarla, y los límites que conviene decir vos antes de que los pregunten.
Un modelo que devuelve probabilidades calibradas en vez de texto cambia las preguntas operativas, no solo el código. Qué cablear, qué poner tras una compuerta, qué auditar, y qué pasa el día que el proveedor se cae.
Cada línea dentro de la caja cuesta más escribirla, más cambiarla y más verificarla — y cada cambio invalida la medición que tus clientes fijaron. El reparto entre el núcleo confidencial y el producto común es la decisión de mayor palanca del diseño.
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á.
Nitro Enclaves, VMs confidenciales, dstack, anclado a una cadena — cuatro lugares donde poner la parte de tu producto que el operador no debe poder leer, y cómo elegir uno sin quemar seis semanas en una prueba.
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.
Lo que frena a un agente de IA en una empresa no es el modelo, es seguridad. Un manifiesto de permisos que el runtime hace cumplir, secretos que el programa no puede leer y un registro de cada comprobación resuelven la conversación.
Un recorrido por la receta del agente de facturas: cómo encajan el manifiesto, el libro de gastos, la clave de firma sellada y el paso de aprobación, y cómo se ve el registro de auditoría después del primer pago.
Casi ninguna filtración de secretos en sistemas con agentes es ingeniosa. Al modelo le pidieron la clave y el modelo tenía la clave. Los secretos sellados eliminan la segunda mitad de esa oración, y cambian lo que una revisión de seguridad tiene que mirar.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.