Raciocínio Automatizado com Leonardo de Moura
10:28
Towards Random Elixir Code Generation
4:23
Aurélien DEVILLE : De la digitalisation de l'industrie équine à la tokenisation des actifs réels
1:28:34
Além das Terras de Java - Uma Introdução ao Lisp da JVM para Programação Funcional, Eduardo Lemos
18:17
A Matemática (com Lean) é o Caminho para Criar Chatbots que não Alucinam?
13:15
Erro pagar imprensa para o enganoso aplauso - Alexandre Garcia
13:06
O Sinal Surpreendente da Voyager 2 após a Perda de Comunicação!
1:12:58
Formula Aberta Expectativas para 2025 com Ítalo Oliveira e André Molero
37:28