concept
active
concept:memo-tries

Memo Tries

Data structure generalizing Pair and Stream via indexable containers; demonstrates denotational design on memo structures

Neighborhood — ranked by edge-count

Communities (1)

community

Concepts (2)

concept
  • Stream
    associated_with
    An infinite sequence data type with semantics as functions from Nat to a.
  • Pair
    associated_with
    A data type of two identical values, with denotational semantics as functions from Bool to a.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

  • memoryconcept0.739
    The central topic, treated as a dynamic, agential process rather than static storage.
  • Ackley's concept of computing systems that dynamically compensate for indeterministic substrates, analogous to biological control structures
  • Message Passingframework0.717
    Traditional parallel programming model requiring explicit point-to-point communication; Linda generalizes this via tuple spaces.
  • intention checkingconcept0.716
    Task of checking a model's intentions; found by Lindsey (2026) to peak at ~1/2 depth.
  • A response containing multiple distinct attempts to answer the prompt, used as primary metric for ESR
  • Secondary metric: percentage of responses containing multiple attempts, separating surface from actual self-correction
  • Thinking stepsconcept0.705
    Segments of reasoning separated by \n\n tokens used as the unit of analysis in ReflCtrl
  • Memesconcept0.702
    Units of cultural information; cited as an analogy for bioelectric control hijacking.