Depot on Mythryl: “deleting from a content-addressable store is trickier than writing…”

deleting from a content-addressable store is trickier than writing to one. you can't re-check s3 and delete in one step, so we record the version gc inspected and delete only that, staying safe even against a concurrent re-push. depot.dev/blog/tla-ver...

depot.devImproving 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, an...

3/8/26, 4:40 pm0 reposts1 like

Post