.NET 012: F# with Phillip Carter

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. SponsorsChuck's Resume TemplateRaygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipLinksChecking safety in Exactly-once - Tomek Masternak, Szymon Pobiega - YouTubeThe TLA+ Home PageLearn TLA+PicksAdam - Virtual BoxMark - The RecruitTomek - AsianometryShawn - AhsokaSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

3 Okt 202353min

Ron Dagdag, lead software engineer at Spacee, joins us to get interactive with Jupyter Notebook. It is an open-source web application that allows you to create and share documents that contain live code, equations, visualizations and narrative text. Microsoft has embraced Jupyter Notebook with the open source .NET Interactive project. The more we discussed Jupyter Notebook the more ways we came up with to use it. For instance Ron uses it for a lot of his demos and you can share it with someone without them having to install anything because it runs in the browser. Do you have any ideas on how to use Jupyter Notebook? If so share it with us on Twitter at @dotnet_Podcast.SponsorsChuck's Resume TemplateDeveloper Book ClubBecome a Top 1% Dev with a Top End Devs MembershipLinksGitHub | dotnet/interactive.NET Interactive Architectural OverviewUse Jupyter with .NET Interactive on Binder.NET Jupyter PresentationGitHub | rondagdag/dotnetcode-jupyter-talkBinderSandDanceRon Dagdag's ProjectsLinkedIn: Ron DagdagTwitter: Ron Dagdag ( @rondagdag )PicksCaleb- DampRidRon- Azure Percept Shawn- LiteDBWai- ParalympicsSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

26 Sep 202337min

We talk to Martin Costello - a .NET developer with a QA background - about integration testing. We walk through the different types of automated testing and discuss the benefits and purpose for each type.Martin introduces us to useful tools he uses to write tests within the .NET ecosystem and discusses what we should and shouldn't be testing as well as the metrics that are important when evaluating how well tested your code is.SponsorsChuck's Resume TemplateRaygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipLinksIntegration Testing Techniques for ASP.NET CoreReliably Testing HTTP Integrations in a .NET Application 1Writing Logs to xunit Test OutputIntegration testing AWS Lambda C# Functions with Lambda Test ServerIntegration Testing ASP.NET Core Resources Protected with Antiforgery Using Application PartsGitHub - coverlet-coverage/coverlet: Cross platform code coverage for .NETGitHub - martincostello/sqllocaldb: SQL LocalDB Wrapper is a .NET library providing interop with the Microsoft SQL Server LocalDB Instance APIGitHub - justeat/httpclient-interception: A .NET Standard library for intercepting server-side HTTP dependenciesGitHub - martincostello/xunit-logging: Logging extensions for xunitGitHub - martincostello/lambda-test-server: A NuGet package that provides an in-memory test server for testing AWS Lambda functionsGitHub - martincostello/dotnet-minimal-api-integration-testing: An example of integration testing ASP.NET Core 6 Minimal hosting and actionsTwitter: Martin Costello ( @martin_costello )PicksMartin- What We Do in the ShadowsShawn- Introducing Your Seattle KrakenWai- Young Sheldon (Official Site) Watch on CBSSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

19 Sep 202349min

In this episode, we get the pleasure of picking the brain of the lead designer of C#, Mads Torgersen. Mads has been the lead designer for more than five years now and has worked on the language for over fifteen years. Our discussion covers multiple topics including the growth of C#, being backward compatible and how different languages incorporate ideas from each other. We also dig into the specifics of things like async/await, default interfaces and dynamics. On top of all that we get a peek at the future of C# and what we might see in the next couple of versions. What would you ask Mads about C# if you had the chance? Let us know on Twitter at @dotnet_Podcast.SponsorsChuck's Resume TemplateDeveloper Book ClubBecome a Top 1% Dev with a Top End Devs MembershipLinksC#'s Functional JourneyPicksCaleb- Trader Joe’s Moroccan Mint Gree TeaMads- Termination ShockShawn- Wave Mic Arm LP | elgato.comWai- Walkabout Mini Golf on Oculus QuestSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

12 Sep 202328min

Richard Campbell is an Advisor, Creator, and Storyteller. They dive into the fascinating world of writing a history book, navigating through different versions of events, and seeking inspiration from pivotal moments. They also explore Microsoft's surprising involvement in large language models, the impact of the iPad on the tech industry, and the ongoing quest for effective client-side development. Additionally, they discuss the evolution of artificial intelligence and its perception in society. SponsorsChuck's Resume TemplateRaygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipSocialsLinkedIn: Richard CampbellPicksAdam - API MonitorAdam - Entertainment ScienceChristian - TetrisMark - Named Pipes - Win32 appsMark -  PlatonicShawn - Skechers Arch FitRichard - Windows WhiskySupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

5 Sep 20231h

Scott Arbeit is a Super-technical architect at GitHub. He joins the show to talk about his project, "Grace". It is a modern, cloud-native version control system, written in F#. They begin by sharing their own perspective on why they believe "Git" is unique and popular. Additionally, he explains his project, how it works, its features and how it improves user experience. SponsorsChuck's Resume TemplateRaygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipLinksGraceA case of computational thinkingGitHub: martinvonz/jjSocialsscottarbeit.com GitHub: ScottArbeitTwitter: ScottArbeitPicksAdam - Windows-Apps-Hub/UnitedSetsChristian - kucherenko/jscpdScott- DaprScott - Message processing failed! But what's the root cause? - Laila Bougria - NDC Oslo 2023Shawn - FotorSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

22 Aug 202358min

Andy Watt is a Senior Software Engineer. He returns to the show to talk about his book, "Building Modern SaaS Applications with C# and .NET". He begins by explaining what "Software as a Service" is all about. He also tackles the main concerns you might encounter when creating SaaS applications. Additionally, he dives into the pros and cons of using C# and .NET to create modern SaaS applications. SponsorsChuck's Resume TemplateDeveloper Book ClubBecome a Top 1% Dev with a Top End Devs MembershipLinksBuilding Modern SaaS Applications with C# and .NETSocialsLinkedIn: Andy WattTwitter: @AndyWatt83 PicksAdam - InVideoAndy - TestContainersMark - Costa Rica, UPS for your routerShawn - WarriorSupport this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

15 Aug 202353min

Adam, Christian, and Mark join this week's panelist episode to talk about intercommunication across various messaging applications. Adam takes the lead as he explains his project, which is a Messaging platform that integrates multiple communication networks. He discusses its advantages, significance to .NET, how it is being implemented, and many more!SponsorsChuck's Resume TemplateRaygun - Application Monitoring For Web & Mobile AppsBecome a Top 1% Dev with a Top End Devs MembershipPicksChristian - Hijack (TV Series 2023– ) - IMDbMark - Barbie (2023)Support this podcast at — https://redcircle.com/adventures-in-net/donationsAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.

1 Aug 20231h 4min