Adolfo e Marcelo: Não estou certa se já escrevi a vocês. Gostei muito da entrevista. Parabéns a ambos! Itals
Em qua., 17 de mar. de 2021 às 16:06, Adolfo Neto <ado...@utfpr.edu.br> escreveu: > Oi pessoal, > > Finalmente publiquei como podcast a minha entrevista com Marcelo Finger. > > http://spoti.fi/3qZxRJQ > > > https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p > > Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do > podcast está melhor. > > No episódio, comentei com Marcelo de uma empresa que se originou no > Imperial College (um dos co-fundadores era do Imperial Colege > https://www.linkedin.com/in/cristiano-calcagno-8256057/ > ). Não lembrava o nome. Era a Monoidics: > https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics > > A empresa fazia o Infer, que foi incorporado ao Facebook: > "A tool to detect bugs in Java and C/C++/Objective-C code before it ships > > Infer is a static analysis tool - if you give Infer some Java or > C/C++/Objective-C code it produces a list of potential bugs. Anyone can use > Infer to intercept critical bugs before they have shipped to users, and > help prevent crashes or poor performance." > > https://fbinfer.com/ > > Na página do Infer eles têm até um texto sobre as bases lógicas: > Separation logic and bi-abduction > https://fbinfer.com/docs/separation-logic-and-bi-abduction > > > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Prof. Dr. Itala M. Loffredo D'Ottaviano Full Professor in Logic and the Foundations of Science Centre for Logic, Epistemology and the History of Science University of Campinas -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG5gfRFOsDQRMjeHE3uurU0XUH32VnAKGkz28v1fc44xEg%40mail.gmail.com.