Professor Adolfo Neto

I didn't mention it in the video, but I've already used ChatGPT to ask questions about Lean, and it worked. I had to specify that it was Lean 4 because a significant portion of the material available online is about Lean 3, which is quite different.Links:https://github.com/adolfonthttps://github.com/adolfont/learning-leanhttps://lean-lang.org/https://lean-lang.org/functional_programming_in_lean/title.htmlType Theory for All with Leo de Mourahttps://www.typetheoryforall.com/episodes/z3-and-lean-the-spiritual-journey

Podcast episode generated by NotebookLM from the text of the Unsafe Impedance: Safe Languages and Safe by Design Software paper by Lee Barney and Adolfo Neto https://dl.acm.org/doi/10.1145/3677995.3678196

#Elixir #Erlang #BEAM 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 Dave Lucia, CTO & Co-Founder at TV Labs. You can find Dave (David Lucia) at: https://www.linkedin.com/in/david-lucia-a395441b/ Dave's talk is published at Accessible Time Series data with TimescaleDB | David Lucia | Code BEAM America 2022 https://www.youtube.com/watch?v=sFnoZm89U64 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 Learn more about CODE SYNC conferences at https://codesync.global/

#Elixir #Erlang #BEAM 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 Lee Barney, a Professor of Computer Science at BYU-Idaho https://www.byui.edu/. You can find Lee at: https://www.linkedin.com/in/barneylee https://www.byui.edu/directories/lee-barney

A case study of using FP and Erlang in a Computer Science Curriculum. Lee Barney - Code BEAM America https://www.youtube.com/watch?v=xf7byQEXmv8 In the interview we mentioned: Erlang Ecosystem Foundation https://erlef.org/ Erlang Ecosystem Foundation Education WG https://erlef.org/wg/education 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 Learn more about CODE SYNC conferences at https://codesync.global/

Nicole Novielli's page at the Collaborative Development Group – CDG https://collab.di.uniba.it/nicole/  

DBLP profile https://dblp.org/pid/09/1798.html  

Google Scholar profile https://scholar.google.com/citations?user=XeCgthcAAAAJ 

Linkedin profile https://www.linkedin.com/in/nicole-novielli-a1131910/  

Twitter/X profile https://x.com/nicolenovielli 

CBSOFT Keynotes https://cbsoft.sbc.org.br/2024/sbes/palestras/?lang=en  

Papers on the use of biometrics for recognition of developers' emotions:

- Emotions and perceived productivity of software developers at the workplace (field study) https://scholar.google.com/citations?view_op=view_citation&hl=pt-BR&user=XeCgthcAAAAJ&cstart=20&pagesize=80&sortby=pubdate&citation_for_view=XeCgthcAAAAJ:1qzjygNMrQYC  

- Recognizing developers' emotions while programming (lab study) https://scholar.google.com/citations?view_op=view_citation&hl=pt-BR&user=XeCgthcAAAAJ&cstart=20&pagesize=80&sortby=pubdate&citation_for_view=XeCgthcAAAAJ:K3LRdlH-MEoC  

Papers on sentiment analysis for software development:

- Sentiment polarity detection for software development https://dl.acm.org/doi/abs/10.1145/3180155.3182519  

- Self-Admitted Technical Debt and comments’ polarity: an empirical study https://link.springer.com/article/10.1007/s10664-022-10183-w  

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 

https://www.tue.nl/en/research/researchers/alexander-serebrenik  

https://www.win.tue.nl/~aserebre/  

https://x.com/aserebrenik  

SBQS

https://sbqs.sbc.org.br/2024/index.php/en-us/keynotes 

https://sbqs.sbc.org.br/2024/index.php/en-us/ 

Gender and Tenure Diversity in GitHub Teams https://cmustrudel.github.io/papers/chi15.pdf  

Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research https://arxiv.org/abs/2404.07142 

Unveiling Diversity: Empowering OSS Project Leaders with Community Diversity and Turnover Dashboards https://arxiv.org/abs/2312.08543  

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  

Dr. Brittany Johnson-Matthews ⁠https://cs.gmu.edu/~johnsonb/ ⁠

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⁠

https://icfp24.sigplan.org/home/scheme-2024 

Kris Micinski's website https://kmicinski.com 

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

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 Herminio Torres, a software engineer at Simplebet (https://www.simplebet.ai/ ).

You can find Herminio at:

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

https://twitter.com/herminiotorres 

https://github.com/herminiotorres 

In the interview we mentioned:

Surface https://github.com/surface-ui/surface 

LiveView https://hexdocs.pm/phoenix_live_view/welcome.html 

Elixir em Foco (a podcast in Portuguese) https://elixiremfoco.com/en 

Erlang Ecosystem Foundation https://erlef.org/ 

Erlang Solutions  https://www.erlang-solutions.com/ 

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 

Learn more about CODE SYNC conferences at https://codesync.global/

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⁠

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⁠

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 

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 

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

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

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

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

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

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

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

"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/⁠.

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

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

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

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

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

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

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

EEF https://erlef.org/

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/

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

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.

Groxio: https://www.youtube.com/c/Groxio/videos.

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'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

Lição "Básico" na Elixir School https://bit.ly/3k9Ek3V

Exercícios e links extras: https://bit.ly/3KetoN2

Lição "Básico" na Elixir School https://bit.ly/3k9Ek3V

Exercícios e links extras: https://bit.ly/3KetoN2

Página da disciplina: https://logicaparacomputacao.github.io/

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  "

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

Link para informações e inscrições https://cursosdeextensao.ct.utfpr.edu.br/curso-de-elixir-sequencial/

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

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

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

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

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/

https://anchor.fm/emilias-podcast/episodes/Melissa-Weber-Mendona-matemtica-e-desenvolvedora-de-software-na-Quansight-e13lhri

Elixir em Produção com Paulo Valente, Backend Tech Leader na Stone

https://anchor.fm/elixiremfoco/episodes/Elixir-em-Produo-com-Paulo-Valente--Backend-Tech-Leader-na-Stone-e13kt6p

Estimativas de Software com Emilia Mendes (Blekinge Institute of Technology)

https://anchor.fm/fronteirases/episodes/Estimativas-de-Software-com-Emilia-Mendes-Blekinge-Institute-of-Technology-e14e87o

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/

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

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

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