
Professor Adolfo Neto
By Adolfo Neto
Neste podcast, eu entrevisto profissionais da área da computação e de áreas próximas. Meu objetivo é entender melhor como eles se interessaram pela sua atual profissão, como é seu dia-a-dia e quais são suas motivações, dificuldades e desafios.

Professor Adolfo NetoApr 17, 2020

FES 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) - republicação
Republicação do episódio 41 do podcast Fronteiras da Engenharia de Software, em que entrevistei Leonardo de Moura. Republico aqui, pois foi neste podcast minha primeira entrevista com Leonardo: Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research https://podcasters.spotify.com/pod/show/adolfont/episodes/Raciocnio-Automatizado-com-Leonardo-de-Moura--Pesquisador-na-Microsoft-Research-e1anc8j

A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco
O episódio 32 completo de Elixir em Foco está aqui https://www.youtube.com/watch?v=LaN6XzyCqao e aqui https://podcasters.spotify.com/pod/show/elixiremfoco Minha entrevista com Leonardo de Moura está aqui https://youtu.be/bwKFcLaeD1A?si=xAXdG8Ahj9JuVMZ4 #Lean

A Semana de Trabalho de um Dia de Edsger Dijkstra
Edsger Dijkstra’s One-Day Workweek https://calnewport.com/edsger-dijkstras-one-day-workweek/

Podcast Diálogo Ágil - Episódio #2 - Robson Valentim
"Episódio de podcast gravado para a disciplina de Metodologias Ágeis Para O Desenvolvimento De Software ministrada pelo Prof. Dr. Adolfo Neto; apresentado por Breno Abreu e Samuel Valentim, estudantes de BSI na UTFPR Curitiba. Neste episódio conversamos com Robson Valentim, desenvolvedor na Companhia de Tecnologia da Informação e Comunicação do Paraná (CELEPAR). #podcast #metodosageis #agile"
Este episódio está no YouTube em https://www.youtube.com/watch?v=VPmnE8psyUs.
Os três episódios do podcast estão em https://www.youtube.com/@BRENOMOURADEABREUUTFPR.
Saiba mais sobre mim em https://adolfont.github.io/.

Podcast Diálogo Ágil - Episódio #3 - Gustavo Tenius
Este é um episódio do podcast Diálogo Ágil, feito pelos alunos Breno Abreu e Samuel Valentim, estudantes do curso de Bacharelado em Sistemas de Informação na UTFPR Curitiba. O podcast foi feito como trabalho final da disciplina Metodologias Ágeis para o Desenvolvimento de Software. Neste episódio, Breno e Samuel conversaram com Gustavo Tenius, líder de melhoria contínua e qualidade na Solvay Brasil (https://www.linkedin.com/in/gustavotenius/).
Os três episódios do podcast estão em https://www.youtube.com/@BRENOMOURADEABREUUTFPR.
Saiba mais sobre mim em https://adolfont.github.io/.

Painel de debate - Comunicação entre a academia e a indústria
Painel de debate sobre a comunicação entre a academia e a indústria.
Transmitido originalmente em https://www.youtube.com/live/DBi8qg08uYc. Algumas questões que serão abordadas incluem: O que é um Pitch? O que é um Pitch acadêmico/científico? Qual é a estrutura de um Pitch? Linguagem para parcerias científica ou de empresas? Participantes: Samara Avelar - Jornalista da UFLA Jornalista e especialista em Gestão Estratégica da Comunicação pela PUC Minas, mestra em Administração Pública pela Universidade Federal de Lavras (UFLA). É servidora da UFLA desde 2017, onde é responsável pela produção audiovisual. Redatora e integrante do conselho editorial da revista científica Ciência em Prosa (UFLA). Dr. Admilton Gonçalves de Oliveira Junior - UEL Professor, Pesquisador e Consultor em Biotecnologia Microbiana Tatiana Fiuza - Head Inovação - Cocriagro Formada em Comunicação Social, Tatiana Fiuza também é mestre em Propriedade Intelectual e Transferência de Tecnologia, pela UEM, e em Geografia pela UEL. Foi listada pela Forbes em 2022 entre as 20 mulheres ligadas à inovação e agtechs. É, também, apontada pelo Radar Agtech 2022 entre as 30 mulheres que inspiram outras mulheres no agro por sua atuação no Cocriagro. Trabalha há mais de 18 anos com tecnologia, ciência e inovação. Também é Founder da Vlinder-Estratégias para Inovação. Moderadores: Dr. Adolfo Gustavo Serra Seca Neto - UTFPR-CT Dra. Katia Romero Felizardo - UTFPR-CP Dr. Roberto Pereira - UFPR

"Há limites para a Inteligência Artificial? Sobre a Filosofia no caso ChatGPT", com Walter Carnielli e mediação de Marcos Silva
Este episódio é a republicação do áudio de uma live que aconteceu em 18/03/2023 no canal do Coletivo Lógica Viva. Caso prefira ver as imagens, acesse https://www.youtube.com/live/pyrbJi_QEac.
Abaixo a descrição da live:
O Lógica Viva convida você para mais uma live! Você já ouviu falar em ChatGPT? É um tema em alta, com muita gente falando sobre. Mas você tem conseguido acompanhar bem o debate? Nesta live, o Prof. Walter Carnielli vai discutir junto com o Prof. Marcos Silva sobre o ChatGPT buscando refletir sobre as seguintes questões: -O que é ChatGPT? Qual é o limite de capacidade do ChatGPT? - Como se compara o ChatGPT com IAs similares como as da Microsoft? Há outros concorrentes similares ao ChatGPT? - O ChatGPT passa no teste de Turing? Explicando rapidamente o que é o Teste de Turing. Como o ChatGPT lida com questões éticas como responsabilidade social (por exemplo, uso sem responsabilidade) em veículos não tripulados, racismo, intolerância religiosa, xenofobia,homofobia, etc? - O ChatGPT está levantando ou reacendendo questões filosóficas? Quais seriam elas? É verdade que o ChatGPT frustrou alguns pesquisadores, agora estão prevendo um "novo inverno" da IA? O ChatGPT pode ser usado para o mal, como por exemplo para gerar fake news ou desinformação? Você acredita que teremos no futuro um "ponto de singularidade" onde a IA sobrepujará os humanos? ++++ Referências: 1) Alan Turing O Teste de Turing: como determinar se uma IA é capaz de pensar? O Teste de Turing foi proposto há 73 anos atrás em seu artigo “Computing Machinery and Intelligence” (Mind 49: 433-460, 1950) e aborda capacidade das máquinas pensarem, pelo menos em simular a inteligência humana.Um computador que afirmava ser um adolescente ucraniano de 13 anos, chamado Eugene Goostman, passou em 2014 numa versão mais reduzida do Teste de Turing. 2) Ludwig Wittgenstein "Os limites da minha linguagem são os limites do meu mundo." L.Wittgenstein, Tractatus Logico-Philosophicus, 5.6 3) A indecidibilidade do Problema da Parada A. M. Turing (1937). "On Computable Numbers, with an Application to the Entscheidungsproblem". Proceedings of the London Mathematica 4) AI pode auxiliar a inteligência human, mas não subsitui-la: faltam as noções de "explicação" e de "causa-e-efeito" Tammy Xu. AI Makes Decisions We Don’t Understand. That’s a Problem. Fixing it won’t be easy, however. https://builtin.com/artificial-intelligence/ai-right-explanation 5) Fenômenos emergentes em grandes IAs Stephen Ornes. The Unpredictable Abilities Emerging From Large AI. Quanta magazine March 17, 2023 https://www.quantamagazine.org/the-unpredictable-abilities-emerging-from-large-ai-models-20230316/
Emergent Abilities of Large Language Models. Jason Wei + 15 Transactions on Machine Learning Research (08/2022) https://openreview.net/pdf?id=yzkSU5zdwD 6) O Apocalipse Filosófico W. A. Carnielli. How AI can be surprisingly dangerous for the philosophy of mathematics— and of science Circumscribere Vol. 27 (2021) Online https://revistas.pucsp.br/index.php/circumhc/article/view/55033 Acompanhe nossas redes:
https://www.instagram.com/logicaviva.coletivo/ https://www.youtube.com/@logicaviva

Por que usar @typespecs em seu código Elixir?, por Rômulo Silva
Vídeo no YouTube que acompanha este episódio: https://youtu.be/Kl5iStovPJo
Blog post https://dev.to/rohlacanna/por-que-usar-typespecs-em-seu-codigo-elixir-4id7
Rômulo Silva https://www.linkedin.com/in/rohlacanna/
Adolfo Neto https://www.linkedin.com/in/adolfont
Post do Rômulo no Linkedin https://www.linkedin.com/in/rohlacanna?miniProfileUrn=urn%3Ali%3Afs_miniProfile%3AACoAACr1lvwBqnBrMmtvFGT8uMr2GcBM38mKNpE&lipi=urn%3Ali%3Apage%3Ad_flagship3_detail_base%3BuXSZ0u3wT3eVS5opsROgCQ%3D%3D

Francisco Antonio Dória, Professor Emérito da UFRJ
Entrevistei Francisco Antonio Dória, Professor Emérito da UFRJ e pesquisador com publicações nas áreas de Lógica, Matemática e outras.
Veja no YouTube: https://youtu.be/2RD1mzUhDkc
Escute no Anchor: https://anchor.fm/adolfont/episodes/Francisco-Antonio-Dria--Professor-Emrito-da-UFRJ-e1v1c9v
Links do professor Dória:
- Wikipédia lusófona: https://pt.wikipedia.org/wiki/Francisco_D%C3%B3ria
- Wikipedia https://en.wikipedia.org/wiki/Francisco_D%C3%B3ria
- Google Scholar: https://scholar.google.com/scholar?hl=pt-BR&as_sdt=0%2C5&q=FA+Doria&btnG=
- Lattes: http://lattes.cnpq.br/3752438139035667
- Mathematics Genealogy https://www.genealogy.math.ndsu.nodak.edu/id.php?id=83262
Livro On Hilbert's Sixth Problem https://www.amazon.com.br/Hilberts-Sixth-Problem-441/dp/3030838366/
Programa de Engenharia de Produção (PEP) UFRJ http://www.producao.ufrj.br/index.php/br/o-pep/docentes
Playlist com vídeos no YouTube: https://youtube.com/playlist?list=PLF5ttO8F-IsSGmcFGLNKVwxP7X7tEz524
Francisco Antonio Doria Incompleteness in the empirical sciences https://www.youtube.com/watch?v=6gUPG43SMNM
Leopoldo Nachbin https://pt.wikipedia.org/wiki/Leopoldo_Nachbin
Décio Krause https://fil.cfh.ufsc.br/decio-krause/
Patrick Suppes https://en.wikipedia.org/wiki/Patrick_Suppes
Gregory Chaitin: https://en.wikipedia.org/wiki/Gregory_Chaitin
Newton da Costa https://en.wikipedia.org/wiki/Newton_da_Costa
Rolando Chuaqui: https://en.wikipedia.org/wiki/Rolando_Chuaqui
Marcelo Gleiser https://pt.wikipedia.org/wiki/Marcelo_Gleiser
https://physics.dartmouth.edu/people/marcelo-gleiser
José Acácio de Barros https://en.wikipedia.org/wiki/Jose_Acacio_de_Barros
Georg Kreisel https://en.wikipedia.org/wiki/Georg_Kreisel
Miguel Nicolelis https://pt.wikipedia.org/wiki/Miguel_Nicolelis
Vladimir Arnold https://en.wikipedia.org/wiki/Vladimir_Arnold
Sobre a fuga de cérebros em 2005: https://bertha.social/@adolfoneto/109870845609001810

"Elixir, sete passos para iniciar sua viagem", de Lorena Mireles
Neste episódio eu falo sobre o texto "Elixir, 7 pasos para iniciar tu viaje", de Lorena Mireles https://www.erlang-solutions.com/blog/elixir-7-pasos-para-iniciar-tu-viaje/
Este vídeo no YouTube: https://youtu.be/xXvIMfrcS6g
Lorena Mireles https://twitter.com/loreniuxmr
Elixir v1.14 released https://elixir-lang.org/blog/2022/09/01/elixir-v1-14-0-released/
10 Years of Elixir http://adolfont.github.io/service/events/10YearsOfElixir/
Elixir v0.5.0 https://github.com/elixir-lang/elixir/releases/tag/v0.5.0
Elixir School https://elixirschool.com/pt
Getting Started de Elixir https://elixir-lang.org/getting-started/introduction.html
Programming Elixir 1.6
Functional |> Concurrent |> Pragmatic |> Fun
by Dave Thomas
https://pragprog.com/titles/elixir16/programming-elixir-1-6/
Learn Functional Programming with Elixir
New Foundations for a New World
by Ulisses Almeida
https://pragprog.com/titles/cdc-elixir/learn-functional-programming-with-elixir/
Programmer Passport: Elixir
by Bruce Tate
https://pragprog.com/titles/passelixir/programmer-passport-elixir/
Elixir em Foco
https://anchor.fm/elixiremfoco
17. Ulisses Almeida, Engenheiro de Software na Duffel
Meu perfil na instância Mastodon genserver https://genserver.social/adolfont
Meu perfil no Twitter https://twitter.com/adolfont

Conceitos básicos para programação funcional
Conceitos básicos para programação funcional https://youtu.be/L4HPfwr1y3g
Basic concepts for functional programming https://github.com/adolfont/caes005-introduction-to-functional-programming/blob/master/2022/01_introduction.md
Basic concepts for functional programming https://youtu.be/wTPfqpbFPQk
Tweet de Iago Effting https://twitter.com/iagoEffting/status/1584936391863324672
Café com Elixir https://www.getrevue.co/profile/iagoeffting

Meu tempo em Raleigh: participação em Meetups
Este é um episódio bem diferente dos que normalmente faço. Estou relembrando o período, de abril de 2014 a abril de 2015, que passei em Raleigh, na Carolina do Norte, Estados Unidos da América. Vídeo no YouTube https://youtu.be/xCQo6PtGmAg
Alguns links:
- Laurie Williams https://collaboration.csc.ncsu.edu/laurie/
- NC State https://ncsu.edu/
- Duke https://duke.edu/
- UNC https://www.unc.edu/
- RTP https://en.wikipedia.org/wiki/Research_Triangle_Park-
- Meetups em Raleigh https://www.meetup.com/find/us--nc--raleigh/

Esper Cavalheiro: Habilidades de um doutor (Revista FAPESP)
É permitida a republicação desta reportagem em meios digitais de acordo com a licença Creative Commons CC-BY-NC-ND. É obrigatório o cumprimento da Política de Republicação Digital de Conteúdo de Pesquisa FAPESP, aqui especificada. Em resumo, o texto não deve ser editado e a autoria deve ser atribuída, assim como a fonte (Pesquisa FAPESP). O uso do botão HTML permite o atendimento a essas normas. Em caso de reprodução apenas do texto, por favor, consulte a Política de Republicação Digital.

Computação evolucionária de alto desempenho com aceleração baseada em tensores
Este episódio está como vídeo completo em meu canal do YouTube: https://youtu.be/AbDlvveLDgU.
O artigo analisado é "High performance evolutionary computation with tensor-based acceleration", cujos autores são onatan Kłosko, Mateusz Benecki, Grzegorz Wcisło, Jacek Dajda e Wojciech Turek. Link: https://dl.acm.org/doi/10.1145/3512290.3528753.
Tensor Processing Unit: https://en.wikipedia.org/wiki/Tensor_Processing_Unit.
Tensor: https://en.wikipedia.org/wiki/Tensor.
Meow: https://www.youtube.com/watch?v=q6p1XNokmVk.
Meow framework: https://github.com/jonatanklosko/meow.
Rastrigin: https://github.com/jonatanklosko/meow/blob/main/notebooks/rastrigin_intro.livemd.

Edward Petkovicz - Program Manager na Amazon (Egressos do DAINF)
Este é o áudio de uma entrevista publicada no canal BSI DAINF https://youtu.be/Kvhy2p3CEOQ.
Edward Petkovicz é egresso do curso de Bacharelado em Sistemas de Informação da UTFPR Curitiba e atua como Program Manager na Amazon, EUA.
O entrevistador foi Luca Nozzoli, aluno de Engenharia de Computação da UTFPR Curitiba. O professor Adolfo Neto supervisionou e editou esta entrevista.
Você pode saber mais sobre o Edward em seu Linkedin: https://www.linkedin.com/in/edwardpetkovicz/
Indicações do Edward:
- Quem mexeu no meu queijo? https://www.goodreads.com/book/show/6398302-quem-mexeu-no-meu-queijo
- Como fazer amigos e influenciar pessoas, Dale Carnegie https://www.goodreads.com/book/show/29997117-como-fazer-amigos-e-influenciar-pessoas
- Disciplined Entrepreneurship, Bill Aulet https://www.goodreads.com/book/show/18652777-disciplined-entrepreneurship
Na série de entrevistas Egressos do DAINF, entrevistamos pessoas formadas pelos cursos do Departamento Acadêmico de Informática (DAINF) http://www2.dainf.ct.utfpr.edu.br/ da Universidade Tecnológica Federal do Paraná (UTFPR) https://www.utfpr.edu.br/, Campus Curitiba https://portal.utfpr.edu.br/campus/curitiba. #DAINF #UTFPR #EGRESSOS

Iván Álvarez, Software Developer at Resuelve tu Deuda, México (EN)
In this episode of the Professor Adolfo Neto podcast, the first one fully in English, I interviewed Iván Álvarez, a software developer in Mexico. He currently is a Team Lead at Resuelve tu Deuda. We talked about his story as a software developer and many topics related to Elixir.
Iván's Linkedin: https://www.linkedin.com/in/ivanalvarezfrias/
Ivánś Twitter: https://twitter.com/ivanhoe
My Linkedin: https://www.linkedin.com/in/adolfont
My Twitter: https://twitter.com/adolfont

Podcurso de Elixir - Aula 1 - Parte 2 - Básico
Lição "Básico" na Elixir School https://bit.ly/3k9Ek3V
Exercícios e links extras: https://bit.ly/3KetoN2

Podcurso de Elixir - Aula 1 - Parte 1 - Básico
Lição "Básico" na Elixir School https://bit.ly/3k9Ek3V
Exercícios e links extras: https://bit.ly/3KetoN2

Informações Iniciais sobre Introdução à Lógica para a Computação (versão 2022)
Página da disciplina: https://logicaparacomputacao.github.io/

RS Entrevista Professor Adolfo Neto
Esta é a republicação de um episódio que foi publicado no podcast Rúben Salomão Entrevista em 16/07/2020:
Link para o resumo: http://www.rubensalomao.me/2020/07/rs-entrevista-professor-adolfo-neto.html (cópia perene em https://archive.is/ABhXk).
Sigam o Rúben Salomão em https://www.instagram.com/rubensalomao/.
Resumo do episódio escrito pelo Rúben:
"No episódio de hoje converso com Adolfo Neto (@adolfont), falamos um pouco da sua vida, sua carreira dentro da academia e suas experiências no podcast e em métodos ágeis.
É podcaster do Emílias Podcast, Fronteiras da Engenharia de Software e o Podcast do Professor Adolfo Neto, que é seu próprio canal.
Mestrado Profissional do Programa de Pós-Graduação em Computação Aplicada dos cursos de graduação em Engenharia da Computação e em Sistemas da Informação em Curitiba.
Além disso é um pesquisador sobre Métodos Ágeis e em Aspectos Humanos na Engenharia de Software, com interesse particular na comunidade de linguagem de programação Elixir.
➡️ Aproveite e acompanhe os episódio anteriores no rubensalomao.me/
🎧Lembrando que você pode escutar estas e outras entrevistas pesquisando Rúben Salomão Entrevista no Spotify, Deezer, ITunes, Google podcast e demais agregadores.
Link podcasts:
https://anchor.fm/emilias-podcast
https://anchor.fm/fronteirases
https://anchor.fm/adolfont "

José Valim no Elixir em Foco
Link para o episódio completo: https://anchor.fm/elixiremfoco/episodes/Elixir-em-Produo--com-Jos-Valim-Dashbit-e1edp6t

Curso de Elixir Sequencial - Março 2022
Link para informações e inscrições https://cursosdeextensao.ct.utfpr.edu.br/curso-de-elixir-sequencial/
Vídeo sobre o Curso de Elixir Sequencial - Março 2022 https://youtu.be/w0_sT8HTu5AMeu perfil no Twitter https://twitter.com/adolfont

Entrevista com a equipe da UTFPR Curitiba classificada para a Final da Maratona de Programação
Entrevistei a equipe Programmeurs: end(0) da UTFPR Curitiba, classificada para a Final Brasileira da Maratona de Programação. Veja no YouTube em https://youtu.be/f9ZWdnUV7CU.
Técnico da equipe: professor Leandro Zatesko https://pessoal.dainf.ct.utfpr.edu.br/zatesko/
Integrantes: Gabriel Frizzo, Gustavo Guedes e Felipe Wolter, estudantes de Engenharia de Computação da UTFPR Curitiba.
Clube de Programação http://cdp.dainf.ct.utfpr.edu.br/
Grupo no TELEGRAM: https://t.me/joinchat/H2HN-cqDdfX_nUlK
Notícia no site da UTFPR: http://www.utfpr.edu.br/noticias/curitiba/equipe-do-campus-curitiba-esta-na-final-da-maratona-brasileira-de-programacao
Site da Final 2021 da Maratona de Programação http://maratona.sbc.org.br/final21.html
Canal no YouTube da Maratona de Programação da SBC? https://youtube.com/c/maratonaSBC

Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
Leonardo de Moura https://www.microsoft.com/en-us/research/people/leonardo/
Se preferir ver esta entrevista em vídeo, ela está em https://youtu.be/bwKFcLaeD1A.
Lean https://leanprover.github.io/
Zulip do Lean: https://leanprover.zulipchat.com/login/
Vaga na Microsoft Research https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research
Contribuidores nas perguntas: Walter Carnielli e Adair Antonio Da Silva Neto
Adolfo Neto no Twitter https://twitter.com/adolfont

Valdemar W. Setzer em "IA - Inteligência Artificial ou Imbecilidade Automática? Máquinas pode pensar e sentir?
Esta é a gravação de uma palestra que aconteceu em 05/10/2021. O ministrante foi Valdemar W. Setzer, Professor Titular Senior da Universidade de São Paulo (USP)>
Link direto para o vídeo: https://youtu.be/-eofjKL-N1Y. O vídeo contém também a parte de perguntas e respostas da plateia.
Notícia no portal do PPGCA UTFPR https://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/ia-inteligencia-artificial-ou-imbecilidade-automatica

Barack Obama usa Elixir? Mensagens sociais com Elixir na empresa Community
Link para o vídeo: https://youtu.be/5m871ogsQWc
Texto:
Social messaging with Elixir at Community February 03, 2021 · by José Valim https://elixir-lang.org/blog/2021/02/03/social-messaging-with-elixir-at-community/

Novos episódios dos podcasts Elixir em Foco, Fronteiras da Engenharia de Software e Emílias Podcast
Melissa Weber Mendonça: matemática e desenvolvedora de software na Quansight
Elixir em Produção com Paulo Valente, Backend Tech Leader na Stone
Estimativas de Software com Emilia Mendes (Blekinge Institute of Technology)

Walter Carnielli comenta e indica dois livros de Lógica
Este é o áudio deste vídeo: https://youtu.be/gbjI5akIeQE
Entrevista completa com Walter Carnielli: https://youtu.be/FBrExIIO6Hk
Livros:
Games for Your Mind: The History and Future of Logic Puzzles by Jason Rosenhouse https://www.amazon.com/Games-Your-Mind-History-Puzzles-ebook/dp/B08DL91KVR
The Significance of the New Logic, Willard Van Orman Quine https://www.amazon.com.br/Significance-Logic-Willard-Orman-Quine/dp/1316631168/
Leia também Computabilidade, Funções Computáveis, Lógica E Funções Matemáticas Walter Carnielli https://www.amazon.com.br/Computabilidade-Fun%C3%A7%C3%B5es-Comput%C3%A1veis-L%C3%B3gica-Matem%C3%A1ticas-ebook/dp/B01975UD9Q/

Walter Carnielli: Professor de Lógica da UNICAMP
Conversei com Walter Carnielli, bolsista de produtividade 1B do CNPq, Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas. Esta entrevista está no YouTube em https://youtu.be/FBrExIIO6Hk.
Links do professor Carnielli:
- Site https://www.cle.unicamp.br/prof/carnielli/,
- Página na Wikipedia https://en.wikipedia.org/wiki/Walter_Carnielli,
- CV Lattes http://lattes.cnpq.br/1055555496835379,
- Página na Amazon https://www.amazon.com/Walter-A-Carnielli/e/B001HCZB3Q,
- Grupo Interdisciplinar de Divulgação e Educação em Lógica e Inteligência Artificial (ideIA+)
https://mov8.com.br/ideia_mais/.
Vídeo com Valdemar Setzer https://www.youtube.com/watch?v=um-eWYJ4W78&t=128s
Livros de Walter Carnielli:
Pensamento Crítico - O poder da Lógica e da Argumentação
https://www.cle.unicamp.br/prof/carnielli/publications/Books/penscritico.html -
Computabilidade, funções computáveis, lógica e os fundamentos da matemática (vencedor do Prêmio Jabuti)
https://www.cle.unicamp.br/prof/carnielli/publications/Books/computabilidade.html
Vídeos com Walter Carnielli: https://www.youtube.com/results?search_query=walter+carnielli
Texto de Cristina Murta: Inteligência Artificial = Alquimia Digital http://horizontes.sbc.org.br/old/doku.php?id=v05n01:15
Episódios Relacionados:
- Elaine Pimentel https://open.spotify.com/episode/4INDyPUYP7rVfAfJ8xmKZZ,
- Valeria de Paiva https://open.spotify.com/episode/3PfXKjpElvIaC9DdZp38JH,
- Marcelo Finger https://open.spotify.com/episode/7LHfrmKM3lKcKtF304eCdF
Meus outros podcasts: https://anchor.fm/elixiremfoco, https://anchor.fm/emilias-podcast e https://anchor.fm/fronteirases

Spawnfest 2021, com Filipe Varjão e Paulo F. Oliveira
Este é um episódio extra em que conversei com Filipe Varjão e Paulo F. Oliveira sobre a Spawnfest 2021 https://spawnfest.org/, uma competição para equipes que desenvolvem em linguagens que rodam na BEAM, a máquina virtual da linguagem Erlang.
É o áudio de um vídeo que está no meu canal no YouTube em https://youtu.be/KphxN-0rlXY.
Gostou do conteúdo? Escute o podcast Elixir em Foco! https://elixiremfoco.com/
Filipe foi entrevistado aqui em https://anchor.fm/adolfont/episodes/Filipe-Varjo-Engenheiro-de-Software-na-Erlang-Solutions-eeleht

Elixir e Empreendedorismo com Alfred Reinold Baudisch
Alfred Reinold Baudisch é Desenvolvedor de Software e Empreendedor. Atualmente está como Senior Software Engineer na FarmBackup / (ver https://www.linkedin.com/in/alfred-reinold-baudisch-6b1a731a/ e https://www.linkedin.com/company/farmbackup/) CTO na FredBots.
Links:
Canal no YouTube: https://www.youtube.com/alfredbaudisch
Site pessoal: https://alfredbaudisch.com/
Medium: https://alfredbaudisch.medium.com
Twitter: https://twitter.com/alfredbaudisch
Pesca Dinâmica: https://youtube.com/pescadinamica
Godello: https://github.com/alfredbaudisch/Godello
Vídeos e informações sobre o Fred (incluindo piloto SharkTank e Hackathon BigBrotherBrasil), projeto de cobras e outros: https://alfredbaudisch.com/projects/startups/
Do Inferno e de Volta (apresentação Elixir): https://speakerdeck.com/alfredbaudisch/to-hell-and-back-why-choosing-elixir-to-build-a-startup-from-scratch-was-both-a-terrible-and-an-awesome-decision
Artigo 2 milhões conexões Phoenix: https://www.phoenixframework.org/blog/the-road-to-2-million-websocket-connections
Arquitetura WhatsApp com Erlang: http://highscalability.com/blog/2014/2/26/the-whatsapp-architecture-facebook-bought-for-19-billion.html
Make Games Without Programming using Godot https://www.skillshare.com/site/join?teacherRef=1480797&via=teacher-referral&utm_campaign=teacher-referral&utm_source=ShortUrl&utm_medium=teacher-referral&t=Make-Games-Without-Programming-using-Godot&sku=1321049958
SpeakerDeck https://speakerdeck.com/alfredbaudisch
Alfred Reinold Baudisch https://splitpainter.itch.io/
Indicações:
- Dark https://www.imdb.com/title/tt5753856/
- The Good Doctor https://www.imdb.com/title/tt6470478/
- The Legend Of Zelda: A Hero Is Born https://www.goodreads.com/book/show/31185270-the-legend-of-zelda

Inteligência Artificial com Marcelo Finger, Professor Titular da USP
Marcelo Finger é Professor Titular da Universidade de São Paulo e Pesquisador Principal no C4AI - Center for Artificial Intelligence https://c4ai.inova.usp.br/. O vídeo desta entrevista está em https://youtu.be/lI6KbV_Q0OE.
Links do Marcelo Finger:
- Página https://www.ime.usp.br/~mfinger/
- LIAMF https://liamf-usp.github.io/liamf-page/
- Publicações https://scholar.google.com.br/citations?user=uuu73GEAAAAJ
- SPIRA https://jornal.usp.br/ciencias/ferramenta-computacional-detecta-doenca-por-meio-da-variacao-da-voz/
- Introdução à Computação Para Administradores https://www.amazon.com.br/Introdu%C3%A7%C3%A3o-%C3%A0-Computa%C3%A7%C3%A3o-Para-Administradores/dp/8535234209
- Lógica Para Computação https://www.amazon.com.br/L%C3%B3gica-Computa%C3%A7%C3%A3o-Fl%C3%A1vio-Soares-Corr%C3%AAa/dp/8522127182
Indicações do Marcelo Finger:
- Algoritmos de Destruição em Massa https://www.amazon.com.br/Algoritmos-Destrui%C3%A7%C3%A3o-Massa-Cathy-ONeil/dp/6586460026/
- O Dilema das Redes https://www.imdb.com/title/tt11464826/
- Privacidade Hackeada https://www.imdb.com/title/tt4736550/
- El enemigo conoce el sistema de Marta Peirano https://www.goodreads.com/book/show/49411111-el-enemigo-conoce-el-sistema
Alguns links mencionados no episódio:
- WoLLIC http://wollic.org/
- Dov Gabbay https://en.wikipedia.org/wiki/Dov_Gabbay
- College Publications https://www.collegepublications.co.uk/
- Mathematics Genealogy Project https://genealogy.math.ndsu.nodak.edu/id.php?id=104012 e https://genealogy.math.ndsu.nodak.edu/id.php?id=95662
- Discord e Elixir https://elixir-lang.org/blog/2020/10/08/real-time-communication-at-scale-with-elixir-at-discord/
- Facebook aquires DoC Academics start up company "Monoidics" https://www.imperial.ac.uk/news/128908/facebook-aquires-doc-academics-start-company/
- Infer Static Analyzer https://fbinfer.com/

Arthur Schopenhauer seguiu a mesma rotina todo dia por 27 anos
Link para o texto: https://subtlemaneuvers.substack.com/p/arthur-schopenhauer-daily-routine

Arnaldo Carvalho de Melo: Senior Principal Software Engineer na Red Hat e um dos fundadores da Conectiva
Arnaldo Carvalho de Melo é Senior Principal Software Engineer na Red Hat desde 2007. Ele é mantenedor das ferramentas de observabilidade (perf tools) do Linux e foi um dos co-fundadores da Conectiva, uma empresa fundada em 1995 em Curitiba. A Conectiva criou a distribuição Conectiva Linux, uma das distribuições pioneiras de Linux, feita no Brasil. A gravação da entrevista está em https://youtu.be/JriUR7k-qKE.
Arnaldo no Twitter: https://twitter.com/acmel
Arnaldo no LinkedIn: https://www.linkedin.com/in/acmelo/
Indicações do Arnaldo:
Sigam-me no Twitter em @adolfont.

Q&A with Brujo Benavides - Introduction to Functional Programming
Brujo (Fernando) Benavides is an Erlang Developer & Trainer who work as a Staff Software Engineer at NextRoll, Inc. (formerly AdRoll Group).
Links e vídeo no YouTube https://youtu.be/6MTSl2OArd0

Charlotte de Oliveira: Engenheira de Software Senior especialista em Elixir
Conversei com Charlotte de Oliveira sobre sua carreira e sobre Elixir. Você pode encontrar a Charlotte de Oliveira no Twitter https://twitter.com/umamaistempo, no Telegram http://t.me/umamaistempo e no LinkedIn https://www.linkedin.com/in/umamaistempo/. Ela é participante dos dois grupos de Elixir no Telegram: https://t.me/elixirbr e https://t.me/elixirbr_offtopic. Eu criei um outro grupo, em inglês: https://t.me/elixir_world.
- Canal da Charlotte: https://www.youtube.com/channel/UCv3KvwpQG0SHJ9--FARQ_XA/playlists
- Apresentações em português: https://www.youtube.com/playlist?list=PL10pcBU5dWTi0FvxZCsh3Z25oYxbNxaFt
- Apresentações em inglês: https://www.youtube.com/playlist?list=PL10pcBU5dWThqRVB57sB8R-EE-kSoOKQs
- Charlotte implementando o Jogo da Vida em Elixir no Lottinha Programa https://www.youtube.com/channel/UC_gYKAD3-dvl8fvC9j-OGBQ/
- Elixir Brasil 2020: https://2020.elixirbrasil.com/pt/ , https://www.sympla.com.br/elixir-brasil-2020-virtual__1000367 e https://twitter.com/elixir_brasil
- Code BEAM Brasil 2020 https://www.codebeambr.com/
- Perfil da Charlotte na Code BEAM https://codesync.global/speaker/charlotte-lorelei-de-oliveira100/
Indicação da Charlotte;
- Learn You Some Erlang for great good! Fred Hébert https://learnyousomeerlang.com/
Também mencionado:
- ELUG SP https://www.meetup.com/elug_sp/
Charlotte pediu para fazer pequenas correções:
- A distância de onde eu morava até Pinheiros, para a escola, era uns 10~12km, não 6km,
- O meu emprego de aux. administrativo não era 1000 R$, era um salário mínimo (na época acho que 700 ou 800 reais).

Diego Aranha: Professor na Universidade de Aarhus, Dinamarca
Diego Aranha (https://twitter.com/dfaranha) é Professor Associado de Engenharia Criptográfica e Segurança de Redes na Universidade de Arrahus, na Dinamarca, e já foi professor da UnB e da Unicamp. Conversamos sobre voto eletrônico, blockchain, problemas de pesquisa em criptografia e, como é característica deste podcast, como ele se interessou pela computação e como foi sua carreira até hoje.
Esta entrevista foi gravada em vídeo e está em https://youtu.be/JnM7bDqWR18
Alguns dos temas:
- Voto eletrônico é seguro?
- Como você se interessou por voto eletrônico?
- Por que ele não apareceu no Jornal Nacional?
- Qual foi a estratégia para testar a urna?
- Blockchain ajuda?
- O problema do voto eletrônico é mais tecnológico ou mais político?
- Como Diego se interessou pela Computação?
- Você gosta de programar e tem tempo para programar?
- Por que você está em Aarhus e como a Univ. de Aarhus é comparada com universidades brasileiras?
- Qual valor a sociedade dinamarquesa dá para a universidade e a pesquisa?
- Como é a carreira na Universidade de Aarhus?
- Qual seu status em termos de pesquisa na Universidade de Aarhus?
- Como é a divisão de trabalho entre ensino e pesquisa?
- Diego dá aulas em inglẽs
- Problemas de pesquisa em criptografia mais relevantes
- E o que ele recomenda a alguém interessado em seguir persquisa nesta área
Indicações do Diego Aranha:
- 1984, de George Orwell
- Livros de Simon Singh de ciência popular, em especial O Último Teorema de Fermat https://www.amazon.com.br/gp/product/B00MV6JA20/ e O Livro dos Códigos https://www.amazon.com.br/Livro-Dos-C%C3%B3digos-Simon-Singh/dp/8501055980/
- Podcast Segurança Legal (ele já esteve lá em algumas ocasiões) https://www.segurancalegal.com/
- Canal Computerphile https://www.youtube.com/channel/UC9-y-6csu5WGm29I7JiwpnA
- Filme Citizenfour https://www.imdb.com/title/tt4044364/
- Série Mr. Robot https://www.imdb.com/title/tt4158110/
Assista também: Alguns segundos da palestra de Diego Aranha (UNICAMP) no FTSL 2016 na UTFPR https://youtu.be/QIoTDlrLu78
Escute também:" Segurança de Sistemas Eletrônicos de Votação com Diego Aranha" Podcast Ciência da Computação https://castbox.fm/x/1PdxP

Guilherme de Maio: Desenvolvedor com foco em Back-End e um dos organizadores do ELUG São Paulo
Conversei com Guilherme de Maio: Desenvolvedor com foco em Back-End e um dos organizadores do ELUG São Paulo (Elixir User Group SP https://www.meetup.com/pt-BR/elug_sp/). Ele começou a trabalhar com Elixir em 2015 em uma startup (Xerpa) cujo CTO apostou em Elixir nos primórdios da linguagem. Ele nos contou sua experiência com pesquisa no Brasil e no exterior e, claro, conversou sobre Elixir e sobre sua carreira.
- Perfil do Guilherme no LinkedIn https://www.linkedin.com/in/nirev
- Twitter https://twitter.com/nirev
- Telegram http://t.me/nirev
- GitHub https://github.com/nirev
- Slides https://speakerdeck.com/nirev
- Dissertação de mestrado https://teses.usp.br/teses/disponiveis/45/45134/tde-03062015-214359/pt-br.php
- Página pessoal https://nirev.github.io/
- Telegram do Elixir Brasil https://t.me/elixirbr
- Canal do Guilherme https://www.youtube.com/user/guilhermenirev/videos
A gravação deste podcast está no Youtube em https://youtu.be/DDcQZaSmDwk
Indicações do Guilherme:
- The Expanse (série de livros) https://www.goodreads.com/series/56399-the-expanse
- The Expanse (série televisiva) https://www.imdb.com/title/tt3230854/

Ética no Desenvolvimento de Software & Elixir, com Ruan Brandão
Ruan Brandão é Engenheiro de Software na Podium, trabalhando com Elixir, e tem particular interesse em Ética no Desenvolvimento de Software. Ele foi palestrante na Paris.rb 2020, na RubyConf Brasil 2019, na RubyFuza & Friends 2019 e na Elixir Brasil 2018.
Site do Ruan com links para blog, vídeos, slides: https://ruanbrandao.com.br/.
Ruan no Twitter: https://twitter.com/RuanBrandao
Indicações do Ruan:
- perifaCode: https://twitter.com/perifacode https://perifacode.com/
- Livro sobre Padrões de Projeto https://www.amazon.com.br/Padr%C3%B5es-Projetos-Solu%C3%A7%C3%B5es-Reutiliz%C3%A1veis-Orientados/dp/8573076100
- Weapons of Math Destruction https://www.amazon.com.br/Weapons-Math-Destruction-Increases-Inequality-ebook/dp/B019B6VCLO/
- TED Talk da Cathy O'Neill https://www.ted.com/talks/cathy_o_neil_the_era_of_blind_faith_in_big_data_must_end
- Philosophy: The Basics https://www.amazon.com.br/Philosophy-Basics-English-Nigel-Warburton-ebook/dp/B00EPE1VPU/
- Luciano Ramalho: https://twitter.com/ramalhoorg/
- Avatar: A Lenda de Aang https://www.imdb.com/title/tt0417299/
Indicações do Adolfo:
- The Good Place https://www.imdb.com/title/tt4955642/
- Padrões de Projeto no Hipsters https://hipsters.tech/design-patterns-hipsters-206/
- Carla Vieira no Emílias Podcast https://anchor.fm/emilias-podcast/episodes/Carla-Vieira-Engenheira-de-Software-e-Organizadora-do-perifaCode-egeb39
Perguntas de ouvintes:
- Danilo Monteiro: Como agir quando nosso empregador propõe algo antiético para ser desenvolvido? Uma vez que muita gente precisa pagar contas de casa.
- Danilo Monteiro: Desenvolvedores de Software precisam se preocupar com Ética?
Se eles fizerem o que seus chefes mandam, não podem ficar com a consciência tranquila e estar seguros? - Elaine Naomi: O que você achou desta recente discussão sobre o FaceApp?
- Danilo Monteiro: Como você trabalharia na graduação para que os alunos entendam a importância da ética no e para o desenvolvimento? Acho que esta pergunta está muito ligada a sociedade, mas vemos países mais "evoluídos" com os mesmo problemas. Uma disciplina? Se sim como que ele visualiza isso? Parte de uma disciplina? Uma aula de ES? Claro que a ética é perpendicular as matérias
Qual o limite do desenvolvimento de sw quanto a ética? Até onde podemos ir? - Jéssyka Vilela: Como evitar/lidar com bias em algoritmos de inteligência artificial? Também conhecidos como algoritmos discriminatórios.
- @TSistersOfMercy: O Elixir é compilado ? Ele concorre com Java/C#? Que tipos de aplicações pode-se fazer com ele ?

Bruno da Silva: Professor de Engenharia de Software na Cal Poly San Luis Obispo
Bruno da Silva é Professor Assistente na Cal Poly San Luis Obispo. Ele ensina disciplinas de Engenharia de Software e nesta entrevista conversou comigo sobre sua experiência na academia com ensino e pesquisa. Por exemplo, ele nos contou sobre diferença, na experiência dele, entre os alunos brasileiros e os alunos estadunidenses; e sobre como é processo de contratação de professores na Cal Poly San Luis Obispo.
Página do Bruno: https://bcdasilv.github.io/
Cerimônia de Formatura dos estudantes do departamento CSSE da Cal Poly no Minecraft https://youtu.be/6cN_RmIZr7U
Formatura na UNC em 2014 https://youtu.be/RLGBbSM2Gmg
Temas discutidos na entrevista:
Como é o trabalho dele na Cal Poly San Luis Obispo
Como foi a formatura do departamento dele no Minecraft
O que significa o lema "Learn by Doing" (Aprenda Fazendo) da Cal Poly e como a Cal Poly se insere no contexto das universidades públicas da Califórnia
Quais os métodos de ensino utilizados para dar apoio ao lema e como se dá a interação com a indústria no ensino
Como acontecem os projetos Capstone na Cal Poly
Ideias sobre como implantar um Learn by Doing dentro do contexto brasileiro
A diferença entre os alunos brasileiros e os alunos estadunidenses
Quais as diferenças entre a Cal Poly e outras universidades americanas
Como ele se interessou pela Computação
Como ele decidiu fazer Mestrado na UFRGS
Como ele decidiu fazer Doutorado na Bahia
Como foi a experiência dele no mercado e como professor no Brasil
Como ocorreu a saída dele do Brasil para os EUA e que dicas que ele pode dar
Como é o processo de contratação de professores na Cal Poly SLO
Como é o processo para obtenção do visto para trabalho nos EUA (diferença entre empresas e universidades)
Como é a pesquisa dele em Análise de Sentimentos e Emoções em Engenharia de Software
Em que outras áreas ele atua (Análise de Dados de Software, entre outras)
Se ele gosta de programar e tem tempo para isso
Como ele faria para que uma linguagem de programação (Elixir, por exemplo) crescer e ser mais usada na indústria
Como tem sido a experiência em dar aulas na língua inglesa
O que ele diria para quem está pensando em seguir carreira na Computação
O que ele indica para nossos ouvintes
Ele agradece a pessoas importantes na carreira dele: Christina von Flach (UFBA), Claudio Santana (UFBA), Kleinner Farias (UNISINOS), Manoel Mendonça (UFBA), Alessandro Garcia (PUC-RIO), Eduardo Figueiredo
Indicações:
- Peopleware: Productive Projects and Teams https://www.amazon.com.br/dp/B00DY5A8X2/
- HIDev, o podcast do Bruno Cartaxo https://anchor.fm/hidevpodcast/, que foi entrevistado por mim em https://anchor.fm/adolfont/episodes/Bruno-Cartaxo-Professor-do-IFPE-ecsmjk
- Podcasts de desenvolvedores https://bit.ly/30XB0Pg
- Participar de conferências de desenvolvimento
- The Culture Code, de Daniel Coyle https://amzn.to/33tUvls
Pessoas que contribuíram com perguntas: Christina von Flach, Danilo Monteiro e Paulo Daniel Gonzalez
Você encontra trechos desta entrevista em vídeo no meu canal https://www.youtube.com/c/AdolfoNeto/

Arte-educação com Alexandre Villares
Conversei com Alexandre Villares, professor, artista visual e consultor em novas mídias. Ele tem graduação em Arquitetura pela USP e mestrado em Arquitetura, Tecnologia e Cidade pela UNICAMP. Alguns dos temas abordados:
1. Arte-educação e Processing
2. Por que artistas sujam as mãos com programação?
3. Como ele começou a programar?
4. Como introduzir programação com artes (desenho, música)?
5. Como ensinar recursividade?
6. Como foi ter um desenho publicado numa revista acadêmica?
7. Qual o papel da matemática na programação?
8. Relação entre línguas e programação
entre outros assuntos.
- Página do Alexandre Villares: https://abav.lugaralgum.com/
- Twitter do Alexandre Villares: https://twitter.com/villares
- GitHub do Alexandre https://github.com/villares
- YouTube do Alexandre https://www.youtube.com/user/alexandrevillares
Tuíte mencionado no começo sobre easing https://twitter.com/villares/status/1264737557318897666
Sketch a day https://github.com/villares/sketch-a-day
Introdução à programação com Processing Modo Python https://abav.lugaralgum.com/material-aulas/Processing-Python/recursao_py.html
Aprendendo e ensinando Python para "programadores alternativos"
https://github.com/villares/villares.github.io/blob/master/palestras/pybr2019/slides_PyBR2019.pdf
2850 Triangle Interpolations v3, obra publicada na revista Internet e Sociedade, do InternetLab.
Exemplo da árvore
https://twitter.com/villares/status/1266437153434865666
Links para começar com Arte-Educação, Arte-Programação:
- Fundação Processing https://processing.org/
Py5.js https://p5js.org/
Python Mode for Processing https://py.processing.org/ - Lista Processing Brasil https://groups.google.com/forum/#!forum/processing-brasil
- Encontros Digitais (sobre Tecnologia Criativa): https://encontrosdigitais.com.br/
Indicações do Alexandre:
- O Artífice, Richard Sennett https://www.record.com.br/produto/o-artifice/
Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages https://www.nature.com/articles/s41598-020-60661-8
Música de fundo:
- Night In Venice by Kevin MacLeod
- Link: https://filmmusic.io/song/5763-night-in-venice
- License: http://creativecommons.org/licenses/by/4.0/

Maurício Aniche: Professor da Universidade de Delft, na Holanda
Conversei com Maurício Aniche sobre TDD (test-driven development), Pesquisa, Ensino e muito mais. Veja o vídeo desta gravação em https://youtu.be/008ZT3aM87w.
- Página do Aniche: https://www.mauricioaniche.com/
- GitHub https://github.com/mauricioaniche
- Twitter https://twitter.com/mauricioaniche
- Sete livros de Aniche na Casa do Código, dos quais quatro sobre TDD https://www.casadocodigo.com.br/search?type=product&q=aniche
- Livro (ou Notas de Aula?) do Aniche: Software Testing: From Theory to Practice https://sttp.site/
Indicações do Aniche:
- Sobre o Autoritarianismo Brasileiro, de LILIA MORITZ SCHWARCZ https://www.companhiadasletras.com.br/detalhe.php?codigo=14669
- Como as democracias morrem, de Steven Levitsky e Daniel Ziblatt https://zahar.com.br/livro/como-democracias-morrem
- Série Blacklist https://pt.wikipedia.org/wiki/The_Blacklist
- Canal Dev Eficiente, de Alberto Souza https://www.youtube.com/channel/UC9xYzttzFxK9cmhKPQCalYQ
Post no Medium: Testing vs writing tests
https://medium.com/@mauricioaniche/testing-vs-writing-tests-d817bffea6bc
Primeiro artigo sobre TDD https://www.ime.usp.br/~aniche/tdd-survey/aniche-mistakestdd.pdf
Na introdução indicamos :
- Podcast HiDev do Bruno Cartaxo https://anchor.fm/hidevpodcast
- Podcast Fronteiras da Engenharia de Software https://twitter.com/fronteirases
Sorteio de cupons da Casa do Código: https://forms.gle/U1tfpsf8zyUZRVdF9
Marco Aurélio Gerosa https://www.ime.usp.br/~gerosa/
Blog da Felienne onde ela conta os erros dela no processo de Tenure https://www.felienne.com/archives/category/blog
David Shepherd https://davidshepherd.weebly.com/
Tim Menzies http://menzies.us/
Bachelor of Computer Science and Engineering nat TU Delft: https://www.tudelft.nl/en/education/programmes/bachelors/cse/bachelor-of-computer-science-and-engineering/
Engenharia de Computação na UTFPR: http://www.utfpr.edu.br/cursos/graduacao/bacharelado/engenharia-da-computacao
Sistemas de Informação na UTFPR: http://www.utfpr.edu.br/cursos/graduacao/bacharelado/sistemas-de-informacao
Resumo que fiz de palestra de Eric Mazur https://qeondb.blogspot.com/2015/08/palestra-de-eric-mazur-harvard.html
Derek Bruff é o professor da Vanderbilt University, em Nashville Tennesse, que mencionei e seu curso online é "An Introduction to Evidence-Based Undergraduate STEM Teaching" https://www.edx.org/course/an-introduction-to-evidence-based-undergraduate-st
Sobre Keukenhof https://pt.wikipedia.org/wiki/Keukenhof
Música de fundo:
Night In Venice by Kevin MacLeod

Filipe Varjão: Engenheiro de Software na Erlang Solutions
Filipe Varjão: Engenheiro de Softare na Erlang Solutions
Perfis do Filipe Varjão nas redes:
- Twitter: https://twitter.com/filipevarjao
- LinkedIn https://www.linkedin.com/in/filipe-varjão-phd-68a8aa2a
- GitHub https://github.com/filipevarjao
- CodeSync https://codesync.global/speaker/filipe-varjao/
- Lattes http://lattes.cnpq.br/5460816819533256
Palestras do FIlipe:
- A Performance Evaluation of Elixir - Elixir Conf 2014 https://youtu.be/zNNGTiTArJw
- Foto de Filipe com Valim em 2014 https://twitter.com/filipevarjao/status/1265991242061668353
- Let the garbage crash FILIPE VARJÃO CodeBEAMSF 2020 https://youtu.be/7Qg9GwKSxN4
Tese de Doutorado: Gerenciamento dinâmico de memória baseado em regiões com contagem de referências cíclicas https://repositorio.ufpe.br/handle/123456789/34460
Indicações:
- Livros de Bernard Cornwell: https://en.wikipedia.org/wiki/Bernard_Cornwell
- Elixir in Action, Sasa Juric https://www.manning.com/books/elixir-in-action-second-edition
- Livro do Francesco Cesarini https://www.amazon.com.br/Designing-Scalability-Erlang-Francesco-Cesarini/dp/9352133757/
- Elixir User Group PE https://www.meetup.com/Elixir-User-Group-PE/
Palestra de Kelvin Stinghen sobre Elixir https://www.youtube.com/watch?v=CQg5q_CLzn8&t=5271s

Fernando Kenji Kamei: Professor do IFAL
Fernando estuda literatura cinza em seu Doutorado em Ciência da Computação na UFPE e é professor do Instituto Federal de Alagoas, Campus Maceió.
Fernando no Twitter: https://twitter.com/fkenjikamei
Lattes do Fernando: http://lattes.cnpq.br/5033020411757389
Indicações do Fernando:
O Programador Apaixonado, Chad Fowler https://www.casadocodigo.com.br/products/livro-programador-apaixonado
Refatoração, de Martin Fowler https://www.amazon.com.br/Refatora%C3%A7%C3%A3o-2%C2%AA-Edi%C3%A7%C3%A3o-Martin-Fowler/dp/8575227246/
Tdd - Desenvolvimento Guiado Por Testes, de Kent Beck https://www.amazon.com.br/TDD-Desenvolvimento-Guiado-por-Testes/dp/857780724X
Pérolas da Redação Científica, Gilson Volpato https://www.bestwriting.com.br/Perolas-da-Redacao-Cientifica.htm
Indicações de Adolfo:
Episódios do podcast Somos Cíntia entrevistando Amália Camara, professora da UPE (e não da UFPE, como foi dito no podcast)
Não há espaço para retrocessos! https://anchor.fm/grupo-cintia/episodes/No-h-espao-para-retrocessos-ecs26r
Isso é mesmo opinião? Bora combater a desinformação? https://anchor.fm/grupo-cintia/episodes/Isso--mesmo-opinio--Bora-combater-a-desinformao-ed9l5r
So Good They Can't Ignore You, de Cal Newport https://www.amazon.com.br/Good-They-Cant-Ignore-English-ebook/dp/B01KFR64LQ/
Cal Newport: "So Good They Can't Ignore You" | Talks at Google https://youtu.be/qwOdU02SE0w
Links mencionados:
Tese de doutorado explica a dificil missão de ser mulher na área de TI.
https://www.cbsi.net.br/2015/07/a-dificil-missao-de-ser-mulher-na-ti.html
Música de fundo:
Night In Venice by Kevin MacLeod
Link: https://filmmusic.io/song/5763-night-in-venice
License: http://creativecommons.org/licenses/by/4.0/

Gustavo Pinto: Professor da Universidade Federal do Pará
Gustavo é Professor Associado da Universidade Federal do Pará, em Belém-PA, com Doutorado em Ciência da Computação pela UFPE. Ele tem vários artigos científicos publicados na área de Engenharia de Software. Conversei com ele sobre sua carreira e seus projetos atuais, como o livro sobre licenças open source: https://gumroad.com/l/demystifying-oss-licensing.
Saiba mais sobre Gustavo em sua página http://gustavopinto.org/ e siga-o no Twitter @gustavopinto.
O artigo de que Gustavo mais gosta: Mining questions about software energy consumption.
Indicações do Gustavo:
- Mamilos Podcast. Episódio sobre Ansiedade.
Minhas indicações:
Eu estou no Twitter como @adolfont.

Bruno Cartaxo: Professor do IFPE
Neste episódio conversei com Bruno Cartaxo, professor do IFPE com Mestrado e Doutorado em Computação pelo CIn UFPE.
Bruno no Twitter: https://twitter.com/brunocartaxo
Página do Bruno Cartaxo: http://brunocartaxo.com/
Indicação de livro do Bruno: Barba Ensopada de Sengue, Daniel Galera https://www.companhiadasletras.com.br/detalhe.php?codigo=12453
Indicação de série do Adolfo: The Good Place https://www.netflix.com/br-en/title/80113701

João Maia: Engenheiro DevOps na Pagar.me
Entrevistei João Maia, Engenheiro de Computação formado pela Universidade Federal do Espírito Santo (UFES), atualmente no cargo de Engenheiro DevOps na empresa Pagar.me.
Os posts sobre Go estão em seu blog https://blog.joaovrmaia.com/
João Maia no Twitter: https://twitter.com/jvrmaia
LinkedIn do João Maia: https://www.linkedin.com/in/jvrmaia/
Página do João com mais informações e links: http://www.joaovrmaia.com/
Foto da final mundial da Maratona de Programação 2008 (http://maratona.ime.usp.br/hist/2008/index.html) onde João é o com gorro marrom http://maratona.ime.usp.br/hist/2008/wf09/timesbrasileiros.jpg
Maratona de Programação 2010 em que João foi participante na equipe Exception http://maratona.ime.usp.br/hist/2010/index.html
Sites para treinar programação no estilo Maratonas:
- URI https://www.urionlinejudge.com.br/judge/en/login
- SPOJ https://br.spoj.com/
- UVA https://onlinejudge.org/
Indicações de podcast do João:
- tecnologia
http://loopmatinal.libsyn.com/podcast
- carreira
https://carreirasemfronteiras.com.br
Mark Cucuzzella e a Comrades http://naturalrunningcenter.com/2013/06/08/comrades-marathon-upgoes/

Danilo Monteiro: Doutorando em Ciência da Computação na UFPE
Página do Danilo Monteiro: http://monteiro.inf.br/
Currículo Lattes do Danilo: http://lattes.cnpq.br/9054177799378154
Perfil do Danilo Monteiro no Twitter: https://twitter.com/1danilo
Agatha Christie (a indicação de livros): https://pt.wikipedia.org/wiki/Agatha_Christie
Livro 1808: https://pt.wikipedia.org/wiki/1808_(livro)

Fake News (rebroadcast)
Este episódio foi postado originalmente em 05/09/2018 em https://soundcloud.com/adolfo-neto/qual-o-nome-deste-podcast-episodio-1
Este episódio começou a partir do texto comentado neste link: https://qeondb.blogspot.com/2018/08/analise-de-levantamento-inedito-revela.html
Participantes: Adolfo Neto e Everaldo Gomes
- Reciclando a Maledicência editoradufaux.com.br/livro/reciclan…-maledicencia/
- Boomerite madras.com.br/boomerite
- A Mais Pura Verdade sobre a Desonestidade www.amazon.com.br/Mais-Pura-Verdad…de/dp/8535258086
- (Dis)Honesty: The Truth About Lies www.imdb.com/title/tt2630898/

Jean Rangel: Programador na i-Cherry
Entrevistei Jean Rangel, Programador na i-Cherry (https://www.i-cherry.com.br/). Ele é Mestre em Computação Aplicada pela UTFPR Curitiba, Bacharel em Engenharia de Software pela UNIPAMPA e Técnico em Informática.
- LinkedIn https://www.linkedin.com/in/jeanrangel/
- Lattes http://lattes.cnpq.br/9347454623970522
- Instagram https://www.instagram.com/jeanzerarangel/
- Facebook https://www.facebook.com/jean.rangel.5
- Email jeanzeeera AT gmail.com
Jogo sério "Encontre a Fraude" na Play Store https://play.google.com/store/apps/details?id=com.rangel.encontreafraude
Página sobre o jogo "Encontre a Fraude": http://www.dainf.ct.utfpr.edu.br/~adolfo/dokuwiki/doku.php?id=201:jogo_encontre_a_fraude
Publicações:
- Dissertação de Mestrado em Computação Aplicada na UTFPR Curitiba: http://repositorio.utfpr.edu.br/jspui/handle/1/3933
- A Serious Game as a Tool for Teaching Outlier and Fraud Detection: A Case Study http://www.sbgames.org/sbgames2018/files/papers/EducacaoFull/187365.pdf
- Jogo Sério como Facilitador de Denúncias e Detecção de Fraudes em Órgãos Públicos Governamentais http://www.sbgames.org/sbgames2017/papers/ComputacaoShort/175293.pdf
Indicações:
Adolfo indicou a QuarentenaDev https://www.alura.com.br/quarentenadev
Jean indicou:
- Alphaville de Jean-Luc Godard https://www.imdb.com/title/tt0058898/ (Adolfo lembrou de Acossado, do mesmo diretor https://www.imdb.com/title/tt0053472/)
- Metropolis de Fritz Lang https://www.imdb.com/title/tt0017136/ (Adolfo lembro de M, do mesmo diretor https://www.imdb.com/title/tt0022100/)
- Handmaid's Tale https://www.imdb.com/title/tt5834204
- Livro 2001 de Arthur C. Clarke https://www.amazon.com.br/2001-Uma-odisséia-no-espaço/dp/8576571552/ e filme 2001: Uma Odisseia no Espaço https://www.imdb.com/title/tt0062622/ (Adolfo lembrou do filme considerado péssimo 2010: O Ano em que Faremos Contato https://www.imdb.com/title/tt0086837/)
Problem-based Learning https://en.wikipedia.org/wiki/Problem-based_learning https://teaching.cornell.edu/teaching-resources/engaging-students/problem-based-learning
Aprendizagem baseada em problemas https://pt.wikipedia.org/wiki/Aprendizagem_baseada_em_problemas
Global Game Jam em Curitiba http://www.ggjcwb.com/
Motores de Jogos (Game Engines):
- Godot https://godotengine.org/
- Unreal https://www.unrealengine.com/en-US/
- Unity https://unity.com/