Loom

A blog engine that just works. One binary, no setup, no dependencies.

Getting Started
Docs
Themes
Internals
Source
⌕

Search

Post Connections

About

Clone, make, run. Your blog is live in 30 seconds — with themes, RSS, SEO, and hot reload built in.

Recent Posts

Building a Type-Safe Protocol — The Grand Synthesis 2026-03-30
Recursive Types and Fixed Points — The Algebra of Data 2026-03-29
Substructural Types — When Resources Are Not Free 2026-03-28
Parametricity — Theorems for Free 2026-03-27
Compile-Time Data — When Values Become Types 2026-03-26
Putting It All Together — The Full Pipeline 2026-03-25
Concepts as Logic — Propositions, Proofs, and Predicates 2026-03-25
Typestate Programming — When Types Remember What Happened 2026-03-24
Thread Safety — The Compositor 2026-03-23
Phantom Types — Making the Compiler See What Isn't There 2026-03-23

Tags

advanced affine-types algebraic-types algorithms ansi ansi-escape ansi-sgr architecture atomics bit-packing blit blit-optimization c++20 c++23 cache caching capstone case-analysis catamorphisms changelog claude-code closures code-generation comparison compile-time compile-time-cpp compile-time-dsl compilers component-tree components compositor concepts concurrency consteval constexpr constexpr-containers constexpr-parsing constinit constraints containers content cpp cpp17 cpp20 cpp26 csi-sequences css curry-howard cursor-optimization damage-rect damage-tracking databases demo dependent-types design devops diagnostics diff-engine dirty-flag double-buffering dsl elimination-rules epoll error-messages event-driven event-loop exhaustiveness f-algebras feature filesystem fixed-points fixed-string fold-expressions foundations frame-lifecycle free-theorems full-pipeline functional fundamentals generic-programming git hardware-scroll hash-map higher-order hot-reload http if-constexpr immediate-functions initial-algebras inotify interning lambdas linear-logic linear-types linux logic loom-internals markdown memmove memory-layout memory-ordering metaclasses metafunctions metaprogramming microservices modern-cpp move-semantics mutex natural-deduction networking nttp optimization output-builder ownership parameter-packs parametricity parsing partial-specialization pattern-matching performance phantom-types philosophy polymorphism protocols race-condition raii recursive-templates recursive-types reflection release render-tree rendering requires-clause reverse-engineering routing screen-buffer scroll-region self-pipe series sfinae signal-handling simd smart-pointers specialization state-machines static-assert stl string-literals string-view style-pool style-transition subsumption sum-types synchronized-output syntax systems tag-dispatch template-template-parameters templates terminal terminal-rendering themes thread-safety threads transition-cache tui tuple tutorial type-level type-lists type-manipulation type-safe type-safety type-theory type-traits types typestate variadic variant visit web yoga-layout zero-copy zero-cost

Series

type-theoratic-cpp (11)
claude-rendering-engine (13)
rebuilding-the-web (6)
changelog (1)
compile-time-cpp (13)
internals (8)
cpp (15)

Archives

Browse all posts by year

PID 1077365 · © 2025-2026 Ayush Bhat — Built with Loom, served by Loom