A Lean Syntax Primer
An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.
An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.
Explores architectural solutions for handling overlapping IP address spaces in Azure, focusing on VNET-to-VNET NAT and Private Link for services like AKS and Databricks.
An introduction to NATS, an open-source technology for connecting applications and microservices over a network.
The latest episode of Building SaaS covers post-launch improvements and user experience polishing for the JourneyInbox application.
Explains how to configure Azure Virtual WAN with a secured hub and Azure Firewall to enable forced tunneling and Internet breakout for Point-to-Site VPN users.
Announcing a major performance update for MyNatsClient, a .NET client for NATS, achieving a 60% speed increase and reduced resource usage.