Professor Adolfo Neto
By Adolfo Neto
Professor Adolfo NetoApr 27, 2022
Erlang Workshop, Erlang, and OTP with Kiko Fernandez-Reyes
In this episode of the Professor Adolfo Neto podcast, Adolfo Neto sits down with Kiko Fernández-Reyes, a Computer Science Engineer and Programming Languages Researcher at Ericsson, to delve into the world of Erlang, OTP (Open Telecom Platform), and programming languages.
Kiko shares his academic journey, from studying Computer Science at Universidad de Málaga to pursuing a PhD in programming languages at Uppsala University in Sweden. He discusses the motivations behind his transition from academia to industry and sheds light on his role as a core member of the Erlang/OTP team.
The conversation delves into the Erlang Workshop, of which Kiko is a co-chair for the second consecutive year. Kiko explains the workshop's significance and discusses opportunities for developers to contribute through papers and Lightning Talks.
As a member of the Erlang/OTP Core Team, Kiko elucidates the team's responsibilities and his role within it. He also shares his methods for staying updated in the ever-evolving field of computer science.
Join Adolfo and Kiko as they navigate the intricacies of Erlang, OTP, and beyond in this episode.
Kiko Fernández-Reyes
Computer Science Engineer | Programming Languages Researcher
Erlang/OTP core member
Ericsson
Uppsala, Sweden
https://www.linkedin.com/in/kikofernandezreyes
Co-chair of the Erlang Workshop 2024 https://icfp24.sigplan.org/home/erlang-2024
Co-chair of the Erlang Workshop 2023 https://icfp23.sigplan.org/home/erlang-2023
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/F73840549l .
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
Empowering Learning: Peter Ullrich's Journey from Psychology to Indie Courses
Peter also dives into the creation of Indie Courses, a video course platform for indie creators, sharing his motivations behind its inception and the challenges he faced along the way. Throughout the conversation, he emphasizes the importance of continuous learning and staying updated with industry trends, whether through Twitter, blog posts, or books.
Peter’s website peterullrich.com/
YouTube channel www.youtube.com/@peterandcode/
X/Twitter twitter.com/PJUllrich
Indie Courses indiecourses.com/
Building Table Views with Phoenix LiveView pragprog.com/titles/puphoe/building-table-views-with-phoenix-liveview/
Build an MVP with Elixir indiecourses.com/catalog/dc7f54dd-1e32-4390-95d3-4f6d2968d425
Peter’s website peterullrich.com/
YouTube channel www.youtube.com/@peterandcode/
X/Twitter twitter.com/PJUllrich
Indie Courses indiecourses.com/
Building Table Views with Phoenix LiveView pragprog.com/titles/puphoe/building-table-views-with-phoenix-liveview/
Build an MVP with Elixir indiecourses.com/catalog/dc7f54dd-1e32-4390-95d3-4f6d2968d425
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
#ELIXIR #ERLANG
Elixir Enthusiasm: Insights from Senior Software Engineer Eduardo Borsa
Join Professor Adolfo Neto in this episode of the podcast as he delves into the world of Elixir with Eduardo Borsa, a Senior Software Engineer at Loomis, Sayles & Company. Eduardo shares his journey into software engineering and his early encounters with Elixir, highlighting the factors that sparked his interest in the language. As they discuss Eduardo's role at Loomis, Sayles & Company, listeners gain insights into the projects Eduardo is involved in and the technologies he finds both exciting and challenging. Moreover, Eduardo explores the symbiotic relationship between industry work and education, drawing from his experiences with ELXPRO to provide a unique perspective. Throughout the conversation, Eduardo offers recommendations for staying abreast of developments in the field, from books and blogs to podcasts and courses.
Eduardo Borsa
Senior Software Engineer
https://www.linkedin.com/in/eduardo-borsa-770799124/
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
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
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:
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
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://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
Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware
In this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Rickson Oliveira.
Rickson is a Software Engineer at ateliware, a company from Curitiba, where I live. Rickson works in technologies such as Elixir, Phoenix, LiveView, and JavaScript. He also happens to be a former student of ELXPRO, 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.
A big thank you to Rickson for sharing his expertise with us today.
Find Rickson Oliveira on Linkedin
https://www.linkedin.com/in/rickson-oliveira/
Find me on Linkedin https://www.linkedin.com/in/adolfont
Find this podcast on audio platforms: https://podcasters.spotify.com/pod/show/adolfont
Find this podcast on YouTube platforms: https://www.youtube.com/@elixiradolfont
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
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
Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche
Episódio originalmente publicado no Fronteiras da Engenharia de Software. Link: https://podcasters.spotify.com/pod/show/fronteirases/episodes/18-Aprendizado-de-Mquina-em-Engenharia-de-Software--com-Maurcio-Aniche-TU-Delft-e1acmcc
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/