Skip to main content
Professor Adolfo Neto

Professor Adolfo Neto

By Adolfo Neto

I am Adolfo Neto, a professor at UTFPR Curitiba. In this podcast, I interview professionals from the field of computing and related areas. My goal is to better understand how they became interested in their current profession, what their daily lives are like, and what their motivations, difficulties, and challenges are.
Available on
Apple Podcasts Logo
Castbox Logo
Google Podcasts Logo
Overcast Logo
Pocket Casts Logo
RadioPublic Logo
Spotify Logo
Currently playing episode

Danilo Monteiro: Doutorando em Ciência da Computação na UFPE

Professor Adolfo NetoApr 02, 2020

00:00
57:02
Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro

Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro

In this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Laura Castro.

Laura is a distinguished professor at Universidade da Coruña (UDC), Spain, and the chair of Cátedra CICAS, a collaborative project aimed at advancing Open Science through Software. She is involved in the BEAM (Erlang and Elixir) community and is a member of the Erlang Ecosystem Foundation.

During our conversation, Laura shares her journey into Erlang and Elixir, her role at the University of A Coruña, and her involvement in the BEAM community and the Erlang Ecosystem Foundation. We also delve into the topic of gender diversity in computing and Laura's thoughts on knowledge sharing within the field.

A big thank you to Laura for sharing her expertise with us.

You can connect with Laura Castro at https://lauramcastro.github.io/.

Why on Earth would I test if I have to just "Let it crash"? Laura Castro on Property-Based Testing

https://youtu.be/6gu9EXRraG8?si=P1l3Z6XFohvpSj6f  

Mostly Erlang podcast https://mostlyerlang.wordpress.com

José Valim, Joe Armstrong and Robert Virding https://mostlyerlang.wordpress.com/2013/10/07/019-elixir-with-jose-valim/ 

José Valim and Bruce Tate https://mostlyerlang.wordpress.com/2014/08/11/elixir-tools/ 

Hello, Erlang! podcast https://helloerlang.github.io/

Introduction to Functional Programming https://github.com/adolfont/caes005-introduction-to-functional-programming 

Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty, by Fernando (Brujo) Benavides Rodríguez, Laura M. Castro https://arxiv.org/abs/2107.08699 

Code BEAM A Corunha https://www.codebeamcorunha.es/en

Join the Erlang Ecosystem Foundation https://bit.ly/3Sl8XTO .  Their site is ⁠https://bit.ly/3Jma95g .

ELXPRO is an Elixir course whose creator, Gustavo Oliveira, I had the pleasure of interviewing in a previous episode ( https://youtu.be/bTUVIXg3Z28  ). 

If you're curious and ready to take your Elixir skills to the next level, check out my affiliate link to ELXPRO https://go.hotmart.com/F73840549I

Your exploration not only opens doors to ELXPRO but also supports the future of this podcast.

Find me on Linkedin https://www.linkedin.com/in/adolfont/

Find this podcast on audio platforms at https://podcasters.spotify.com/pod/show/adolfont 

Find this podcast on YouTube at https://www.youtube.com/@elixiradolfont 


Mar 18, 202426:30
An interview with Sophie DeBenedetto at Code BEAM America 2022

An interview with Sophie DeBenedetto at Code BEAM America 2022

I went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html  (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE ) and interviewed Sophie DeBenedetto, a software developer at GitHub.

You can find Sophie at:

http://sophiedebenedetto.nyc/ 

https://www.linkedin.com/in/sophiedebenedetto/

https://github.com/SophieDeBenedetto 


In the interview we mentioned:

ElixirChatt https://grox.io/mentor_programs

Erlang Ecosystem Foundation https://erlef.org/

Programming Phoenix LiveView

Interactive Elixir Web Programming Without Writing Any JavaScript

by Bruce A. Tate and Sophie DeBenedetto

https://pragprog.com/titles/liveview/programming-phoenix-liveview/ 


I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for supporting this series of interviews.

Cameraperson: Wiviane Nallin

If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I


Listen to this podcast at https://podcasters.spotify.com/pod/show/adolfont 


Learn more about me (Adolfo Neto) at https://adolfont.github.io/


Watch this video on YouTube at https://youtu.be/Uik_gy84n2c 

Mar 04, 202405:03
An interview with Mackenzie Morgan at Code BEAM America 2022

An interview with Mackenzie Morgan at Code BEAM America 2022

I went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html  (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE ) and interviewed Mackenzie Morgan, a software developer at NextRoll.

You can find Mackenzie at:

https://mackenzie.morgan.name/ 

https://github.com/maco 

https://www.tiktok.com/@maco.nix 

Mackenzie's talk at Code BEAM America 2022 was "Typing with pixie dust" https://youtu.be/-hcvGTwPLFI 

I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for the support.

Cameraperson: Wiviane Nallin
If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I

Feb 28, 202402:33
Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware
Feb 19, 202433:51
An interview with Carlo Gilmar at Code BEAM America 2022

An interview with Carlo Gilmar at Code BEAM America 2022

I went to Code BEAM America 2022 https://codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here https://youtu.be/zvS1Uj3_UTE) and interviewed Carlo Gilmar, the creator of many graphic recordings which are loved by the BEAM community. I thank Erlang Solutions, Code Sync, Erlang Ecosystem Foundation and UTFPR for the support. Cameraperson: Wiviane Nallin If you're curious and ready to take your Elixir language skills to the next level, check out my affiliate link to the ELXPRO course https://go.hotmart.com/F73840549I

Jan 30, 202403:46
Learning Elixir with ELXPRO - Gustavo Oliveira

Learning Elixir with ELXPRO - Gustavo Oliveira

In this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Gustavo Oliveira, creator of ELXPRO, an advanced Elixir course. We uncover Gustavo's Elixir journey and the inspiration behind ELXPRO. Delve into the current landscape of Elixir developers as Gustavo shares market insights and dispels myths about opportunities for developers at different levels.

Watch on YouTube at https://youtu.be/bTUVIXg3Z28.

The spotlight then turns to ELXPRO itself. Gustavo walks us through its unique features, giving you a sneak peek into how it empowers aspiring developers to master Elixir and its associated tools.

If you're curious and ready to take your Elixir skills to the next level, check out my affiliate link to ELXPRO https://go.hotmart.com/F73840549I  

Your exploration not only opens doors to ELXPRO but also supports the future of this podcast.

A big thank you to Gustavo for sharing his expertise with us today. 

Find Gustavo Oliveira on Linkedin

https://www.linkedin.com/in/gustavo-oliveira-642b23aa/  

Find me on Linkedin https://www.linkedin.com/in/adolfont/ 






Find this podcast on audio platforms: https://podcasters.spotify.com/pod/show/adolfont

Dec 18, 202323:00
Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche
Dec 08, 202301:03:47
FES 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) - republicação
Nov 21, 202301:18:43
A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco
Oct 31, 202303:33
A Semana de Trabalho de um Dia de Edsger Dijkstra

A Semana de Trabalho de um Dia de Edsger Dijkstra

Edsger Dijkstra’s One-Day Workweek https://calnewport.com/edsger-dijkstras-one-day-workweek/

Aug 11, 202306:03
Podcast Diálogo Ágil - Episódio #2 - Robson Valentim
Aug 09, 202331:28
Podcast Diálogo Ágil - Episódio #3 - Gustavo Tenius
Jul 13, 202330:08
Painel de debate - Comunicação entre a academia e a indústria

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

Jun 15, 202301:43:58
"Há limites para a Inteligência Artificial? Sobre a Filosofia no caso ChatGPT", com Walter Carnielli e mediação de Marcos Silva

"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

https://twitter.com/logica_viva

Mar 20, 202301:13:43
Por que usar @typespecs em seu código Elixir?, por Rômulo Silva
Feb 28, 202329:07
Francisco Antonio Dória, Professor Emérito da UFRJ

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:

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





Feb 16, 202301:01:42
"Elixir, sete passos para iniciar sua viagem", de Lorena Mireles

"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

https://anchor.fm/elixiremfoco/episodes/17--Ulisses-Almeida--Engenheiro-de-Software-na-Duffel-e1lutji/a-a7j9ovj

https://open.spotify.com/episode/5Wjkeo1TDAyBdrULvtUf7C?go=1&sp_cid=2f5a3671-1bba-47d2-90d2-0cbdc1e4de6a&utm_source=embed_player_p&utm_medium=desktop&nd=1

Meu perfil na instância Mastodon genserver https://genserver.social/adolfont

Meu perfil no Twitter https://twitter.com/adolfont

Feb 13, 202314:09
Conceitos básicos para programação funcional
Oct 26, 202220:20
Meu tempo em Raleigh: participação em Meetups
Oct 24, 202210:23
Esper Cavalheiro: Habilidades de um doutor (Revista FAPESP)

Esper Cavalheiro: Habilidades de um doutor (Revista FAPESP)

Neste episódio, li o texto "Esper Cavalheiro: Habilidades de um doutor".

É 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.

Oct 05, 202215:31
Computação evolucionária de alto desempenho com aceleração baseada em tensores
Jul 14, 202238:32
Edward Petkovicz - Program Manager na Amazon (Egressos do DAINF)

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

Jun 21, 202201:01:21
Iván Álvarez, Software Developer at Resuelve tu Deuda, México (EN)
Jun 15, 202245:54
Podcurso de Elixir - Aula 1 - Parte 2 - Básico
Apr 27, 202218:37
Podcurso de Elixir - Aula 1 - Parte 1 - Básico
Apr 25, 202227:09
Informações Iniciais sobre Introdução à Lógica para a Computação (versão 2022)
Mar 22, 202202:46
RS Entrevista Professor Adolfo Neto

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  "

Mar 06, 202201:00:20
José Valim no Elixir em Foco
Mar 02, 202208:54
Curso de Elixir Sequencial - Março 2022
Feb 28, 202201:11
Entrevista com a equipe da UTFPR Curitiba classificada para a Final da Maratona de Programação
Dec 08, 202141:55
Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
Nov 23, 202101:30:02
Valdemar W. Setzer em "IA - Inteligência Artificial ou Imbecilidade Automática? Máquinas pode pensar e sentir?
Oct 07, 202102:06:57
Barack Obama usa Elixir? Mensagens sociais com Elixir na empresa Community
Sep 22, 202124:36
Novos episódios dos podcasts Elixir em Foco, Fronteiras da Engenharia de Software e Emílias Podcast
Jul 16, 202101:01
Walter Carnielli comenta e indica dois livros de Lógica

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/

Jun 30, 202108:16
Walter Carnielli: Professor de Lógica da UNICAMP

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 -

https://www.amazon.com.br/Pensamento-Cr%C3%ADtico-Poder-L%C3%B3gica-Argumenta%C3%A7%C3%A3o/dp/8533954409/

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


Jun 25, 202101:18:52
Spawnfest 2021, com Filipe Varjão e Paulo F. Oliveira

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

May 04, 202133:14
Elixir e Empreendedorismo com Alfred Reinold Baudisch

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:

Apr 14, 202101:10:15
Inteligência Artificial com Marcelo Finger, Professor Titular da USP

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:


Indicações do Marcelo Finger:


Alguns links mencionados no episódio:

Mar 17, 202101:05:06
Arthur Schopenhauer seguiu a mesma rotina todo dia por 27 anos
Mar 10, 202105:02
Arnaldo Carvalho de Melo: Senior Principal Software Engineer na Red Hat e um dos fundadores da Conectiva
Dec 17, 202001:08:21
Q&A with Brujo Benavides - Introduction to Functional Programming
Nov 12, 202001:02:22
Charlotte de Oliveira: Engenheira de Software Senior especialista em Elixir

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.

Indicação da Charlotte;

  1. Learn You Some Erlang for great good! Fred Hébert https://learnyousomeerlang.com/

Também mencionado: 

Charlotte pediu para fazer pequenas correções:

  1.  A distância de onde eu morava até Pinheiros, para a escola, era uns 10~12km, não 6km,
  2. 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).
Oct 09, 202001:18:37
Diego Aranha: Professor na Universidade de Aarhus, Dinamarca

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

Sep 09, 202001:18:04
Guilherme de Maio: Desenvolvedor com foco em Back-End e um dos organizadores do ELUG São Paulo

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.

A gravação deste podcast está no Youtube em https://youtu.be/DDcQZaSmDwk


Indicações do Guilherme:


Sep 03, 202059:20
Ética no Desenvolvimento de Software & Elixir, com Ruan Brandão

É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:

Indicações do Adolfo:

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 ?
Aug 20, 202058:36
Bruno da Silva: Professor de Engenharia de Software na Cal Poly San Luis Obispo

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:


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/


Aug 05, 202001:08:54
Arte-educação com Alexandre Villares

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.

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:

Indicações do Alexandre:

Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages https://www.nature.com/articles/s41598-020-60661-8

Música de fundo:

Jul 02, 202048:41
Maurício Aniche: Professor da Universidade de Delft, na Holanda

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.

Indicações do Aniche:

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 :


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

Link: https://filmmusic.io/song/5763-night-in-venice

License: http://creativecommons.org/licenses/by/4.0/

Jun 04, 202001:00:35
Filipe Varjão: Engenheiro de Software na Erlang Solutions
May 27, 202039:49