<?xml version="1.0" encoding="UTF-8"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:news="http://www.google.com/schemas/sitemap-news/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1" xmlns:video="http://www.google.com/schemas/sitemap-video/1.1"><url><loc>https://hydro.run/askai</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/blog</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/hydroscope</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/people</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/research</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/search</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/architecture/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/architecture/handoffs</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/architecture/in-out_trees</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/architecture/networking</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/architecture/scheduling</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/cyclic_flows</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/debugging</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/distributed_time</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/error_handling</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/life_and_times</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/concepts/stratification</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/ecosystem</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/faq</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/lattices_crate/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/lattices_crate/lattice_math</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/playground</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_1_simplest</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_2_simple</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_3_stream</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_4_neighbors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_5_reachability</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_6_unreachability</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/example_7_networking</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/quickstart/setup</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/state</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/surface_data</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/surface_embedding</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/surface_flows</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/surface_ops_gen</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/dfir/syntax/surface_types</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/approach</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/corner/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/corner/coupling</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/corner/projections-and-tactics</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/cost-model</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/doctrine</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/activation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/graph-ir-causality</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/lockstep-machine</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/processes</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/staging</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/execution/wire-and-traces</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/couple-phase</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/elaborating-hydro-def</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/generated-artifacts</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/glue-phase</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/knot-stack</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/overview</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/project-phase</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/tick-elaborator</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/generator/wf-smono-mono</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/liveness</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/proof-generation</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/semantics/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/semantics/grades</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/semantics/monorel</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/semantics/sched</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/semantics/values</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/soundness</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/internals/traps</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/comparison</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/contracts</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/distributed-programs</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/nondeterminism</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/signature</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/programs/ticks-and-cycles</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/proving/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/proving/knot-invariants</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/proving/proofs-over-values</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/proving/tick-invariants</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/proving/transferring-to-the-machine</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/quickstart/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/quickstart/implementing-quorum</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/quickstart/porting-from-rust</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/quickstart/proving-quorum</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/quickstart/running-quorum</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro-lean/using/setup</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/learn/quickstart/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/learn/quickstart/concurrent-clients</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/learn/quickstart/keyed-counter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/learn/quickstart/partitioned-counter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/learn/quickstart/single-counter</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/atomic-collections</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/bounded-unbounded</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/determinism</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/nondet</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/proof-obligations</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/verus/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/verus/panics</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/correctness/verus/proof-scripts</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/deploy/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/deploy/embedded</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/deploy/rust</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/introduction/dataflow-programming</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/introduction/live-collections</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/introduction/location-oriented-programming</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/io/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/io/sidecar</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/locations/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/locations/clusters</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/locations/external-clients</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/locations/network-configuration</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/locations/processes</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/simulation/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/simulation/deterministic</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/simulation/fuzzing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/simulation/scripting</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/simulation/writing</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/stageleft/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/stageleft/errors</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/state-management/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/state-management/keyed-state</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/state-management/references-mutations</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/state-management/singletons-optionals</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/state-management/slices</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/streaming-data/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/streaming-data/keyed-singletons</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/streaming-data/keyed-streams</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydro/reference/streaming-data/streams</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydroflow_plus/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/docs/hydroflow/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url><url><loc>https://hydro.run/</loc><changefreq>weekly</changefreq><priority>0.5</priority></url></urlset>