14min chapter

Future of Coding cover image

Myths & Mythconceptions by Mary Shaw

Future of Coding

CHAPTER

Correctness and its Varying Interpretations

This chapter explores the concept of correctness in computer programming and how it can vary depending on the application. It discusses the overemphasis on correctness, the different aspects it encompasses, and the importance of context and varying levels of criticality. The chapter also touches on the concept of robustness and the debate between maximizing correctness and prioritizing safety and security.

00:00

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode