System Architecture

A while ago I wrote an article about linting Markdown files with markdownlint. In that article, I presented the use case of linting the Markdown source files for this site. While manually running linting checks is fine—there are times and situations when this is appropriate and necessary—this is the sort of task that is ideally suited for a Git pre-commit hook. In this post, I’ll discuss Git pre-commit hooks in the context of using them to run linting checks.

Authors: Adrian Taruc and James Dalton

Drop in any well-typed Python function; the loop builds the tool schema and wiring for you. How I build dumb demos and experiments.

Your product's core abstractions determine whether new features compound into a moat or just add to a feature list. Here's how to get it right.

No matter when or how often the nodes sync, they always end up with the same state.

Hi, I’ve been reading about Apache Cassandra since the last 2 weeks.

Updates on Tailscale's efforts to improve NAT traversal, for its client and for the web at large.

A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.

A deep dive into best practices for designing APIs today, including async patterns, structured code, deployment strategies, and performance tradeoffs—plus a subtle nod to FastAPI for rapid development.

Get started with the Agent Client Protocol (ACP)

Fully distributed PostgreSQL

a git collaboration platform, built on atproto

The exploration of design patterns is importantly a historical search. It is possible to tell [...]

How APFS is the first Mac native file system to have true inodes and inode numbers. What they are, and how you can use them in volume groups and different types of file link.

There’s a growing narrative in the web development community that Server-Side Rendering (SSR) is nothing more than an expensive burden on…

Using Group Theory to Speed up an Elliptic Curve Library from 352 million CPU years to 12 million CPU years

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

Explore how the Agentic Commerce Protocol (ACP) lets AI agents shop on your behalf, from product discovery to secure checkout, using shared payment tokens and merchant integrations. This post breaks down the workflow, key components of AI-driven e-commerce.

How I overcame copying and modifying my own diff library from project to project by diving too deep into diff algorithms and coming out at the other end with new diff library in my hand.

From handles to hosting.

OSWALD is a Write-Ahead Log (WAL) design built exclusively on object storage primitives. It works with any object storage service that…

Usually databases are treated primarily as fairly dumb data storage systems, but they can be capable of much more. Case in point the PostgreSQL database and its – Ada-based – PL/pgSQL p…

Official Copy: Final report of Doug Engelbart's in-depth study on augmenting human intellect and human effectiveness: a unifying framework for what makes us collectively capable and effective, a design strategy for systematically improving this capability, and proposed research agenda. Early research results include these pioneering firsts https://engelbart.org/Firsts. Serving as his guiding vision throughout his career, this report outlines a call to action still relevant today.