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
Bypassing Bot Detection Software with Selenium in Python

selenium, python, webdev, security
Image
Bermacam Kelebihan yang Dijajakan Agen Judi Sah
Image
Transforming Business Analysis with Agile Practices: A Step-by-Step Approach
Image
⚡ 🚀 Top 10 Trending GitHub Repositories, November 2024 🔥

github, opensource, beginners, webdev
Image
Introducing FinanceFolio: Your Free Solution for Asset Management and Portfolio Tracking

sass, webdev, startup, javascript
Image
The Most Effective Reasons For People To Succeed At The Asbestos Cancer Compensation Industry
Image
Managing dotfiles using GNU Stow on macOS

bash, zsh, dotfiles, git
Image
16 Must-Follow Facebook Pages For Asbestos Poisoning Lawsuit-Related Businesses
Image
Exploring Nuances of the Java Scanner Class

java, beginners, programming, interview
Image
Wat zijn de gevelrenovatie kosten? 2024 prijsoverzicht
Image
Argumen Permainan Judi Online Banyak Disukai
Image
It Is The History Of Wall Mount Fireplace Electric In 10 Milestones
Image
You've Forgotten Claiming For Asbestos Related Illness: 10 Reasons Why You Don't Need It
Image
Seeing the Future: How Computer Vision is Transforming Industries Through AI
Image
Long weekends and short updates
Image
Quick Guide to INSERT Queries in MySQL
Image
It's Enough! 15 Things About Private Mental Health We're Tired Of Hearing
Image
Visionary Innovations: How Computer Vision is Transforming Industries with AI
Image
Situs Judi online dengan Servis Memberikan kepuasan
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Terabox Video Player