How to detect errors in AI-generated code

The Stack Overflow Podcast

The Stack Overflow Podcast

Player FM - Internet Radio Done Right

37,883 subscribers

Web Development

Tech Startups

Programming

Toegevoegd negen jaar geleden

Kandungan disediakan oleh Stack Overflow and The Stack Overflow Podcast. Semua kandungan podcast termasuk episod, grafik dan perihalan podcast dimuat naik dan disediakan terus oleh Stack Overflow and The Stack Overflow Podcast atau rakan kongsi platform podcast mereka. Jika anda percaya seseorang menggunakan karya berhak cipta anda tanpa kebenaran anda, anda boleh mengikuti proses yang digariskan di sini https://ms.player.fm/legal.

Peak Travel

1
You Can Visit All Seven Continents. But Should You? 26:46

10 days ago26:46

Main Kemudian

Senarai

Suka

Disukai

26:46

For many travelers, Antarctica is a bucket-list destination, a once-in-a-lifetime opportunity to touch all seven continents. In 2023, a record-breaking 100,000 tourists made the trip. But the journey begs a fundamental question: What do we risk by traveling to a place that is supposed to be uninhabited by humans? And as the climate warms, should we really be going to Antarctica in the first place? SHOW NOTES: Kara Weller: The Impossible Dilemma of a Polar Guide Marilyn Raphael: A twenty-first century structural change in Antarctica’s sea ice system Karl Watson: First Time in Antarctica Jeb Brooks : 7 Days in Antarctica (Journey to the South Pole) Metallica - Freeze 'Em All: Live in Antarctica Learn about your ad choices: dovetail.prx.org/ad-choices…

about a year ago 25:42

MP3•Laman utama episod

Read the paper Gias coauthored about incorrectness in AI-generated code or explore more of his research.

You can connect with Gias via his website.

We previously covered research on Stack Overflow code snippets that Gias was involved in and spoke to his team about deriving sentiment from SO comments.

Shoutout to Stack Overflow user Adhi Ardiansyah for an excellent explanation of How to update a GitHub access token via command line.

810 episod

#Stack Overflow #MBA #Society #Business #Programming #Tech #Software Development

The Stack Overflow Podcast

How to detect errors in AI-generated code

The Stack Overflow Podcast

37,883 subscribers

published about a year ago

Kongsi

MP3•Laman utama episod

Read the paper Gias coauthored about incorrectness in AI-generated code or explore more of his research.

You can connect with Gias via his website.

We previously covered research on Stack Overflow code snippets that Gias was involved in and spoke to his team about deriving sentiment from SO comments.

Shoutout to Stack Overflow user Adhi Ardiansyah for an excellent explanation of How to update a GitHub access token via command line.

810 episod

#Stack Overflow #MBA #Society #Business #Programming #Tech #Software Development

All episodes

The Stack Overflow Podcast

1
Generating components, not tokens 23:59

15 hours ago23:59

23:59

Bit lets you generate composable software simplicity, speed and quality. Connect with Laly on LinkedIn . Congrats to Lifeboat badge winner and blog contributor Charlie Martin for their answer to How does this proof, that the halting problem is undecidable, work? .

The Stack Overflow Podcast

1
WBIT #7: Exploring WebAssembly with the first SO user to get 10k rep 36:28

2 days ago36:28

36:28

Kyle notes that his only experience with WebAssembly is Blazor. If you’re wondering about Blazor, we covered it on the blog in 2020 . While Michael may have been the first user to get 10,000 rep, he’s not stopping there . His current employer, neuRealities , is still in stealth mode, shhhh. Find Michael on his blog and possibly elsewhere.…

The Stack Overflow Podcast

1
How AI can prevent clinician burnout 18:14

4 days ago18:14

18:14

Lunar Analytics specializes in AI-powered claim optimization and healthcare solutions. Connect with Richard on LinkedIn . Knowtex allows healthcare providers to automate clinical workflows with generative AI. Connect with Caroline on LinkedIn . Delve Deep Learning provides artificial intelligence solutions for public affairs. Connect with Jeff on LinkedIn . This episode was recorded at HumanX last month. Next year’s conference will be April 6-9, 2026 in San Francisco. Register today !…

The Stack Overflow Podcast

1
How do you fact-check an AI? 26:46

8 days ago26:46

26:46

Vectara is a platform-as-a-service that allows users to build AI assistants and agents. Get started with their docs . This interview was recorded at HumanX last month. They are gearing up for next year’s conference on April 6-9, 2026. Follow Amr on LinkedIn .

The Stack Overflow Podcast

1
“There is a real cost to moving fast”: Using AI to accelerate drug discovery 25:23

9 days ago25:23

25:23

They also: Explore key challenges engineering leaders face, including data capacity, relevance, and throttling issues. Highlight how emerging AI tools and applications are transforming software engineering practices. Episode notes: Connect with Maureen Makes on LinkedIn . Learn more about Recursion and their open roles here . Read about Knowledge Solutions , a subscription-based API service that provides continuous access to Stack Overflow’s public dataset to train and fine-tune large language models.…

The Stack Overflow Podcast

1
WBIT #6: Be curious, ask questions, and don’t argue with JavaScript 44:30

10 days ago44:30

44:30

When this episode was recorded, Jesse worked for WaveSeven Consulting , which provides business advisory and project delivery support for media and entertainment companies. He now works for ClickUp , same as previous Stack Overflow Podcast guest, RJ Tuit . Read Jesse’s hot takes on his blog . You can connect with Jesse as Jtomchak on all the socials .…

The Stack Overflow Podcast

1
Bottom of the first: A veteran VC’s take on the AI landscape 28:00

11 days ago28:00

28:00

Tomasz is a general partner at Theory Ventures , a venture capital firm focused on early-stage software companies. He’s a coauthor of Winning with Data , a deep dive into how big data has changed business best practices and organizational culture. Tomasz was on the podcast back in 2023. Give it a listen ! Explore Tomasz’s writing . Follow Tomasz on LinkedIn .…

The Stack Overflow Podcast

1
Is AI a bubble or a revolution? The answer is yes. 33:05

15 days ago33:05

33:05

2024 was a defining year for AI investment. Read the HumanX/Crunchbase report . You can learn more about HumanX or register for next year’s event , April 7-9, 2026 in San Francisco. Follow Stefan on LinkedIn . Follow Jager on LinkedIn .

The Stack Overflow Podcast

1
Boots on the ground: Holistic AI and Audioshake at HumanX 24:25

18 days ago24:25

24:25

Holistic AI is an AI governance platform that helps the enterprise adopt and scale AI. Audioshake uses AI to mix, master, and separate music and other audio content. Learn more about HumanX here . Feeling the FOMO? The event takes place again on April 7-9, 2026 in San Francisco. Early birds can register here . Connect with Raj on LinkedIn . Connect with Jessica on LinkedIn .…

The Stack Overflow Podcast

1
“Are AI agents ready for the enterprise?” 28:20

22 days ago28:20

28:20

Deepak works on Amazon Q Developer , a GenAI-powered coding assistant that includes autonomous agents. Thinking, Fast and Slow by psychologist Daniel Kahneman is one of those books that’s a classic for a reason—and it’s more relevant to today’s AI landscape than you might think. Connect with Deepak on LinkedIn . Congrats to Stack Overflow user Morten Zilmer , who earned a Lifeboat badge by explaining Multiplication of two different bit numbers in VHDL .…

The Stack Overflow Podcast

1
AI is shifting focus from syntax to critical thinking 36:08

22 days ago36:08

36:08

They also: Emphasize the critical role of customer feedback in shaping products, highlighting how continuous feedback loops drive innovation and improvement. Explore how AI is empowering non-technical team members and enabling meaningful collaboration between developers and other departments. Discuss the potential of GenAI as a learning tool and the importance of prompt engineering as a key skill for future developers. Episode notes: Connect with Lee Faus on LinkedIn , X , and learn more about GitLab . Learn more about creating a private instance of Stack Overflow for your team or org with Stack Overflow for Teams. Read about Knowledge Solutions , a subscription-based API service that provides continuous access to Stack Overflow’s public dataset to train and fine-tune large language models.…

The Stack Overflow Podcast

1
“The power of the humble embedding” 29:04

25 days ago29:04

29:04

Pinecone is a purpose-built vector database. Get started with their docs here . Connect with Edo on LinkedIn .

The Stack Overflow Podcast

1
An AI future free of slop 22:37

29 days ago22:37

22:37

Read more about Stack Overflow’s future here . Learn more about HumanX here . Missed it this year? The event takes place again on April 7-9, 2026 in San Francisco. Early birds can register here . Follow Prashanth on LinkedIn or explore his posts on our blog .

The Stack Overflow Podcast

1
WBIT #5: Building a framework to lure web devs to mobile 40:46

4 weeks ago40:46

40:46

Ionic is a platform for building and deploying modern mobile applications and micro frontend experiences. It’s open source , too. Two mobile tools got multiple mentions on this episode: Xcode and Material Design . Connect with Maria on LinkedIn .

The Stack Overflow Podcast

1
Improving error monitoring with AI 27:29

5 weeks ago27:29

27:29

Sentry is an application monitoring software. Explore the Sentry docs or get started in the sandbox . Connect with Tillman on LinkedIn . You can also read his posts on the Sentry blog . Listeners, how do you handle stack traces? How do you trace the root cause? Let us know at podcast@stackoverflow.com . Sentry user? The company would love to hear your feedback. Let them know what you think on Discord .…

Selamat datang ke Player FM

Player FM mengimbas laman-laman web bagi podcast berkualiti tinggi untuk anda nikmati sekarang. Ia merupakan aplikasi podcast terbaik dan berfungsi untuk Android, iPhone, dan web. Daftar untuk melaraskan langganan merentasi peranti.