An introduction to Lean, a programming language for formalizing mathematics, using a simple proof of 2=2 as an example.
Compares how major cloud providers (AWS, Azure, Google, Oracle) are addressing European data sovereignty concerns with new sovereign cloud solutions.
A follow-up analysis of unexpected behavior in C# record types when using the 'with' operator, exploring differing mental models and solutions.
A guide to troubleshooting network connectivity issues with the Azure Connected Machine agent for Azure Arc.
A technical guide on implementing end-to-end user authorization for MCP servers using Entra ID, OAuth 2.0, and on-behalf-of flows.
Debugging a memory exhaustion error in Symfony caused by Doctrine metadata during serialization, with a lightweight serializer solution.
A guide to implementing essential security auditing for databases, using Microsoft SQL Server as a practical example to demonstrate configuration and importance.
Explains JavaScript's dynamic typing and demonstrates type conversion through coercion and casting with practical examples.
Explores the new `dnx` command in .NET 10 preview for running .NET tools without installing them, similar to npx in Node.js.
A developer's raw notes on profiling challenges and ideas for JFR stack sampling in the OpenJDK, written in March 2025.
Analysis of Spotify's AI-generated band and the shift towards AI-native content creation, questioning the future of human creators.
Explains how to bypass macOS unified logging's <private> redaction for debugging by using plist files or configuration profiles.
Explains how to use SPIFFE and Keycloak for secure, non-anonymous dynamic client registration in MCP authorization, addressing enterprise security concerns.
A developer details technical updates to their personal website, including migration to Git, build script refactoring, and new content utilities.
Introduces a Model Context Protocol (MCP) server for dev.to, enabling AI tools to access and interact with the platform's articles, tags, and user data.
A developer explains how to fix the 'Invalid Path' error when cloning or switching branches in Git on Windows, caused by file names with special characters.
A tutorial on creating a per-letter faded text effect using a combination of CSS and a small amount of JavaScript for dynamic styling.
Explains techniques for incremental, non-disruptive compaction in Apache Iceberg tables under continuous streaming data ingestion.
Explains how to create a scroll-spy navigation effect using the new CSS `scroll-target-group` property and `:target-current` pseudo-class.
A technical guide on configuring OAuth 2.0 token delegation for an A2A (Agent-to-Agent) system using Python, FastAPI, and security schemes.
