<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
  xmlns:xhtml="http://www.w3.org/1999/xhtml">
  <url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/why-adaptive-domain-models/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/categorical-deep-learning-adjoint-correspondence/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/front-matter/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/guides/getting-started/</loc>
    <lastmod>2026-02-16T07:29:13-05:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/guides/</loc>
    <lastmod>2026-06-08T13:44:39-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/scaffold-for-constrained-models/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/posit-arithmetic-dimensional-type-systems/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/rfc-status/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/building-the-model/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/forward-gradients-exact-accumulation/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/</loc>
    <lastmod>2026-06-21T10:27:38-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/architecture-and-arithmetic/</loc>
    <lastmod>2026-06-09T17:54:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/target-architectures-compilation-strategy/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/</loc>
    <lastmod>2026-03-29T19:53:30-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/</loc>
    <lastmod>2026-04-06T18:00:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/forward-mode-and-adaptation/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/quantum-substrate-categorical-structure/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/concepts/</loc>
    <lastmod>2026-04-06T18:00:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/</loc>
    <lastmod>2026-04-06T17:23:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/tooling/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/the-constellation/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/formal-verification-compilation-byproduct/</loc>
    <lastmod>2026-04-08T18:15:16-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/language/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/reversible-cores/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/continuous-learning-inference-training-boundary/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/adapting-inference-on-a-gradient/</loc>
    <lastmod>2026-06-09T16:34:17-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/interop/</loc>
    <lastmod>2026-04-06T18:00:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/managing-context/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/double-annotation-discovery/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/tooling/clef-autocomplete-integration/</loc>
    <lastmod>2026-06-27T10:26:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/why-clef-fits-mlir/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/dotnet-to-fidelity-concurrency/</loc>
    <lastmod>2026-06-27T09:22:31-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/</loc>
    <lastmod>2026-04-06T18:00:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/constrained-machine-learning/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/introduction/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/</loc>
    <lastmod>2026-04-08T15:35:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/decidability-sweet-spot/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/the-continuation-preservation-paradox/</loc>
    <lastmod>2026-06-21T10:27:38-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/coupling-and-cohesion/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/mlir/</loc>
    <lastmod>2026-04-06T17:33:25-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/program-structure/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/memory-coeffect-algebra/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/arity-on-the-side-of-caution/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/delimited-continuations/</loc>
    <lastmod>2026-06-21T10:27:38-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/concepts/coeffects-and-codata/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/lexical-analysis/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/proofs-to-silicon/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/getting-inline/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/dcont-inet-duality/</loc>
    <lastmod>2026-06-27T11:00:31-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/proof-aware-compilation/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/basic-grammar-elements/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/internals/farscape/</loc>
    <lastmod>2026-04-06T17:33:25-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/deadlock-freedom-as-an-obligation/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/verification/mode-shifts/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/tooling/leveling-up-with-lattice/</loc>
    <lastmod>2026-06-27T10:26:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/why-lazy-is-hard/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/mlir/frontend-unfuzzled/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/types-and-type-constraints/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/source-level-dependency-resolution/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/</loc>
    <lastmod>2026-04-06T18:00:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/type-representation-architecture/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/design/compilation/flow-loss-analysis/</loc>
    <lastmod>2026-06-27T14:27:51-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/native-type-mappings/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/tooling/clefpak-source-based-package-management/</loc>
    <lastmod>2026-06-27T10:26:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/native-type-universe/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/tooling/atelier-the-fidelity-workshop/</loc>
    <lastmod>2026-06-27T10:26:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/expressions/</loc>
  </url><url>
    <loc>http://localhost:1313/docs/design/concurrency/the-three-layer-actor-contract/</loc>
    <lastmod>2026-06-21T12:43:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/draft/patterns/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/type-definitions/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/units-of-measure/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/namespaces-and-modules/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/namespace-and-module-signatures/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/program-structure-and-execution/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/program-semantic-graph/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/memory-regions/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/closure-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/lazy-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/incremental-computation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/observable-computation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/seq-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/seq-operations-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/list-operations-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/map-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/set-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/option-operations-representation/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/access-kinds/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/platform-bindings/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/backend-lowering-architecture/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/inference-procedures/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/clef-expr/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/lexical-filtering/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/special-attributes-and-types/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/error-handling/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/interactive-development/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/width-inference/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/numeric-selection/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/intrinsics-crypto-bits/</loc>
  </url><url>
    <loc>http://localhost:1313/spec/draft/reactive-signals/</loc>
  </url><url>
    <loc>http://localhost:1313/tags/architecture/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/cloudflare-agents-and-the-boundary-map/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/design/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/innovation/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/interop/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/analysis/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/compilation/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/deferred-inference/</loc>
    <lastmod>2026-06-28T10:03:08-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/types/</loc>
    <lastmod>2026-06-28T10:03:08-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/going-deep-with-flow-loss-analysis/</loc>
    <lastmod>2026-06-28T10:40:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/performance/</loc>
    <lastmod>2026-06-28T10:40:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/tooling/</loc>
    <lastmod>2026-06-27T10:26:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/between-a-rocq-and-a-hard-case/</loc>
    <lastmod>2026-06-28T10:40:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/concurrency/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/formal-verification/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/session-types/</loc>
    <lastmod>2026-06-21T12:43:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/verification/</loc>
    <lastmod>2026-06-21T12:43:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/counting-the-cost-of-coordination/</loc>
    <lastmod>2026-06-28T10:40:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fearless-concurrency-gets-real/</loc>
    <lastmod>2026-06-28T10:40:18-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/memory-management/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/arena-hoisting/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/adaptive-domain-models/</loc>
    <lastmod>2026-06-09T17:54:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/inference/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/machine-learning/</loc>
    <lastmod>2026-06-09T17:54:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/memory-model/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/cloudflare/</loc>
    <lastmod>2026-06-09T16:34:17-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/data-sovereignty/</loc>
    <lastmod>2026-06-09T16:34:17-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/language-model/</loc>
    <lastmod>2026-06-09T16:25:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/automatic-differentiation/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/efficiency/</loc>
    <lastmod>2026-06-09T12:21:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/posit-arithmetic/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/where-native-goes-mobile-follows/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/formal-methods/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/mlir/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/from-fable-to-jsir/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/javascript/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/jsir/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/typescript/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/interop/typescript-binding-via-xantham/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/cryptography/</loc>
    <lastmod>2026-06-28T10:58:14-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/dont-assume/</loc>
    <lastmod>2026-06-28T10:58:14-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/foundations/</loc>
    <lastmod>2026-06-28T10:58:14-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/post-quantum/</loc>
    <lastmod>2026-06-28T10:58:14-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/the-compilation-sheaf/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/a-triangle-without-mystery/</loc>
    <lastmod>2026-06-28T10:58:14-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/type-systems/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/design-time-spec-runtime-reliability/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/jsir-javascript-as-mlir-backend/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/runtime-revolution-fidelity/</loc>
    <lastmod>2026-06-28T15:24:23-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/javascript-targeting/streaming-inference-through-the-actor-pipeline/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/proofs-for-the-real-world/</loc>
    <lastmod>2026-06-21T10:43:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/safety/</loc>
    <lastmod>2026-06-21T10:43:27-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/proofs-from-dimensional-types/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/ai/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/categorical-foundations/typed-recurrence-categorical-control/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/coeffects/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/native-compilation/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/z3/</loc>
    <lastmod>2026-06-16T17:56:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/dts/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/fpga/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fpga-and-hardware-inference/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/timing/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/language/managed-mutability/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/concepts/nanopass-navigation/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/spatial-mechanics/</loc>
    <lastmod>2026-06-27T11:00:31-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/doubling-down-dmm-dts/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/language/collect-yourself/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/learning-to-walk/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/closures/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/iterators/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/lazy-evaluation/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/llvm/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/concepts/seqing-simplicity/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/sequences/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/state-machines/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/functional-programming/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/thunks/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/gaining-closure/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/inferring-memory-lifetimes/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/dimensional-type-safety/</loc>
    <lastmod>2026-06-27T11:00:31-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/wren-stack/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/il-to-ntu/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/language/absorbing-alloy/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/on-metal-revisited/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/hardware/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/xor-a-post-quantum-case-study/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/language/standing-art-clef-metaprogramming/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/clef-lang/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/metaprogramming/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/posit-arithmetic/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/rdna-unified-memory-desktop/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/systems-programming/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/baker-saturation-engine/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/unified-actor-architecture/</loc>
    <lastmod>2026-06-28T11:24:34-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/getting-the-signal-with-barewire/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/mlir/mlir-testing-with-teeth/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/unified-cognitive-architecture/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/actor-model/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/distributed-systems/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/unexpected-fusion/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/breaking-the-p-vs-np-mystique/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/gpu/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/cache-aware-compilation-gpu/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/cache-aware-compilation-cpu/</loc>
    <lastmod>2026-06-19T09:25:07-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/hpc/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/traits-versus-srtp/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/abstract-machine-model-paradox/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/farscape/binding-cpp-to-clef-in-farscape/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/integration/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/advent-of-neuromorphic-ai/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/mlir/hello-world-goes-native/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/categorical-deep-learning/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/heterogeneous-computing/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/quantum-resistance/</loc>
    <lastmod>2026-06-28T12:31:09-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fewer-tests-greater-safety/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/systems/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/hyping-hypergraphs/</loc>
    <lastmod>2026-06-27T11:00:31-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/concepts/seeking-referential-transparency/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/quantum-optionality/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fidelityrx-native-reactivity/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/mlir/context-aware-compilation/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/hardware-lessons-from-lisp/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/speed-and-safety-with-graph-coloring/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/beyond-zero-allocation/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/danger-close-why-types-matter/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/unified-vision-ternary-models/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/discriminated-unions-post-transformer-ai/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/farscape/farscape-modular-entry-points/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/pipeline/intelligent-tree-shaking/</loc>
    <lastmod>2026-06-24T19:23:02-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/wrapping-c-and-cpp/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/hkts-dialectic-analysis/</loc>
    <lastmod>2026-06-28T13:05:35-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/cross-platform/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/source-based-packages/</loc>
    <lastmod>2026-06-27T11:09:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/scaling-fidelityui/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/leveraging-fabulous-for-native-ui/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/high-speed-inference/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/rdma-accelerating-network-comms/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/interop/library-binding/</loc>
    <lastmod>2026-06-21T10:39:45-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/types/byref-resolved/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fidelity-ui-model/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/next-generation-memory-coherence/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/memory-management-by-choice/</loc>
    <lastmod>2026-06-21T08:49:56-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/technology/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/the-return-of-the-compiler/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/the-farscape-bridge/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/window-layout-with-fidelity/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fidelity-framework-primer/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/tags/type-safety/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/ode-to-erlang/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/cnn-to-topoc-transfer-learning/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/beyond-transformers/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/the-case-for-actor-oriented-architecture/</loc>
    <lastmod>2026-06-28T13:22:12-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/internals/hardware/fidelity-on-stm32/</loc>
    <lastmod>2026-06-16T17:50:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/musing-on-mojo/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/raii-in-olivier-and-prospero/</loc>
    <lastmod>2026-06-09T14:43:43-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/fidelity-as-ai-refinery/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/pondering-python/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/hidden-dominance-of-functional-programming/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/design/memory/native-memory-management/</loc>
    <lastmod>2026-06-21T19:06:39-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/rust-revisited/</loc>
    <lastmod>2026-06-28T14:06:05-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/seeing-beyond-assemblies/</loc>
    <lastmod>2026-06-27T08:56:55-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/cryptographic-certainty/</loc>
    <lastmod>2026-06-28T14:17:06-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/blog/</loc>
    <lastmod>2026-02-15T15:49:32-05:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/categories/</loc>
  </url><url>
    <loc>http://localhost:1313/</loc>
    <lastmod>2026-06-05T15:30:28-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/docs/</loc>
    <lastmod>2026-06-27T09:48:13-04:00</lastmod>
  </url><url>
    <loc>http://localhost:1313/spec/</loc>
    <lastmod>2026-06-15T00:16:43-04:00</lastmod>
  </url>
</urlset>
