In this episode, I read and comment part of this text "No, AI is not Making Engineers 10x as Productive - Curing Your AI 10x Engineer Imposter Syndrome"

BlueSky post by Ed Zitron: https://bsky.app/profile/edzitron.com/post/3lvrb4vw35c27

Link to post on Bluesky https://bsky.app/profile/lean-lang.org/post/3lvnybzwsn22k

Link: https://adolfont.github.io/teaching/2025/caes005/resources/

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/

In this episode, Professor Adolfo Neto interviews Nicole Novielli, Associate Professor at the University of Bari, about the role of emotions in software engineering.

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