Inside the Scheme Workshop 2024 with Kris Micinski

Inside the Scheme Workshop 2024 with Kris Micinski

Author: Rede Emílias de Podcasts June 4, 2024 Duration: 42:56

In this episode of the Professor Adolfo Neto podcast, Professor Adolfo Neto from the Federal University of Technology - Paraná interviews Kris Micinski, an Assistant Professor at Syracuse University and the Co-chair of the Scheme Workshop 2024. They delve into Kris's journey from earning a Bachelor's degree in Electrical and Computer Engineering to pursuing a PhD in Computer Science. Kris shares his motivations for choosing an academic career, discusses the significance of the Scheme programming language, and provides insights into the upcoming Scheme Workshop 2024. Additionally, Kris talks about his current research and offers advice for prospective PhD students. The conversation wraps up with Kris's methods for staying updated in the fast-evolving field of computer science.

Scheme Workshop 2024

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


Ever wonder about the person behind the code, the story behind the job title? Professor Adolfo Neto pulls up a chair for conversations that go far beyond technical specs and career advice. As a professor at UTFPR Curitiba, Adolfo brings a genuine curiosity to each discussion, sitting down with professionals from computing and its many intersecting fields. The focus here isn't on dry lectures or industry buzzwords. Instead, you'll hear the winding paths that led each guest to their current work-the early fascinations, the accidental discoveries, and the pivotal moments that shaped their trajectory. This podcast digs into the human experience within a tech-driven world, exploring the daily rhythms, the personal motivations that fuel long hours, and the very real challenges these professionals navigate. It’s about understanding the 'why' behind the work. Each conversation reveals the texture of a life in technology, offering listeners a chance to find relatable threads in other people's journeys. Presented by Rede Emílias de Podcasts, these interviews provide a thoughtful, often surprising look at the diverse people who build and influence our digital landscape. Tune in for a series that values depth and personal narrative, reminding us that every system has a story, and every developer, designer, or engineer has a unique voice worth hearing.
Author: Language: en-us Episodes: 88

Professor Adolfo Neto
Podcast Episodes
Elixir Curitiba 2025 [not-audio_url] [/not-audio_url]

Duration: 12:02
Cupom de desconto ELIXIREMFOCO em https://embedstore.ingresse.com/tickets/www.ingresse.com/event/86534?coupon=ELIXIREMFOCOSite do evento: https://curitiba.elixiremfoco.com/00:00 Apresentação da Elixir Curitiba01:40 Progr…
From Diplomacy to OTP: Mackenzie Morgan's Path to Erlang and Elixir [not-audio_url] [/not-audio_url]

Duration: 1:05:43
In this episode of Elixir in Focus, part of the SE4FP 2025 warm-up series, host Adolfo Neto welcomes Mackenzie Morgan, a senior backend engineer at Level All. Mackenzie shares her journey into technology, which began wit…
Império da IA, com Renata Gomes (UFRB) - republicação Emílias [not-audio_url] [/not-audio_url]

Duration: 1:22:01
Republicamos aqui este episódio do Emílias Podcast - Mulheres na Computação. Para maiores informações, acesse https://www.youtube.com/watch?v=495fRwlBKN0 ou https://open.spotify.com/episode/24COSlalfW6QTdtmCX4adG
"No, AI is not Making Engineers 10x as Productive", Colton Voege [not-audio_url] [/not-audio_url]

Duration: 25:03
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/pos…
Lean FRO Year 3 Roadmap [not-audio_url] [/not-audio_url]

Duration: 11:42
Link to post on Bluesky https://bsky.app/profile/lean-lang.org/post/3lvnybzwsn22k
Learning Lean in the Age of Artificial Intelligence [not-audio_url] [/not-audio_url]

Duration: 6:07
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…
Unsafe Impedance: Safe Languages and Safe by Design Software [not-audio_url] [/not-audio_url]

Duration: 17:41
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
An interview with Dave Lucia at Code BEAM America 2022 [not-audio_url] [/not-audio_url]

Duration: 4:26
#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…