# Sled Authors - Sled Simulation Guide (Highlights) ![rw-book-cover|256](https://lobste.rs/touch-icon-144.png) ## Metadata **Review**:: [readwise.io](https://readwise.io/bookreview/61299338) **Source**:: #from/readwise #from/reader **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[Sled Authors]] **Full Title**:: Sled Simulation Guide **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **Document Tags**:: #via/ddia **URL**:: [sled.rs](https://sled.rs/simulation.html) **Host**:: [[sled.rs]] **Highlighted**:: [[2026-06-13]] **Created**:: [[2026-06-20]] ## Highlights - fn tick(at) -> [(msg, destination)] ([View Highlight](https://read.readwise.io/read/01kv1ewq1rhbhqrd13qencyd3r)) ^1024999640 - write your algorithm around a state machine that receives messages from other nodes, and responds with the set of outgoing messages. ([View Highlight](https://read.readwise.io/read/01kv1f0zsdtpqx1zsq1ck19pv5)) ^1025000345 - (optional human debugger optimization) when a failure happens, drop out some of the initial client requests that the system was seeded with until you have a minimal set of commands that cause your invariant to be broken ([View Highlight](https://read.readwise.io/read/01kv1f03hfx0jzvey1f9bc5vyq)) ^1024999777