System Architecture

Determinate Nix now supports Wasm functions in Nix expressions, bringing a range of new possibilities to the Nix ecosystem

An introduction to the Decision Trees, Entropy, and Information Gain.

Dark Forest Operating System

When you request a certificate from Let’s Encrypt, our servers validate that you control the hostnames in that certificate using ACME challenges. For subscribers who need wildcard certificates or who prefer not to expose infrastructure to the public Internet, the DNS-01 challenge type has long been the only choice. DNS-01 works well. It is widely supported and battle-tested, but it comes with operational costs: DNS propagation delays, recurring DNS updates at renewal time, and automation that often requires distributing DNS credentials throughout your infrastructure.

A free, open IP Geolocation database in MMDB format. Includes ASN, country, and continent data. Updated daily. Licensed under CC BY 4.0.

encapsulation of the Internet Protocol designed to work over serial ports and modem connections

Network packets security has always been significantly important and well researched topic but the network throughput and latency are not optimal on h…

Whether you've just heard about CodeDeploy, are preparing for an AWS certification exam, or want to...

Here’s a comprehensive cheat sheet for Cloud Comparison Cheat Sheet – core services across Microsoft Azure, Amazon Web Services (AWS), and Google Cloud Platform (GCP), organized by major category, plus brief descriptions and links to official docs for deeper dives. Read More ...

Interactive, step-by-step visual guides explaining how internet protocols and systems work. Learn DNS, K8s Pod Lifecycle, and more.

The Varlink Website

Taking place this week in Berlin was systemd's annual 'All Systems Go' developer conference

A hands-on tutorial exploring Varlink as a modern IPC mechanism. We build a simple hello world service in Rust and discuss why Varlink could become the backbone of our internal machine communication at DownToZero.

conceptual model of the domain in software engineering that incorporates both behaviour and data

family of modelling languages for distributed systems

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.