RT @geoffreylitt: Es un poco gracioso que la “síntesis de programas neurosimbólicos” haya terminado siendo “la IA usa la terminal para llamar al verificador de tipos en un bucle”.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.