Engineering stories, perspectives, and product updates from the team building Depot.

Engineering

GitHub Actions without GitHub banner
26.09.10

GitHub Actions without GitHub

Depot CI runs GitHub Actions workflows without GitHub’s control plane, keeping CI online during outages and making workflows portable to new forges like Origin.
Why I reimplemented LVM (with worse guarantees) banner

Why I reimplemented LVM (with worse guarantees)

Our microVMs launch in under a second, and assembling their block devices in parallel put LVM's roughly 100ms volume group-wide lock directly in the critical path. We kept the kernel's device-mapper, wrote our own control plane and gave up crash safety our ephemeral workloads never needed, making allocation roughly 100x faster.
Why SOCI belongs in the build banner
26.08.04

Why SOCI belongs in the build

Most of a large container's startup goes to pulling and decompressing files it never reads to boot. SOCI makes the image seekable so the runtime loads only the bytes it needs, and Depot writes that index during the build, so the image can lazy-load the instant it's pushed.
Improving system safety with Temporal Logic of Actions (TLA+) banner
26.07.20

Improving system safety with Temporal Logic of Actions (TLA+)

Formal verification never seemed worth it: writing a faithful TLA+ spec took too long. But now agents can write the spec from your code. We tried it on the rebuilt Depot Registry garbage collector, and the model checker found something our tests and reviews didn't: a race that could delete live data.

Older posts

Page 1 / 4

Start building with Depot
in minutes