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

dev.to staff - Sep 1 '21 - - Dev Community

Listen to DevDiscuss S6E4 right on DEV:

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

DevDiscuss

play pause DevDiscuss

(... 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 ).

Atomic microphone

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

Image
jenis keuntungan main di slots online
Image
Kehebohan Permainan Judi Kasino Online
Image
What Types of Videos Can AI Tools Generate?

ai
Image
DASHA
Image
20 Questions You Need To Ask About Mental Health UK Before Buying It
Image
The Often Unknown Benefits Of Private Care For Mental Health
Image
Solving Inheritance Compatibility Issues Between LayerZero's NonblockingLzApp and OpenZeppelin's Ownable
Image
What is GitHub Spark?

webdev, programming, ai, github
Image
Speed Up Microservices Development with Dapr on AWS EKS

aws, eks, dapr, kubernetes
Image
Top Digital Marketing Course in Janakpuri

digitalmarketing
Image
Cach su dung Facebook Audience Insights hieu qua

facebookaudienceinsights
Image
10 Facts About Mesothelioma Attorney Texas That Will Instantly Put You In A Good Mood
Image
taruhan dengan deposit murah slots online terpilih
Image
10 Steps To Begin The Business Of Your Dream Used Self Propelled Wheelchair Business
Image
How to create a bubble animation with Tailwind CSS and JavaScript

javascript, tailwindcss, tutorial, animation
Image
5 Laws That'll Help The Asbestos Poisoning Lawsuit Industry
Image
MLCM Enhances Latent Diffusion Model Consistency with Multistep Training Process

machinelearning, ai, beginners, datascience
Image
Tipe Judi Online Amat Terkenal Dimainkan
Image
Mastering SOLID Principles: A Guide with JavaScript Examples

webdev, development, programming, tutorial
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .