We are building cognitive infrastructure for the next trillion minds.
Autopoietic ergodicity and situated cognition.
A research-grade substrate for decentralized computing, designed for extreme robustness and verifiable correctness across distributed systems, formal verification, and capability-based security.
Problem
Information integration has exceeded human bandwidth.
Systems demand real-time synthesis, yet context is fragmented across networks and applications.
- Complexity of information makes technology indispensable for cognition at scale.
- Contexts are scattered across networks and apps, shaped by socioeconomics and infrastructure.
- Whole-system approaches fail when critical causal dependencies lie outside their control.
Solution
Topos construction for social cognition.
Democratize mathematical problem-solving and human-technology individuation and cooperation.
- Universal topos construction for social cognition and interoperable meaning spaces.
- Infrastructure and economic models for sense-making at scale.
- Intelligence amplification through compositional intent and decentralized coordination.
Background
Decentralized energy beginnings.
- Started in December 2022 focused on microgrid coordination and decentralized scientific expansion planning.
- IEEE1547 and IEEE2030 are underspecified; grids became causally open systems.
- Received a16z crypto accelerator funding grant ($500k, 7.5%).
- Coordination required modeling individual values, preferences, and information/resource flow.
Topos Construction
Social cognition as a compositional space.
- Shifted toward compositionality of intent and decentralized coordination.
- Build active models of individuals, across time and facets of digital dynamics.
- Localize thoughts and actions for rehearsal and refinement.
Time
Parallel systems cannot pretend time is sequential.
The brain, Internet, and grid are parallel processing systems. Belief propagation and control flow follow continuous dynamics, not linear time. Grid anomalies often leave no time for network round trips, requiring reflective equilibria and local decision coherence.
Research & Development
Core areas of inquiry.
Cognitive Continuity
topOS as a co-generative layer adding social cognition to existing networks and ecosystems.
Context-Specific Languages
Syntax-to-semantics affordances that form a topological space for joint modeling.
Index of Good Vibes
Real-time information flow with fixed-point tracking and topological conjugacy classes.
Architecture
Mathematical rigor with protocol-level invariants.
VM operations become belief revision.
I. The Hard Substrate
- Massively concurrent execution with non-blocking I/O and object-like virtual environments.
- Capability-based security with unforgeable references and cryptographic introductions.
- Resilient topology with proximity proofs ensuring routing locality matches physical reality.
II. The Formal Laws
- State transitions modeled as belief revision; invalid operations are rejected by axioms.
- Invariants prevent arbitrary duplication or destruction of resources.
- Local-to-global consistency: verified clusters imply global integrity without central coordinators.
III. The Translation Layer
- Memory-safe, zero-copy translation between runtime and logic layers.
- Pre-validation of inputs before touching execution logic.
- High-performance routing for formal instructions and proofs.
Capability Network
Object-capability transport and formal tooling.
zig-syrup
High-performance Zig implementation of OCapN Syrup with CapTP optimizations and Agent Client Protocol for capability-based networking. Includes computational topology and visualization primitives.
Repositorymorph-prover-cli
CLI environment for proof-oriented workflows and experimentation with verification tools.
RepositoryCitations
Foundational references.
- Towards Foundations of Categorical Cybernetics
- Passive Inference is Compositional, Active Inference is Emergent
- Organizing Physics with Open Energy-Driven Systems
- Semantic Unification: A Sheaf Theoretic Approach to Natural Language
- Towards a Research Program on Compositional World-Modeling
- Compositional Game Theory
waiting for NATS color.index...
NATS color.index subject