RT @geoffreylitt: É meio engraçado que "síntese de programa neurosimbólico" tenha acabado sendo "IA usa terminal para chamar verificador de tipos em um loop"
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.