This content originally appeared on DEV Community and was authored by dev.to staff

Listen to DevDiscuss S6E4 right on DEV:

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

DevDiscuss

Your browser does not support the audio element.

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

Acknowledgements

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

This content originally appeared on DEV Community and was authored by dev.to staff

Print Share Comment Cite Upload Translate Updates

APA

dev.to staff | Sciencx (2021-09-01T23:20:50+00:00) Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer. Retrieved from https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/

MLA

" » Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer." dev.to staff | Sciencx - Wednesday September 1, 2021, https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/

HARVARD

dev.to staff | Sciencx Wednesday September 1, 2021 » Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer., viewed ,<https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/>

VANCOUVER

dev.to staff | Sciencx - » Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/

CHICAGO

" » Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer." dev.to staff | Sciencx - Accessed . https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/

IEEE

" » Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer." dev.to staff | Sciencx [Online]. Available: https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/. [Accessed: ]

rf:citation

» Listen to S6E4 of DevDiscuss: “Proof Engineering” with Talia Ringer | dev.to staff | Sciencx | https://www.scien.cx/2021/09/01/listen-to-s6e4-of-devdiscuss-proof-engineering-with-talia-ringer/ |

Please log in to upload a file.

There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.