-
Concrete
Un compilador que produce hechos
Concrete ya sabe mucho sobre aquello de lo que depende un programa: autoridad, asignación de memoria, recursión, confianza, obligaciones de seguridad y evidencia de prueba. El próximo paso es hacer que esos hechos sean fáciles de usar para agentes, CI y revisores.
-
Ensayo
CommitLLM: cómo verificar una inferencia de un LLM
Las APIs de LLM te piden que confíes en que el proveedor corrió el modelo y la configuración que anuncia. CommitLLM agrega recibos criptográficos y auditorías sin el costo de un prover de conocimiento cero.
-
Concrete
Diseñar un lenguaje de programación para la era de la IA
Edgar Luque tiene razón en que la IA crea una nueva barrera para los lenguajes de programación. Se equivoca en que la barrera sea universal. Los lenguajes diseñados para la generación y la verificación por máquinas invierten el problema por completo.