Checking Safety In Exactly-once, TLA+ And Stronger Message Processing - .NET 159 Adventures In .NET podcast

Artwork

Business Web Development Tech Software Development Careers Podcasting Education End Devs Open Source

Innhold levert av Charles M Wood. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Charles M Wood eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Adventures in .NET « »
Checking safety in Exactly-once, TLA+ and Stronger message processing - .NET 159

1y ago 53:26

Del

MP3•Episoder hjem

Innhold levert av Charles M Wood. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Charles M Wood eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Tomek Masternak is an Engineer at Particular Software. He joins the show to talk about his video, "Checking safety in Exactly-once ". He begins by explaining what TLA+ is, the advantages and benefits of using this, the problems it solves, and many more. Additionally, he dives into "Ensuring exactly-once message processing with model checking" and talks about Stronger message processing.
Sponsors

Links

Picks

Adam - Virtual Box
Mark - The Recruit
Tomek - Asianometry
Shawn - Ahsoka

Support this podcast at — https://redcircle.com/adventures-in-net/donations
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

… continue reading

238 episoder

#Business #Web Development #Tech #Software Development #Careers #Podcasting Education #End Devs #Open Source

Artwork

Checking safety in Exactly-once, TLA+ and Stronger message processing - .NET 159

Adventures in .NET

125 subscribers

published 1y ago

Del

MP3•Episoder hjem

Innhold levert av Charles M Wood. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Charles M Wood eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

Tomek Masternak is an Engineer at Particular Software. He joins the show to talk about his video, "Checking safety in Exactly-once ". He begins by explaining what TLA+ is, the advantages and benefits of using this, the problems it solves, and many more. Additionally, he dives into "Ensuring exactly-once message processing with model checking" and talks about Stronger message processing.
Sponsors

Links

Picks

Adam - Virtual Box
Mark - The Recruit
Tomek - Asianometry
Shawn - Ahsoka

Support this podcast at — https://redcircle.com/adventures-in-net/donations
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

… continue reading

238 episoder

#Business #Web Development #Tech #Software Development #Careers #Podcasting Education #End Devs #Open Source

כל הפרקים

×

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

Lytt til 500+ tema