-
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.
-
Concrete
Cuando el compilador es el oráculo
Corrí un loop al estilo autoresearch sobre un programa en Concrete. El compilador le dijo a un agente dónde se podían mejorar la autoridad, la asignación de memoria y la superficie de prueba, y le confirmó cuándo esas propiedades cambiaban. Sin profiler, sin ruido de benchmarks. Tu compilador puede responder preguntas en vez de decir pasa/no pasa.
-
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.
-
Les Circuits Longs
La legibilidad mata lo que mide
¿Qué pasa cuando la IA vuelve todo legible? Las cosas que funcionaban porque no se podían ver con claridad pueden dejar de funcionar cuando se pueden ver.
-
Les Circuits Longs
La fricción como lujo: qué perdemos cuando la IA nos da lo que queremos
La escasez que más importa en un mundo post AGI no va a ser el cómputo ni la energía. Va a ser el deseo mismo.
-
Ensayo
China intenta commoditizar el complemento
¿Qué pasa con la ventaja de Occidente en servicios cuando los modelos de IA potentes son gratis, portables y corren en cualquier laptop?