The proof is trivial

C++, systems programming, and boardgames

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT
TALKS
PROJECTS

Home Tags kata

Tag

kata 1

Refactoring as Algebra: Small Steps to Clarity Apr 14, 2026

Recently Updated

C++20 Modules: The Tooling Gap
Refactoring as Algebra: Small Steps to Clarity
Hello World

Trending Tags

c++ blog clangd kata modules refactoring tooling

© 2026 Gareth Lloyd. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

c++ blog clangd kata modules refactoring tooling

A new version of content is available.