Books and history
16 min readAncient Civilizations
Comparative ancient history for early cities, states, scripts, trade networks, material evidence, source criticism, and knowledge-graph modeling.
External memory / working map
CompendiumKirchnerianum
A living collection of notes, references, fragments, models, and observations kept as external memory and working map.
Search by title, summary, tag, content world, or graph artifact.52 matching entries for all topics. Small screens initially show 15.
15 shown / 52 total
- Books and history15 min read
Ancient Egypt
Ancient Egypt as a Nile civilization: chronology, statecraft, writing systems, religion, architecture, art, daily life, archaeology, and digital Egyptology.
- Books and history16 min read
Ancient Sumer
Ancient Sumerian civilization, history, city-states, writing system, religion, daily life, and contributions to human civilization.
- Art and perception15 min read
Anomalies
Scientific anomalies as evidence that does not fit the current model, plus methods for separating weak signals, bad instruments, fraud, and genuine frontier questions.
- Art and perception16 min read
Art
Art as visual memory, material evidence, symbolic system, designed attention, and a graphable record of works, makers, media, collections, and interpretations.
- Technology15 min read
Blogs And Blogrolls
Blogs, blogrolls, feeds, webrings, archives, IndieWeb discovery, and the craft of keeping independent web writing readable and connected.
- Books and history15 min read
Bookbinding
Bookbinding as the craft, conservation practice, and material record of turning sheets into durable books with structure, handling behavior, provenance, and graphable object metadata.
- Books and history15 min read
Books
Books as readable works, physical artifacts, bibliographic records, editions, collections, preservation objects, and durable nodes in a knowledge graph.
- Formal systems15 min read
Category Theory
Category theory as a language for objects, morphisms, composition, functors, natural transformations, universal properties, adjunctions, monads, semantics, databases, and applied structure.
- Art and perception15 min read
Consciousness
Consciousness as subjective experience, reportable awareness, attention, agency, neural evidence, philosophical boundary problem, and AI-era moral-status question.
- Technology15 min read
Data Sources
Data sources are the provenance, licensing, schema, freshness, and access layer behind reliable datasets, archives, APIs, catalogs, and knowledge graphs.
- Technology15 min read
Data Storage
Data storage, backups, fixity, archival media, preservation formats, restore discipline, object storage, and long-term data stewardship.
- Art and perception15 min read
Data Visualization
Data visualization as the craft of turning measurements, relationships, uncertainty, and comparisons into readable visual evidence.
- Art and perception15 min read
Design
Design turns intent, evidence, constraints, and systems into usable visual, informational, interactive, and physical form.
- Technology15 min read
Domain Names
Domain names as durable internet identifiers: DNS, registries, redirects, canonical URLs, email trust, certificates, provenance, and web identity.
- Technology15 min read
GitHub Repository Quality
GitHub repository quality as a public trust surface for source code, documentation, releases, automation, security, licensing, provenance, reproducibility, and discovery.
- Technology15 min read
GPU Programming
GPU programming for CUDA, ROCm, OpenCL, WebGPU, ML kernels, memory hierarchy, profiling, parallel execution, and performance-aware numerical computing.
- Formal systems15 min read
Graph Theory
Graphs as a mathematical language for networks, algorithms, structure, proof, computation, search, visualization, and knowledge representation.
- Technology15 min read
Graphs
Graphs as data structures, knowledge representations, databases, visualization surfaces, retrieval infrastructure, and provenance-aware maps of entities, claims, and relationships.
- Technology15 min read
Hacker Culture
Hacker culture as a craft tradition around curiosity, systems literacy, playful mastery, technical rigor, public learning, and responsible security boundaries.
- Technology15 min read
Human-Machine Interaction
Human-machine interaction is the design and evaluation of usable, accessible, multimodal, and accountable interfaces between people, software, sensors, robots, AI systems, and physical tools.
- Technology16 min read
Industrial Products
Industrial products as durable parts, tools, materials, instruments, and supplier records, with taxonomy, traceability, safety standards, and sourcing heuristics.
- Books and history15 min read
Language
Language as a structured human system for speech, sign, writing, meaning, social action, data representation, and computational language technology.
- Formal systems15 min read
Linear Algebra
Linear algebra as the study of vector spaces, matrices, linear maps, bases, decompositions, spectra, numerical stability, embeddings, graph operators, tensors, and search.
- Technology16 min read
Maps
Maps, GIS, cartography, projections, elevation models, LiDAR, geospatial data, web maps, and the craft of representing place.
- Formal systems15 min read
Mathematics
Mathematics as a durable language for structure, quantity, proof, symmetry, abstraction, modeling, computation, examples, and knowledge graphs.
- Books and history16 min read
Mining History, Manuscripts, and Archaeology
Historical method for archives, material evidence, manuscripts, archaeology, provenance, digital humanities, and AI-assisted interpretation of the past.
- Technology15 min read
Multimodal AI
Multimodal AI combines text, images, audio, video, structured data, and actions so models can perceive and reason across more than one representational channel.
- Art and perception15 min read
Music
Music as sound, notation, performance system, recording practice, metadata problem, archive, interface, and audio-visual knowledge object.
- Formal systems15 min read
Number Theory
Number theory as the study of integers, primes, congruences, Diophantine equations, zeta functions, arithmetic geometry, computation, proof certificates, and cryptographic structure.
- Technology41 min read
OSINT
Open Source Intelligence (OSINT) is the collection and analysis of information that is gathered from public or open sources.
- Technology15 min read
Overlanding
Overlanding as self-reliant vehicle travel: route planning, navigation data, field systems, communications, maintenance, ethical land use, documentation, and trip archives.
- Art and perception15 min read
Philosophy
Philosophy as disciplined inquiry into knowledge, reality, value, mind, language, science, argument structure, and responsible action.
- Art and perception16 min read
Photography
Photography as the technical and artistic practice of recording light, preserving attention, metadata, provenance, rights, and visual evidence.
- Books and history17 min read
Print [Printing And Printmaking]
Print as reproducible physical media: printmaking, books, photographs, paper, color, editions, preservation, digitization, and durable cultural memory.
- Technology15 min read
Professional Societies & Organizations
A practical guide to professional societies, academic organizations, standards bodies, special interest groups, and their role as knowledge infrastructure.
- Technology15 min read
Python
Python as a practical programming language for scripting, data work, automation, scientific computing, AI tooling, runtime contracts, and maintainable application glue.
- Reference notes16 min read
Rules of Thumb
Practical heuristics, approximations, calibration habits, and measurement shortcuts for reasoning quickly without confusing estimates for proof.
- Technology15 min read
Rust Programming Language
Rust as a memory-safe systems language for reliable command-line tools, web services, embedded software, WebAssembly modules, and performance-critical infrastructure.
- Technology15 min read
Semantic Web
The Semantic Web is the idea that the Web should carry machine-readable meaning through stable identifiers, shared vocabularies, linked data, and queryable knowledge graphs.
- Technology16 min read
Semantics
Semantics is the study of meaning across language, logic, symbols, programming languages, data models, ontologies, knowledge graphs, AI systems, and machine-readable web infrastructure.
- Technology20 min read
SEO [Search Engine Optimization]
Search engine optimization is the practice of making useful web content crawlable, indexable, understandable, linkable, fast, accessible, and trustworthy enough to earn durable search visibility.
- Technology15 min read
Software Libraries
Software libraries as reusable contracts: dependency selection, package trust, ecosystem health, API surfaces, runtime fit, security posture, and maintenance risk.
- Books and history15 min read
Symbols
A source-backed guide to symbols, pictograms, signs, icons, care labels, technical marks, and the standards that make them legible across languages and contexts.
- Technology15 min read
Technical Standards And Specifications
A source-backed guide to technical standards, specifications, profiles, registries, conformance, versioning, and interoperability across the web, Internet, data, text, and APIs.
- Formal systems15 min read
Theorem Proving
Theorem proving as machine-checked reasoning: proof assistants, automated provers, SMT solvers, proof certificates, equality saturation, formal mathematics, and software verification.
- Formal systems15 min read
Topology
Topology as the mathematics of continuity, spaces, invariants, holes, manifolds, deformation, and shape-preserving structure across data, maps, graphs, and proofs.
- Technology15 min read
Training Neural Networks
Practical guidance for training neural networks: data inspection, baselines, debugging, overfitting, regularization, evaluation, and scaling.
- Technology15 min read
Transformers
Attention-based neural network architectures for modeling relationships across tokens, modalities, documents, code, and long contexts.
- Formal systems15 min read
Type Theory
Type theory as a formal language for programs, proofs, invariants, semantics, dependent types, and machine-checked mathematical structure.
- Technology15 min read
WebAssembly (WASM)
WebAssembly is a portable binary instruction format and sandboxed execution target for compiled code across browsers, servers, plugins, edge systems, and component runtimes.
- Technology16 min read
wget for Web Archival
Responsible use of GNU Wget for retrieving files, mirroring allowed content, preserving public web resources, recording provenance, and keeping captures auditable.
Mobile list
+37The first 15 notes keep the mobile view light. Open the complete list when you want every result in one pass.
Knowledge graph3.8K nodes / 6.6K edges
- nodes
- 3.8K
- edges
- 6.6K
- claims
- 16.1K
- worlds
- 5
full network explorer
Articles, worlds, topics, and typed paths.
3D encoding
- altitude
- worlds and topics rise; sections and sources descend
- size
- larger nodes carry more visible paths
- depth
- sources, notes, and abstractions occupy separate z-bands
- glow
- selected node and its immediate routes
node grammar
worldsbroad content domains4
topicsrecurring concepts389
articlescompendium notes52
sectionsarticle outline anchors0
sourcesoutside source references0
path grammar
active lens
Orient / worlds, topics, article bridgesquery / Theorem Provingall relationsall worlds52 articles / 0 sections / 0 refs / 389 topics / 4 worlds
Copies the current graph view URL.
search matchesranked
Focused 3D graph. Drag to orbit the scene. Arrow keys move through linked nodes. Enter centers the selected node. Plus and minus zoom. Home fits the graph.
Selected graph node: Theorem Proving. all relationships. 32 keyboard routes: article links to Semantics; article links to Technical Standards And Specifications; topics to model checking; topics to type theory.
warming graph renderer
Orient / 445 nodes / 1515 paths
node lens / 20 linked