⚡️ Marc Seemann Compares Testing to Mathematical Proof
Danish developer Mark Seemann has proposed a new metaphor for understanding test-based development (TDD) by comparing the process of writing automated tests to mathematical induction. In a recent article, he argues that a correctly formulated test is a formal statement that must remain true in any environment if the developer has explicitly recorded all the prerequisites.
♻️ Subscribe for free now!
Danish developer Mark Seemann has proposed a new metaphor for understanding test-based development (TDD) by comparing the process of writing automated tests to mathematical induction. In a recent article, he argues that a correctly formulated test is a formal statement that must remain true in any environment if the developer has explicitly recorded all the prerequisites.
♻️ Subscribe for free now!
ploeh blog
TDD as induction
A metaphor.
⚡️ How to Capture and Aggregate .NET Metrics with MeterListener
A new post breaks down how to record metrics in-process using MeterListener. The author shows how to listen to Instrument measurements, trigger Observable metrics, and aggregate the collected values. Useful if you want finer control over .NET telemetry without external collectors.
♻️ Subscribe for free now!
A new post breaks down how to record metrics in-process using MeterListener. The author shows how to listen to Instrument measurements, trigger Observable metrics, and aggregate the collected values. Useful if you want finer control over .NET telemetry without external collectors.
♻️ Subscribe for free now!
Andrew Lock | .NET Escapades
Recording metrics in-process using MeterListener
In this post I show how you can use MeterListener to listen to Instrument measurements, how to trigger Observable measurements, and how to aggregate values.
❤1
⚡️ Copilot in Visual Studio 18.3 gets tools for WinForms
If you support or even develop new WinForms applications, then you should pay attention to the February update of Visual Studio 18.3, which introduced new Copilot agents that help you understand WinForms, generate tests and analyze the call stack.
♻️ Subscribe for free now!
If you support or even develop new WinForms applications, then you should pay attention to the February update of Visual Studio 18.3, which introduced new Copilot agents that help you understand WinForms, generate tests and analyze the call stack.
♻️ Subscribe for free now!
Visual Studio Magazine
WinForms Gets Some AI Love in Visual Studio February Update -- Visual Studio Magazine
Microsoft's Visual Studio February Update (18.3) adds new Copilot agents and workflows for WinForms guidance, test generation, call stack analysis, profiling with unit tests, C++ modernization, and improved Razor Hot Reload behavior.
⚡️ Event-based functions in containers: What changes the Azure Container Apps update
Microsoft combines Azure Functions with Azure Container Apps, combining the flexibility of containers with the simplicity of event triggers. Developers get autoscaling, built-in state management, and Durable Functions without having to write pulling, retrays, and custom orchestration.
♻️ Subscribe for free now!
Microsoft combines Azure Functions with Azure Container Apps, combining the flexibility of containers with the simplicity of event triggers. Developers get autoscaling, built-in state management, and Durable Functions without having to write pulling, retrays, and custom orchestration.
♻️ Subscribe for free now!
TECHCOMMUNITY.MICROSOFT.COM
Rethinking Background Workloads with Azure Functions on Azure Container Apps | Microsoft Community Hub
Objective
Azure Container Apps provides a flexible platform for running background workloads, supporting multiple execution models to address different...
Azure Container Apps provides a flexible platform for running background workloads, supporting multiple execution models to address different...
⚡️ February release of the Azure SDK
Microsoft has released the latest release of the Azure SDK.
♻️ Subscribe for free now!
Microsoft has released the latest release of the Azure SDK.
♻️ Subscribe for free now!
Microsoft News
Azure SDK Release (February 2026)
Azure SDK releases every month. This post includes the February 2026's highlights and release notes.
⚡️ Microsoft.Extensions.VectorData
The new extension pack introduces a single interface for working with the vector database, so developers get a common approach to semantic search regardless of the store they choose. The package supports embeddings, filtering, and RAG patterns.
♻️ Subscribe for free now!
The new extension pack introduces a single interface for working with the vector database, so developers get a common approach to semantic search regardless of the store they choose. The package supports embeddings, filtering, and RAG patterns.
♻️ Subscribe for free now!
Microsoft News
Vector Data in .NET – Building Blocks for AI Part 2
Explore the power of Vector Data in .NET AI for enhancing semantic searches and intelligent applications.
⚡️ F# Weekly #9, 2026
A new issue of the weekly digest dedicated to F# and functional development for .NET
♻️ Subscribe for free now!
A new issue of the weekly digest dedicated to F# and functional development for .NET
♻️ Subscribe for free now!
Sergey Tihon's Blog
F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist
Welcome to F# Weekly, A roundup of F# content from this past week: News Pure-F# training/inference workflow around Qwen3-4B with NVFP4 [Poll] Consider changing the default of fsharp_multiline_brack…
❤1
⚡️ JetBrains Unveils Latest Release of dotInsights
In the March digest, JetBrains collected the most notable materials on .NET: from a large-scale upgrade of the async/await mechanics and simplified work with MAUI-Grid to new tools for IdentityServer4 and Service Discovery.
♻️ Subscribe for free now!
In the March digest, JetBrains collected the most notable materials on .NET: from a large-scale upgrade of the async/await mechanics and simplified work with MAUI-Grid to new tools for IdentityServer4 and Service Discovery.
♻️ Subscribe for free now!
The JetBrains Blog
dotInsights | March 2026 | The .NET Tools Blog
Did you know? The async and await keywords in C# were introduced in C# 5.0 (2012) to simplify asynchronous programming. Under the hood, the compiler uses a state machine to transform your asynchr
⚡️ Free GitHub Copilot CLI course
GitHub has released a free, 8-chapter hands-on course on working with GitHub Copilot CLI. In it, you can practice reviewing code, generating tests, debugging, and creating your own agents.
♻️ Subscribe for free now!
GitHub has released a free, 8-chapter hands-on course on working with GitHub Copilot CLI. In it, you can practice reviewing code, generating tests, debugging, and creating your own agents.
♻️ Subscribe for free now!
Microsoft News
Get started with GitHub Copilot CLI: A free, hands-on course
Learn GitHub Copilot CLI with this free, 8-chapter hands-on course. Review code, generate tests, debug issues, and build custom agents and skills - all from your terminal. No AI experience needed. Works with GitHub Copilot Free. Clone the repo or open in…
⚡️ ReSharper для Visual Studio Code
What the developers have been waiting for has finally happened! JetBrains has launched a full version of ReSharper for Visual Studio Code and compatible editors.
♻️ Subscribe for free now!
What the developers have been waiting for has finally happened! JetBrains has launched a full version of ReSharper for Visual Studio Code and compatible editors.
♻️ Subscribe for free now!
The JetBrains Blog
ReSharper for Visual Studio Code, Cursor, and Compatible Editors Is Out | The .NET Tools Blog
ReSharper has been a trusted productivity tool for C# developers in Visual Studio for over 20 years. Today, we’re taking the next step and officially releasing the ReSharper extension for Visual Studi
⚡️ GPT-5.4 is coming soon to Microsoft Foundry
Microsoft has already officially promised that OpenAI GPT-5.4 will be available at Foundry.
♻️ Subscribe for free now!
Microsoft has already officially promised that OpenAI GPT-5.4 will be available at Foundry.
♻️ Subscribe for free now!
TECHCOMMUNITY.MICROSOFT.COM
Introducing GPT-5.4 in Microsoft Foundry | Microsoft Community Hub
Today, we’re thrilled to announce that OpenAI’s GPT‑5.4 is now generally available in Microsoft Foundry: a model designed to help organizations move from...
⚡️ WinUI Gallery 2.8
Microsoft has updated WinUI Gallery. The new version has Jump Lists for integration with taskbar and new examples of working with the clipboard.
♻️ Subscribe for free now!
Microsoft has updated WinUI Gallery. The new version has Jump Lists for integration with taskbar and new examples of working with the clipboard.
♻️ Subscribe for free now!
Visual Studio Magazine
WinUI Gallery 2.8 Adds Jump Lists, New Samples and Accessibility Improvements -- Visual Studio Magazine
Microsoft updates its reference WinUI 3 sample app with taskbar integration, clipboard samples, and quality-of-life fixes.
⚡️ Fastest regex engine in F#
Researcher and developer Ian Eric Varatalu presented RE#, an open source F# regular expression engine that surpassed all industrial analogues in speed and for the first time combined support for intersection, complement, and contextual lookaround operators with guaranteed linear complexity.
♻️ Subscribe for free now!
Researcher and developer Ian Eric Varatalu presented RE#, an open source F# regular expression engine that surpassed all industrial analogues in speed and for the first time combined support for intersection, complement, and contextual lookaround operators with guaranteed linear complexity.
♻️ Subscribe for free now!
ian erik varatalu
RE#: how we built the world's fastest regex engine in F# | ian erik varatalu
⚡️ Google launches podcast about agentic AI
The company presented The Shift podcast, in which participants discuss the most pressing questions about agentic AI.
For developers, this is a chance to hear the analysis of topics directly from the team that creates them.
♻️ Subscribe for free now!
The company presented The Shift podcast, in which participants discuss the most pressing questions about agentic AI.
For developers, this is a chance to hear the analysis of topics directly from the team that creates them.
♻️ Subscribe for free now!
Microsoft Azure Blog
Unpacking your top questions on agentic AI: The Shift podcast | Microsoft Azure Blog
Explore how AI agents get built on The Shift podcast through real stories from engineering, product, and strategy teams across Microsoft.
❤1
⚡️ What does the free Visual Studio Dev Essentials subscription do?
Visual Studio Dev Essentials is a set of free tools and benefits available to everyone. We invite you to learn more about this subscription and its capabilities in today's publication.
♻️ Subscribe for free now!
Visual Studio Dev Essentials is a set of free tools and benefits available to everyone. We invite you to learn more about this subscription and its capabilities in today's publication.
♻️ Subscribe for free now!
Microsoft News
Visual Studio Dev Essentials: Free, Practical Tools for Every Developer
Visual Studio Dev Essentials is a free developer program that gives you access to tools, Azure credits, downloads, and training to help you build apps and grow your skills.
⚡️ Stop wasting money
At least on Azure Storage. How to save money? Find out in today's article.
♻️ Subscribe for free now!
At least on Azure Storage. How to save money? Find out in today's article.
♻️ Subscribe for free now!
TECHCOMMUNITY.MICROSOFT.COM
Stop Burning Money in Azure Storage | Microsoft Community Hub
Audience: Engineers, Architects, FinOps teams (and anyone whose finance team sends "friendly" cost emails)
Your blobs called. They want to talk about...
Your blobs called. They want to talk about...
⚡️ Claude Opus 4.6 в Microsoft Foundry
Anthropic opened access to Claude Opus 4.6 at Microsoft Foundry. The model is positioned as a powerful tool for development tasks.
♻️ Subscribe for free now!
Anthropic opened access to Claude Opus 4.6 at Microsoft Foundry. The model is positioned as a powerful tool for development tasks.
♻️ Subscribe for free now!
Microsoft Azure Blog
Claude Opus 4.6: Anthropic's powerful model for coding, agents, and enterprise workflows is now available in Microsoft Foundry…
Delegate complex tasks end-to-end and execute reliably with Claude Opus 4.6, now available in Microsoft Foundry.
⚡️ Migrating from AWS S3 to Azure Storage just got easier than ever
Microsoft has added support for private data transfers from AWS S3 to Azure Blob in Azure Storage Mover. The tool allows you to migrate storage without opening them to the public internet. For companies with a hybrid infrastructure, this makes it easier to move securely between clouds.
♻️ Subscribe for free now!
Microsoft has added support for private data transfers from AWS S3 to Azure Blob in Azure Storage Mover. The tool allows you to migrate storage without opening them to the public internet. For companies with a hybrid infrastructure, this makes it easier to move securely between clouds.
♻️ Subscribe for free now!
Microsoft
Azure updates | Microsoft Azure
Subscribe to Microsoft Azure today for service updates, all in one place. Check out the new Cloud Platform roadmap to see our latest product plans.
⚡️ F# Weekly #11, 2026
In the latest installment, you'll learn about .NET 11 Preview 2 with updates to the platform and development tools. Architectural approaches such as Safe Clean Architecture, proposals for the development of the Fantomas forator, as well as new versions of libraries including FSharp.Core, FSharp.Data and NBomber are also discussed.
♻️ Subscribe for free now!
In the latest installment, you'll learn about .NET 11 Preview 2 with updates to the platform and development tools. Architectural approaches such as Safe Clean Architecture, proposals for the development of the Fantomas forator, as well as new versions of libraries including FSharp.Core, FSharp.Data and NBomber are also discussed.
♻️ Subscribe for free now!
Sergey Tihon's Blog
F# Weekly #11, 2026 – F# in .NET 11 Preview 2
Welcome to F# Weekly, A roundup of F# content from this past week: News F# in .NET 11 Preview 2 – Release Notes Safe Clean Architecture RFC: How should Fantomas handle lambda expressions that…
❤1
⚡️ Queues, topics, and reliable asynchrony
Asynchronous messages are one of the key tools for building scalable and resilient . NET systems.
In his article, Adrian Bailador explains the basic principles of messaging architecture: what is the difference between queues and topics, what message delivery models exist, and how to choose between RabbitMQ, Azure Service Bus, and AWS SQS.
The author shows how message brokers help unleash services, increase fault tolerance, and handle tasks in the background without blocking APIs.
♻️ Subscribe for free now!
Asynchronous messages are one of the key tools for building scalable and resilient . NET systems.
In his article, Adrian Bailador explains the basic principles of messaging architecture: what is the difference between queues and topics, what message delivery models exist, and how to choose between RabbitMQ, Azure Service Bus, and AWS SQS.
The author shows how message brokers help unleash services, increase fault tolerance, and handle tasks in the background without blocking APIs.
♻️ Subscribe for free now!
adrianbailador.github.io
Messaging in .NET: Queues, Topics, and Why You Need Them | Adrian Bailador | .NET
Learn why asynchronous messaging matters in .NET applications, how queues and topics differ, and when to use RabbitMQ, Azure Service Bus, or AWS SQS to build reliable, decoupled systems
⚡️ Scandal around AutoMapper
A vulnerability (CVE-2026-32933) has been discovered in AutoMapper that allows an application to be dropped through a stack overflow in deep recursion and no mapping depth limit.
AutoMapper is one of the most widely used tools in the .NET ecosystem for automatic object-to-object mapping. In 2025, the project switched to a commercial model: the current versions of the library are distributed by subscription, while the old ones (under the MIT license) were left without support.
Despite the high severity of the vulnerability, the developer refused to release fixes for free versions, limiting the patch to only supported (including paid) releases. This caused a wave of criticism: some of the community accuses the author of trying to force users to a paid subscription, while others remind that unsupported open source by definition does not guarantee security updates and may require self-support.
♻️ Subscribe for free now!
A vulnerability (CVE-2026-32933) has been discovered in AutoMapper that allows an application to be dropped through a stack overflow in deep recursion and no mapping depth limit.
AutoMapper is one of the most widely used tools in the .NET ecosystem for automatic object-to-object mapping. In 2025, the project switched to a commercial model: the current versions of the library are distributed by subscription, while the old ones (under the MIT license) were left without support.
Despite the high severity of the vulnerability, the developer refused to release fixes for free versions, limiting the patch to only supported (including paid) releases. This caused a wave of criticism: some of the community accuses the author of trying to force users to a paid subscription, while others remind that unsupported open source by definition does not guarantee security updates and may require self-support.
♻️ Subscribe for free now!
Reddit
From the dotnet community on Reddit: Grenade thrown at all of the free versions of Automapper
Explore this post and more from the dotnet community