RT @geoffreylitt : C’est assez drôle que la « synthèse de programmes neurosymboliques » ait fini par devenir « l’IA utilise le terminal pour appeler le vérificateur de types en boucle ».
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.