Part 2 of 2 in Isolation notes

Notes on agent isolation

Notes posts are shorter and less finished than writeups. This one exists to show that maths works. Setting math = true in a post’s front matter loads a self-hosted copy of KaTeX for that page only; every other page ships with no script at all.

Inline and display#

Inline maths uses dollar signs: the expected number of probes before a collision is about $\sqrt{\pi n / 2}$ for $n$ buckets. Display maths uses double dollars:

$$ P(\text{escape}) = 1 - \prod_{i=1}^{k} (1 - p_i) $$

When the Markdown parser gets in the way#

Underscores and asterisks inside $…$ are sometimes eaten by the Markdown parser before KaTeX sees them. When that happens, wrap the expression in the math component, which passes the body through untouched:

\[\hat{\theta}_{\text{MLE}} = \arg\max_{\theta} \sum_{i=1}^{n} \log f(x_i \mid \theta)\]
Three boxes joined by arrows
Isolation layers, left to right. A colocated image, resized at build time.

Open questions#

  • Where does the policy live, and who can change it?
  • What is logged when it is violated, and who reads the log?