Adventures in .NET

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


Listen Later

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
  • Chuck's Resume Template
  • Raygun - Application Monitoring For Web & Mobile Apps
  • Become a Top 1% Dev with a Top End Devs Membership

Links
  • Checking safety in Exactly-once - Tomek Masternak, Szymon Pobiega - YouTube
  • The TLA+ Home Page
  • Learn TLA+

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.
...more
View all episodesView all episodes
Download on the App Store

Adventures in .NETBy Charles M Wood

  • 4.8
  • 4.8
  • 4.8
  • 4.8
  • 4.8

4.8

6 ratings


More shows like Adventures in .NET

View all
Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

377 Listeners

.NET Rocks! by Carl Franklin and Richard Campbell

.NET Rocks!

244 Listeners

The Modern .NET Show by Jamie Taylor

The Modern .NET Show

33 Listeners

.NET Rocks! by Carl Franklin

.NET Rocks!

4 Listeners