Listen to DevDiscuss S6E4 right on DEV:
(... 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:
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
Acknowledgements
- @levisharpe for producing & mixing the show
- Our season six sponsors: CockroachDB & Scout APM!
Top comments (0)