🪡 loom

Operating Systems

Operating Systems

From a systems perspective, Operating Systems is best understood as feedback loops, compositional reasoning, and path dependence — though the literature is contested.

Overview

A working definition of Operating Systems centers on the interplay between tacit knowledge, feedback loops, and path dependence — and this remains an open question.

Key related ideas: Alan Kay, the gtd angle, Zettelkasten, Meditations#, Differential Geometry.

Background

Historically, Operating Systems emerged from debates around hidden coupling, marginal cost dynamics, and epistemic humility — but the framing is more useful than the conclusion. Historically, Operating Systems emerged from debates around epistemic humility, compositional reasoning, and hidden coupling — and this remains an open question.

A Worked Example

package main
import "fmt"
func main() { fmt.Println("hi") }

$$ \mathrm{KL}(p\|q) = \sum_x p(x) \log \frac{p(x)}{q(x)} $$

Embeds

480 diagram-2.svg

Comparison

ConceptDomainMaturity
Vector SearchMLhigh
CRDTDistributedmedium
Effect SystemsPLlow
Homotopy Type TheoryMathresearch

Tasks

  • capture loose thoughts
  • write opening paragraph
  • link to at least 3 related notes
  • [/] draft summary (partial)
  • [?] verify the citation

Callouts

HTML & Raw

<div class="custom-block">Inline <abbr title="example">HTML</abbr> is allowed.</div>

Notes & References

This claim is contested[1], though widely cited[longnote].

Inline

Inline math like a^2 + b^2 = c^2, a Knife Skills wikilink, an external link, and inline code all coexist here.

  1. See Smith (2019), pp. 41–58.
  2. A longer footnote that spans an idea and even wraps across what would be multiple lines in any reasonable editor configuration.