System Architecture

Formats over apps.

Query based compilers are all the rage these days, so it feels only appropriate to chart some treacherous shoals in those waters.

Designing a Distributed Job Scheduler for High-Throughput and Correctness at Scale

See your code in 3D, verify architecture with math, and generate AI code that actually fits. Architecture intelligence platform with zero hallucinations and 100% architectural compliance.

Dictionary compression could completely change how applications send data over the web. It's recently gained broad support, and offers absurd real-world...

A while back I was messing around with eBPF and I couldn’t find any good materials on using BPF without libbpf/LLVM/GCC (i.e. rawdogging bytecode), so here’s the resource I wished I had.

ACCU - professionalism in programming

GENERATED columns, EXCLUDE constraints, DISTINCT ON, Foreign Data Wrappers... PostgreSQL has powerful features you might not know about. Here are my favorites.

Weeknotes 372 - CES 2025 as a fortune teller or misrepresenter for a new breed of robotic roommates. And other news from futures in agentic AI in physical space

Weeknotes 375 - From group chats to neighborhood sidewalks: how this week's OpenClaw experiment foreshadows the swarms of AI agents that will soon inhabit our physical world.

Weeknotes 376 - Another lens on agent swarms (or teams), as a bottom-up movement of computational devices iterating into agents. And more reflections on the news of last week.

Weeknotes 377 - AI is becoming an exoskeleton for thinking—but exoskeletons only work if there's still someone inside steering. Apps replacing agents require rethinking. And more from the news.

Introducing local_websocket

Why JSON-LD's purely declarative semantics and monotonic schema expansion make it reliable infrastructure for composable systems.

An interpreted language for Petri net token models with guards, invariants, and data state semantics.

A Practitioner's Guide to Modeling with pflow

The blog's models, concepts, and toolchain have been organized into a book-length guide at book.pflow.xyz.

Iran is slowly emerging from the most severe communications blackout in its history and one of the longest in the world. Triggered as part of January’s government crackdown against citizen protests nationwide, the regime implemented an internet shutdown that transcends the standard definition of internet censorship. This was not merely blocking social media or foreign websites; it was a total communications shutdown. Unlike previous Iranian internet shutdowns where Iran’s domestic intranet—the National Information Network (NIN)—remained functional to keep the banking and administrative sectors running, the 2026 blackout ...

My first post made the case for what a semantic layer can bring to the modern enterprise: a single source of truth accessible to everyone who needs it—BI teams

The rewrite engine is an absolutely brilliant invention by John Brant and Don Roberts, introduced with the Refactoring Browser (see  “A Refa...

This article explores the latest batch of optimizations we did to set-theoretic types and their representation

Exploring why GNU Emacs embeds a Lisp interpreter in C -- from TECO marcos to Greenspun's Tenth Rule, with architecture comparisons to Neovim and VSCode

The most powerful AI software development platform with the industry-leading context engine.

An interactive exploration of quadtrees. Start with brute-force spatial search, build recursive space partitioning step by step, then use it for point lookups, range queries, nearest-neighbor search, collision detection, and image compression.