Listen to S6E4 of DevDiscuss: "Proof Engineering" with Talia Ringer

Listen to DevDiscuss S6E4 right on DEV:

S6:E4 - How Will Proof Engineering Affect the Future of Software Development

DevDiscuss

1x initializing... ×

(... or via the links below)

DevDiscuss is the first original podcast from DEV all about the burning topics that impact all our lives as developers.

This week, we talk about proof engineering: a type of engineering concerned with technology that makes it easier to develop and maintain verified systems — systems that prove something is correct and can tell if components are secure to a very high degree.

Hosts:

• @ben — Creator of DEV & Co-Founder of Forem
• @molly — Former Head of SRE & Engineering @ Forem

Guest:

• Talia Ringer, Researcher & Incoming Assistant Professor at the University of Illinois at Urbana-Champaign

We hope you find this week's episode of the DevDiscuss podcast to be interesting and informative! Please let us know your thoughts in the comments below — or on Twitter (@thepracticaldev ).

---

You can follow DevDiscuss to get episode notifications and listen right in your feed — or subscribe on your platform of choice! Plus, if you leave us a review, we'll send you a free pack of thank-you stickers. Details here.

Quick Listening Links

• Apple Podcasts
• Spotify
• Google
• Listen Notes
• TuneIn
• RSS Feed
• DEV Pods Site

---

Acknowledgements

• @levisharpe for producing & mixing the show
• Our season six sponsors: CockroachDB & Scout APM!