Thinking·OS

Graph explorer

Explore the knowledge graph

Closure is derived from Lambda calculus. Activate to inspect this relation.Compiler constrains Operational Semantics. Activate to inspect this relation.Compiler depends on Abstract Syntax Tree. Activate to inspect this relation.Compiler requires Parsing. Activate to inspect this relation.Compiler depends on Source code. Activate to inspect this relation.Denotational Semantics applies to Lambda calculus. Activate to inspect this relation.Dynamic Typing is a Type system. Activate to inspect this relation.Garbage Collection enables Memory Safety. Activate to inspect this relation.Interpreter requires Parsing. Activate to inspect this relation.Lambda calculus is analogous to Turing machine. Activate to inspect this relation.Operational Semantics applies to Lambda calculus. Activate to inspect this relation.Parsing enables Abstract Syntax Tree. Activate to inspect this relation.Polymorphism is part of Type system. Activate to inspect this relation.Programming paradigm applies to Programming language. Activate to inspect this relation.Static Typing enables Memory Safety. Activate to inspect this relation.Static Typing is a Type system. Activate to inspect this relation.Type Inference applies to Static Typing. Activate to inspect this relation.Type Inference is part of Type system. Activate to inspect this relation.Type system is derived from Lambda calculus. Activate to inspect this relation.Type system is part of Programming language. Activate to inspect this relation.Type theory is derived from Lambda calculus. Activate to inspect this relation.InterpreterParsingAbstract Syntax TreeCompilerSource codeOperational SemanticsLambda calculusTuring machineClosureDenotational SemanticsType systemType theoryProgramming languageDynamic TypingPolymorphismStatic TypingType InferenceProgramming paradigmMemory SafetyGarbage Collection
Relationship types

16 concepts viewed through this lens. Bridge concepts connect this view to Computational Complexity, Computer Science, Logic, Software Engineering….

Legend
  • Focused concept
  • Connected concept
  • Bridge concept (just outside the lens)
  • Arrow points from cause / source to effect / target
  • A line with no arrow is a two-way relationship
  • Node colour marks the concept’s primary discipline
20 concepts21 relationships6 disciplines5 relation families

Interpreter

Open concept →

At a glance

An interpreter executes a program directly by evaluating its constructs without a separate compilation to machine code.

Disciplines
Programming Languages
Role in the graph
Leaf concept
Relationships
1 · 1 relation families

What am I looking at?

In this lens (16)

Bridge concepts (4)

Just outside the lens — they connect it to other context.

  • Programming language2
    Computer Science, Software Engineering · connects to Programming paradigm, Type system
  • Source code1
    Computer Science, Software Engineering · connects to Compiler
  • Turing machine1
    Computational Complexity, Computer Science, Theory of Computation · connects to Lambda calculus
  • Type theory1
    Logic · connects to Lambda calculus

Insights from this view

Structural observations about the concepts shown here — descriptions of this graph, not claims about the world.

  • This view connects 6 disciplines: Computational Complexity, Computer Science, Logic, Programming Languages, Software Engineering, Theory of Computation.
  • Compiler is a bridge concept — viewed here through Computer Science, Programming Languages, Software Engineering.
  • The connections here span 5 relation families.

Relationships as a list

The focused concept’s relationships. Pick another concept in the graph above to update this list.

Explore through a different lens

A lens is a deterministic projection of the graph. Pick a discipline, thinking pattern or journey to reframe the whole view.

By discipline

ChemistryBiologyPhysicsMathematicsComputer ScienceGeologyMineralogyEconomics

By thinking pattern

Bayesian updatingCause and effectCompoundingConservationConstraintsDefense in depthDiffusion & spreadEmergenceEnergy transformationEntropy & irreversibilityEquilibriumFeedback loopIncentivesInformationLevels & hierarchyModularityNetworksOptimizationOscillationProbabilityRecursion & self-similarityScaleSignal vs noiseSource–pathway–receptorStocks and flowsSymmetry & invarianceThresholds & tipping pointsTrade-offsTriangulationVariation & selectionWaves

By journey

From a Leaf to the ClimateWhy Music Moves UsHow Machines LearnReasoning about a Leaf and the Climate

Concept collections

Concept collections are curated lenses onto the fabric — themed sets of ideas that recur across disciplines. They are not journeys; they are a way to read the graph.

About this view

What this is

Start from one concept and expand outward. The view never shows everything at once — click a node to refocus, filter by relationship type, or switch to an accessible list.

One fabric

3750 concepts and 5051 typed relations form one connected component — no isolated silo.

How to read it

Focus a concept, or apply a lens (discipline, mental model, journey) to see only the threads that matter.