Artwork

Content provided by no dogma podcast and Bryan Hogan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by no dogma podcast and Bryan Hogan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#86 Tomas Petricek, Software Correctness

42:02
 
Share
 

Manage episode 214430805 series 2414914
Content provided by no dogma podcast and Bryan Hogan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by no dogma podcast and Bryan Hogan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Summary

Tomas Petricek talks about software correctness, its history and future.

Details

Who he is and what he does, his book on F#. Alan Turing Institute. Software as an engineering discipline, software as art. History of errors in software, errors in hardware. Software was never in crisis. Using types to help with correctness, how different languages do it, some complications, a new language would be needed. Upcoming improvements in correctness. Other projects Tomas is involved in.

  continue reading

173 episodes

Artwork
iconShare
 
Manage episode 214430805 series 2414914
Content provided by no dogma podcast and Bryan Hogan. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by no dogma podcast and Bryan Hogan or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Summary

Tomas Petricek talks about software correctness, its history and future.

Details

Who he is and what he does, his book on F#. Alan Turing Institute. Software as an engineering discipline, software as art. History of errors in software, errors in hardware. Software was never in crisis. Using types to help with correctness, how different languages do it, some complications, a new language would be needed. Upcoming improvements in correctness. Other projects Tomas is involved in.

  continue reading

173 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide