Thinking·OS

Graph explorer

Explore the knowledge graph

Software is part of Computer. Activate to inspect this relation.Central processing unit is part of Computer. Activate to inspect this relation.Computer program is part of Software. Activate to inspect this relation.Computer program depends on Machine code. Activate to inspect this relation.Programming language is part of Computer. Activate to inspect this relation.Computer memory is part of Computer. Activate to inspect this relation.Machine code is a Programming language. Activate to inspect this relation.Pseudocode depends on Programming language. Activate to inspect this relation.Data type is part of Programming language. Activate to inspect this relation.Object-oriented programming applies to Programming language. Activate to inspect this relation.Functional programming applies to Programming language. Activate to inspect this relation.Functional programming is analogous to Object-oriented programming. Activate to inspect this relation.Type system is part of Programming language. Activate to inspect this relation.Programming paradigm applies to Programming language. Activate to inspect this relation.Type system is derived from Lambda calculus. Activate to inspect this relation.PseudocodeProgramming languageMachine codeComputerType systemProgramming paradigmData typeObject-oriented programmingFunctional programmingComputer programSoftwareCentral processing unitComputer memoryLambda calculus
Relationship types
Legend
  • Focused concept
  • Connected concept
  • 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
14 concepts15 relationships4 disciplines4 relation families

At a glance

In computer science, pseudocode is a description of the steps in an algorithm using a mix of conventions of programming languages with informal, usually self-explanatory, notation of actions and conditions.

Disciplines
Computer Science
Role in the graph
Leaf concept
Relationships
1 · 1 relation families

Insights from this view

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

  • This view connects 4 disciplines: Computer Science, Logic, Programming Languages, Software Engineering.
  • Computer program is a bridge concept — viewed here through Computer Science, Software Engineering.
  • The connections here span 4 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.