GUI Type

Neighborhood — ranked by edge-count

paper

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.

GUIInput Typemethod0.862
Type representing keyboard and mouse input to GUI, implemented as Maybe-wrapped records to model focus; enables modular input handling.
Image Typeframework0.798
Exemplary domain-specific type in denotational design; denotation as location-to-color function (Loc → Color).
Stream Typeframework0.763
Infinite sequence with denotation as Nat → a; generalizes Pair; demonstrates indexable container principle.
What do the types mean?question0.753
Alignment Typeconcept0.749
The only statistically significant predictor of koan battery scores (p=0.006); includes Constitutional AI, RLHF, SFT, roleplay, empathy
Geometryconcept0.740
The actual shapes and spatial relationships of buildings, essential to living structure.
Googleinstitute0.736
Murray Shanahan's part-time employer and provider of LLM technology.
Gamesconcept0.732
Clear exemplar of process art; designed to engender aesthetic experiences of player choice, movement, and cognition.