D. Richard Hipp discusses SQLite's rigorous aviation-grade testing methodology, contrasting it with PostgreSQL's peer-review approach.
The core challenge of programming is translating ambiguous human thought into precise computational logic, not just writing code.
Explains SQLite's selective contribution process and the required public domain copyright release, with a query showing contributor stats.
Introducing a web-based drag-and-drop visual configurator for creating and customizing Oh My Posh terminal prompts without editing config files.
A 2025 year-in-review focusing on advocacy work for database professionals, AI integration, and practical tech leadership at conferences.
Explains how to implement the Repository pattern in ASP.NET Core Minimal APIs to decouple domain logic from database access.
A chronological summary of Microsoft's top 60 AI announcements from 2025, covering investments, partnerships, and new divisions.
![[notes] A Feed ‘Bug’ I Keep Tripping Over](https://alldevblogs.blob.core.windows.net/thumbs/article-c8566437dd15-full-7edf663c.webp)
A developer explains a feed duplication bug caused by renaming a blog post file and discusses the challenge of stable IDs in static site generators.
A year-in-review blog post reflecting on machine learning course blogging, revisiting 'The Bitter Lesson', and critiquing trends in ML and economics.
A Swift developer reflects on their first full year as an indie developer, covering milestones, project growth, and launching a Swift Concurrency course.
A critique of perpetual 'improved Git integration' in IDEs, arguing developers should learn core Git instead of waiting for tools.
Guide to setting up Microsoft Entra Conditional Access policies for the new Account Recovery feature, enhancing security with identity verification.
A technical tutorial on using Azure Arc to centrally manage and monitor AWS EC2 virtual machine instances from within the Azure control plane.
Explains Microsoft Security Baselines for Windows Server 2025, their purpose, and how to use the Security Compliance Toolkit for deployment and management.
An analysis of Goose, an AI coding agent, highlighting its unique features like reusable workflow recipes and how it differs from other AI development tools.
Explores how AI will expand knowledge work by making tasks cheaper, leading to new projects and activities we don't do today.
Explores why category theory requires collections larger than sets to be interesting, discussing foundational issues and cardinality.
A 2025 year-in-review of key Apache data projects: Iceberg, Polaris, Parquet, and Arrow, detailing their major updates and future roadmap.
Explores combining SMT solvers CVC5 and Z3 using the Nelson-Oppen method, focusing on theory combination and purification.
A review and refinement of the five fundamental pillars of test automation, emphasizing core principles over fleeting tool trends.
