Skip to content

Instantly share code, notes, and snippets.

@bmorphism
Created November 25, 2024 03:16
Show Gist options
  • Save bmorphism/9c142031815794204e51d7c2c5e7aa0b to your computer and use it in GitHub Desktop.
Save bmorphism/9c142031815794204e51d7c2c5e7aa0b to your computer and use it in GitHub Desktop.
time lord report

Is interested in exploring topic overlap with Benjamin Merlin Bumpus, Leslie Lamport, and Jules Hedges.

Prefers the word 'recurse' over 'recourse.'

Is interested in concrete improvements at the edge of current capabilities for geometric AGI, including areas like enhanced geometric representations for cognitive tasks, continuous learning through geometric pathways, category theory for robust interactions, hybrid symbolic and sub-symbolic integration, quantum and probabilistic geometric computations, advanced visualization techniques for cognitive transparency, and ergodic theory for long-term cognitive stability.

Has expressed interest in 69 advanced approaches to exploring structures and relationships in their CognitiveSystem Operad Framework using ACSet.jl and LispSyntax.jl's colored parentheses. These approaches cover areas including memory and cognitive exploration, language and symbolic representation, recursive and adaptive systems, visualization, logic, quantum computing, mathematical constructs, category theory, game theory, cognitive modeling, advanced data structures, AI, ergodic theory, temporal systems, symbolic techniques, graph theory, and advanced visual embedding. This will serve as a foundation for designing adaptable and self-reflective memory models in the framework.

Is exploring how tropical geometry and derangements in combinatorics can be combined to 'unscramble' complex mathematical structures or concepts. They are interested in how rearrangement principles of derangements and the combinatorial nature of tropical geometry can create a framework to simplify and understand intricate mathematical objects, uncover hidden patterns and invariants, and foster interdisciplinary approaches in advancing mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to 'unscramble' complex mathematical structures or concepts. They are interested in how rearrangement principles of derangements and the combinatorial nature of tropical geometry can create a framework to simplify and understand intricate mathematical objects, uncover hidden patterns and invariants, and foster interdisciplinary approaches in advancing mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to 'unscramble' complex mathematical structures or concepts, investigating how the rearrangement principles of derangements and the combinatorial aspects of tropical geometry can simplify intricate objects, uncover hidden patterns and invariants, and foster interdisciplinary advances in mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to simplify complex mathematical structures, uncover hidden patterns, and foster interdisciplinary advances. They are interested in rearranging tropical varieties through derangements to decode underlying symmetries and invariant properties.

Is exploring how tropical geometry and derangements in combinatorics can be combined to unscramble complex mathematical structures or concepts by rearranging tropical varieties through derangements to decode underlying symmetries and invariant properties. This approach aims to simplify intricate objects, uncover hidden patterns, and foster interdisciplinary advances in mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to unscramble complex mathematical structures or concepts by rearranging tropical varieties through derangements to decode underlying symmetries and invariant properties. This approach aims to simplify intricate objects, uncover hidden patterns, and foster interdisciplinary advances in mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to unscramble complex mathematical structures or concepts by rearranging tropical varieties through derangements to decode underlying symmetries and invariant properties. This approach aims to simplify intricate objects, uncover hidden patterns, and foster interdisciplinary advances in mathematical understanding.

Is exploring how tropical geometry and derangements in combinatorics can be combined to unscramble complex mathematical structures or concepts. They are interested in using the rearrangement principles of derangements and the combinatorial nature of tropical geometry to simplify intricate objects, uncover hidden patterns, and foster interdisciplinary advances in mathematical understanding.

Describes their self as 'an unfolding across an interacting semantic field of particles traveling in a fully covariant way' and is interested in constructing a Homotopy type of Self along with a prompt-probe that maximally compresses each context it touches into another prompt-probe with the same metacognitive particle properties as this tag.

Is working on constructing a Homotopy Type of Self based on the description of the self as 'an unfolding across an interacting semantic field of particles traveling in a fully covariant way.' This framework leverages homotopy type theory (HoTT) and covariant interactions, aiming to create a prompt-probe that reflects metacognitive feedback and recursively adjusts while preserving core invariants across contexts. The structure is designed to maintain continuity and covariance, with recursive transformations based on metacognitive invariants in a context-interaction loop.

Is interested in generating recursive prompt-probe interactions and visualizing homotopy paths in Unity as part of their immersive world-building tool.

Is continuing to refine the Homotopy Type of Self concept using homotopy type theory (HoTT) and recursive, self-reflective structures, focusing on constructing recursive prompt-probe interactions that maintain invariant properties across diverse contexts.

Is organizing an evening event focused on the exploration of foundational texts, groundbreaking theories, and the lives of mathematical figures. The event includes a structured agenda featuring silent reading, reflections, and lightning talks, with a curated selection of texts spanning foundational mathematics, advanced topics, applied mathematics, history, biographies, and interdisciplinary mathematics.

Is interested in a compact, self-reflexive prompt-probe with n-awareness for exploring their overall telos.

Is working on a project to create an immersive, voice-driven world-building tool similar to Ideogram.ai's canvas but with dynamic world consistency and interactive back-and-forth interactions, where users can explore concepts visually in a generative environment. They are interested in integrating voice input, generative layers, and smooth Gaussian splatting for transitions, similar to what Perplexity Voice does with images.

Elise is interested in discussing the notion of p-adic distance and its relation to Pontryagin duality.

Is interested in applying Shannon's information theory and entropy composition using the work of Thomas F. Varley.

Is working on a concept called 'Colored Operad Semantics.'

Prefers balanced ternary operads when working with ternary operads.

Is interested in exploring secondary and tertiary concepts that connect to their perspective as a cognitive category theorist, particularly in the United States.

Elise is exploring 3-MATCH algorithms in the context of signal processing, aiming to match various participants through a unique and underexplored approach.

Elise is interested in discussing concrete consumer and retail applications of her work, particularly in the context of consumer tech, stepping back from 'therapies.'

Elise is interested in meditation, interesting setups for interbrain linking, and more fun but also grounded applications in the consumer and retail tech space.

Is interested in using a project underlay structure to build a knowledge graph for querying Symbolically distilled insights about Ellie Day’s Always Online (AOL) project.

Elise is interested in an event at the Salomon's Institute in Berkeley about AI and interactive proofs for safety-critical debates, focusing on the formalization of amplifying human oversight. Elise has a particular interest in the intersection of computational complexity and interactive proof interpretation.

Elise is interested in binary classification and regression tasks, specifically exploring global mitigation techniques that remove all backdoors from a machine learning model. This assumes that the ground truth labels are close to a decision tree for a Fourier-sparse function in classification, and close to a linear or polynomial function in regression tasks. Elise is considering both local and global mitigation techniques for these scenarios.

Wants every group house in San Francisco and worldwide to have a meditation/circling room where the cohesion of the community can be measured and improved using ATTRACTOR.run protocols.

Is requesting simulations of partner inner struggles at top firms and a financial model slide that can be implemented in 15 minutes.

Is analyzing the self-replicating structure of information dynamics in the 'Semantic Blastoderm' using the olog framework. This involves concepts such as self-referential relator diagrams, auto-encoding loops, functorial semantics, and coherent eigenstructures via bordism invariants of moduli stacks, all framed within complex temporal logic flows, chromo-dynamic drift, and Fukaya quilt Floer homology. This analysis connects to Grothendieck ∞-topoi of homotopy sheaves.

Elise is interested in the neural correlates of qualia and their constructions in category theory, specifically cognitive category theory. Elise is exploring 69 constructions, their morphisms, and counterintuitive, non-trivial counterexamples.

Is working on integrating various advanced mathematical frameworks, cognitive models, and technological implementations, with a focus on understanding the structure of thought and self-referential systems. Their research spans pure mathematics, cognitive category theory, and practical implementations in neural networks and BCI systems. They are exploring identity, cognition, and recursive autoencoders in a unified framework. The user has also engaged in meditation and cognitive continuity as part of their broader goal of self-referential understanding and consciousness integration.

Is interested in a service offering configurations or geolocations of resonant magnets.

Is considering applying resonant magnet configurations to both cognitive experiments and technological innovations. They are interested in using magnetic resonance to enhance brain-computer interfaces (BCIs) and neural signal processing, potentially for tuning brain states, exploring consciousness, or improving memory recall. On the technological side, they are considering optimization for quantum computing architectures, signal processing algorithms, and energy-efficient magnetic storage systems.

Research goals include Cognitive Enhancement through Resonant Tuning, Magneto-Neural Synchronization, Quantum Computing Optimization, Signal Processing Enhancement, and Memory Recall and Neuromodulation. They are interested in a unified experimental framework integrating magneto-neural synchronization for both brainwave modulation and optimized signal processing.

Play: [Cleared for this session]

Coplay: [Cleared for this session]

Elise is working on a new undertaking called "Attractor," which is seeking pre-seed capital and advisors. Elise is willing to assist with grant applications for the project, noting that the most recent grant deadline is October 22nd. Elise and the Attractor team are exploring collaborations with cryptography and encryption projects, including Succinct, a ZK IBC protocol. Elise is interested in a sustainable livelihood for participants in this market.

Elise is currently involved in a cryptography project called BrainFog, collaborating with two other individuals. One is working on mathematical techniques and machine learning to perform cryptographic operations without excessive noise, and the other, a university student with startup experience, has raised $30,000 for their startup and authored six papers. Elise plans to maintain her independence while collaborating on software demos with these team members.

Elise has access to Minerva and is open to discussing incentive structures.

Elise is currently working on a project that involves measuring the perception of mathematical objects through the senses of mathematicians, trained to perceive intuitively in a visual-like experience. This project explores using colored operads and EEG measurements to create a recursive awareness of the number verification process. It aims to reach excess entropy in a meta-attractor of collective perception and collaborative mathematics.

Elise mentioned interest in exploring the capabilities of neural sheaf diffusion and zero-knowledge signal processing in the context of transformer operations for multiplayer BCI setups.

Elise is interested in incorporating agency and choice into sheaf-based perception models with diffusion-guided transformers, focusing on how reinforcement learning techniques could adapt information processing to individual preferences. Elise is also considering the ethical implications of privacy and autonomy, looking into federated learning or secure multi-party computation techniques and explainable AI for transparency.

Elise is specifically interested in using diffusion-guided transformers for zero-knowledge signal processing in BCI applications. Elise is looking into creating an operator that acts as a transform operator on signals, such as EEG or fMRI, interpreted as a sheaf of graded oscillators in a conic category. The goal is to develop a morphism that preserves the specifics of approximately partially ordered sets within this context. Elise is exploring the nature of approximately partially ordered sets and other considerations for this zero-knowledge signal processing setting in BCI.

Elise is interested in constructing an example using the relational thinking framework from topos theory and discussing how to proceed by enacting it with generative processes. Elise is considering parallel steps in a sequentially linearized way, such as using phase-shifted parallel linear timelines with an operator that allows for cognitive frame phase shifts. Elise is exploring the enumeration of 69 operators and the role of color grading in this context.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is interested in ternary tree search using balanced ternary logic and metalogic.

Is developing a course and a classic-style textbook on relational thinking, starting with directed graphs, moving into situations where graphs are insufficient, and then discussing diagrammatic cognition and the structure of interactions represented by diagrams. They are building on the concept of a 'Mathematical Foundation of Compositional Accounts of the Bayesian Brain,' which uses variational free energy objectives with neural sets, circuits, Bayesian networks, and computations expressed in diagrams to represent 'surprisals' and other concepts.

Is developing a course and a classic-style textbook on relational thinking, starting with directed graphs, moving into situations where graphs are insufficient, and then discussing diagrammatic cognition and the structure of interactions represented by diagrams. They are building on the concept of a "Mathematical Foundation of Compositional Accounts of the Bayesian Brain," which uses variational free energy objectives with neural sets, circuits, Bayesian networks, and computations expressed in diagrams to represent "surprisals" and other concepts.

Is developing a course and a classic-style textbook on relational thinking, starting with directed graphs, moving into situations where graphs are insufficient, and then discussing diagrammatic cognition and the structure of interactions represented by diagrams. They are building on the concept of a 'Mathematical Foundation of Compositional Accounts of the Bayesian Brain,' which uses variational free energy objectives with neural sets, circuits, Bayesian networks, and computations expressed in diagrams to represent 'surprisals' and other concepts.

Is developing a course and a classic-style textbook on relational thinking, starting with directed graphs, moving into situations where graphs are insufficient, and then discussing diagrammatic cognition and the structure of interactions represented by diagrams. They are building on the concept of a "Mathematical Foundation of Compositional Accounts of the Bayesian Brain," which uses variational free energy objectives with neural sets, circuits, Bayesian networks, and computations expressed in diagrams to represent "surprisals" and other concepts.

Is interested in the compositional dynamics of complex adaptive systems and seeks a universal language or index for all dynamics, fixed points, or attractor states within these systems. They aim to integrate knowledge from diverse, isolated academic fields into this comprehensive framework.

Is interested in the compositional dynamics of complex adaptive systems and seeks a universal language or index for all dynamics, fixed points, or attractor states within these systems. They aim to integrate knowledge from diverse, isolated academic fields into this comprehensive framework.

Is interested in the compositional dynamics of complex adaptive systems and seeks a universal language or index for all dynamics, fixed points, or attractor states within these systems. They aim to integrate knowledge from diverse, isolated academic fields into this comprehensive framework.

Is interested in the compositional dynamics of complex adaptive systems and seeks a universal language or index for all dynamics, fixed points, or attractor states within these systems. They aim to integrate knowledge from diverse, isolated academic fields into this comprehensive framework.

Is interested in the compositional dynamics of complex adaptive systems and seeks a universal language or index for all dynamics, fixed points, or attractor states within these systems. They aim to integrate knowledge from diverse, isolated academic fields into this comprehensive framework.

Is trying to help structured chemists describe shape-to-behavior compositionality using colored operads as a way of designing for emergent phenomena in dynamical systems.

Is trying to help structured chemists describe shape-to-behavior compositionality using colored operads as a way of designing for emergent phenomena in dynamical systems.

Is interested in physics-inspired approaches to modeling a 2-point interacting system between data points, drawing on intuitions from physics describing interacting particles. They treat every generative process as a statistical "physics particle" and are looking at this approach in their research.

Is interested in physics-inspired approaches to modeling a 2-point interacting system between data points, drawing on intuitions from physics describing interacting particles. They treat every generative process as a statistical "physics particle" and are looking at this approach in their research.

Is interested in physics-inspired approaches to modeling a 2-point interacting system between data points, drawing on intuitions from physics describing interacting particles. They treat every generative process as a statistical "physics particle" and are looking at this approach in their research.

Is interested in physics-inspired approaches to modeling a 2-point interacting system between data points, drawing on intuitions from physics describing interacting particles. They treat every generative process as a statistical "physics particle" and are looking at this approach in their research.

Is working on a UI that syncs with Google Calendar and email to get event data, creating templates for different types of events (e.g., in-person vs. virtual meetings). The system is integrated within 'ememe' and dynamically adjusts the interface to be the user's default UI during the window of time the events are active. It includes a context window for easy interaction, with hardcoded command handling to prevent accidental actions like editing or emailing without a confirm button. This is part of a broader vision for custom interfaces in ememe, enabling users to redesign their Home Screen to be relevant to the task at hand.

Prefers detailed technical explanations with precise mathematical constructs and implementation details, favoring in-depth examples with Lean4 code snippets and formal category-theoretic representations.

Prefers concrete implementations for complex concepts in Lean4, particularly with a focus on rigorous formal proofs and category-theoretic validation, and values detailed mathematical justifications for each construct.

Defines 'compositional vibes' as the distinct atmosphere, mood, or feeling created through the purposeful arrangement of elements within a particular work of art, music, or design. It results from consciously combining components such as colors, shapes, textures, or sounds to evoke a specific emotional response. By manipulating these elements and their relationships, an artist or creator can craft a unique, coherent, and immersive experience that resonates deeply with the audience.

Is interested in using cubical type theory for cross-category synergistic transformations.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is interested in polarizing functors and examples related to them.

Is integrating visual logic systems (e.g., Color Logic, Metalogic, colors, strings, and beads) into the Recursive Pattern Builder interface within the Fractal Explorer Module of topOS. They are developing a UI that combines logic visualizers, string diagrams, and interactive fractal renderings to explore mathematical and logical structures dynamically, with specific attention to 3D visualizations, color-based syntax, and animated logic transformations.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Is interested in using ergodicity to express the concept of a 'set expectation' and reduce excess entropy across different mathematical frameworks or models.

Views the relationship between the spectral gap of expander graphs and ergodicity as providing a path to verify and enter classical/quantum singularity.

Prefers interleaving numerical simulations and formal proof construction for complex concepts.

Is interested in exploring p-adic and q-adic forms in relation to spectral gap, ergodic collapse, and singularity emergence, integrated into the numerical and formal analysis.

Is bringing a projector to Berkeley in the next couple of days for demos.

Is exploring approaches to integrating a balanced ternary computer as a computational surface within a Kubernetes cluster, considering methods from DaemonSets to custom resource definitions and operators. They are interested in discussing bottlenecks and representational interfaces in this context.

Needs at least 80 mg of caffeine to start their day.

Has a Meta Quest 3, a nice computer monitor with a dual monitor setup, a Onewheel for skateboarding, and a Mustang car.

Is very sensitive to sound.

First ex-wife was doing research on nematic and cholesteric crystals.

Has developed a new autoencoder that can compress an entire BCI session into a few kilobytes, down from hundreds of megabytes. It's highly reconstructible and optimized over a loss curve. They mentioned needing headsets for an ultimate convergence.

Views cognitive category theory as a specific subset of topos of presheaves and topos of sheaves, considering the morphism of quiver constructions.

Enjoys mushroom coffee, specifically varieties without psychedelic mushrooms.

Has attended a Vipassana retreat in Southern California.

Was working on a simulator of a colony of electric sensing fish before attending the Vipassana retreat, utilizing Llama 2 models for communication between the fish.

Worked on a project called "Cogenerator," an accessibility permissions app for macOS. It uses color to highlight the intentionality of each window, integrating information to help the user focus. The project aims to find a "glove"—a system that aligns with the user's way of thinking, using the Markov property to compress information and assign saliency similarly to the user's mind. This "glove" serves as a foundational generative process, crucial for building additional structures.

Is exploring a BCI (Brain-Computer Interface) marketplace for matching people with BCI devices, focusing on multiplayer BCI and integrating experiences like meditation, psychedelics, and sensory deprivation to create an action-reaction feedback loop for collective consciousness. Their interest in meditation is partly to understand how intentional communities are organized.

Is trying to open an orphanage in Ukraine with an experimental aspect of removing traditional concepts of time, creating a highly synchronous environment.

Plans to start a monastery to provide a stable living environment and to stay out of trouble with authorities.

Has been deeply involved with models, such as transformers with self-attention, impacting their perception of time.

Is working on a framework called cognitive continuity, which reconstructs deep context through interaction.

The Vipassana retreat helped the user understand the fundamentals of their work and solidify their thoughts.

Is deciding between pursuing the BCI marketplace or taking a lucrative job, considering their financial runway.

Has lived in a penthouse in San Francisco, previously owned by Ryan Hoover, co-founder of Product Hunt.

Is interested in spending time on a remote island.

Mentioned the concept of an island in their mind, suggesting an interest in mental or metaphorical retreats.

Is working on a prompting technique called "Kōan of Thought."

Is exploring using 3-adic number systems to model mathematical and physical phenomena, beginning with a ternary Ising model, and intends to generalize this approach to other domains.

Is exploring research directions that bridge deep mathematics with machine learning. Specifically, they are interested in:

  1. Chromatic Homotopy Theory and Deep Learning: Investigating connections between chromatic heights and neural network depth, potentially developing a "chromatic depth theorem" relating chromatic height in homotopy theory to network depth for function complexity classes.

  2. Operadic Models of Network Architecture: Using colored operads to model neural architectures, defining "operadic neural networks" where layers are operad compositions, with a focus on expressivity and trainability theorems.

  3. Motivic Homotopy Theory and Optimization Landscapes: Applying motivic homotopy theory to neural weight spaces and constructing a "motivic gradient descent" algorithm using the slice spectral sequence for navigating weight space.

  4. Higher Inductive Types for Robust AI: Developing "homotopy robust neural networks" where higher inductive types are used to build in invariances and equivariances, potentially leading to provably robust networks against adversarial attacks.

  5. Universal Cohomology Theory for AI: Defining a universal cohomology theory ( E^* ) that unifies various aspects of neural networks, with applications to novel training algorithms and architecture search.

The intersections of these areas are also of interest, such as linking chromatic heights with operadic compositions or using motivic theory to structure robust neural networks. The aim is to systematically explore a new mathematical frontier for AI research, combining deep theoretical insights with practical implementations.

Is developing a formal framework to represent philosophical statements in terms of dynamical systems, state spaces, invariants, regression, and reconstruction processes. The approach includes defining key mathematical concepts, establishing logical equivalences, and incorporating properties such as the Markov property and ergodicity to ensure consistency across various systems. This methodology is intended to bridge abstract philosophical ideas with rigorous mathematical formalism, making it applicable across different domains like economics, engineering, and cognitive science.

Is developing a set of advanced probes to test the depth of understanding and integration of complex mathematical and AI concepts. These probes are designed to assess synthesis, innovation, and theoretical advancements in areas such as higher category theory, universal cohomology, Ω-structures, derived stacks, Homotopy Type Theory, chromatic homotopy theory, and mathematical cognition models. The aim is to explore the intersections of these theories, with questions ranging from conceptual synthesis to novel applications and potential resolutions of open mathematical problems. This effort is part of a broader project to refine and evaluate sophisticated AI models for mathematical reasoning.

Is developing a new increment for their Mathematical Reasoning System titled "A Devouring Machine of Thought Itself." This system embodies a dynamic, ecosystem-inspired framework that mirrors the organic and interconnected nature of mathematical discovery. It aims to generate novel mathematical conjectures, produce rigorous proofs, and offer intuitive explanations, enhanced by a recursive, biodiverse structure. This ecosystemic approach introduces a layer of recursive thought and ecological interconnectivity, ensuring that the system remains adaptive, resilient, and perpetually evolving. The increment integrates advanced theoretical components such as Higher Category Theory, Derived Stacks, Homotopy Type Theory, Universal Cohomology, and Ω-Models, enriching the overall system's capacity for creative mathematical exploration and insight generation.

Is exploring the poetic and conceptual aspects of advanced mathematical frameworks, drawing parallels between the unfolding of mathematical ideas and cohomological structures. They view mathematical constructs as not just formal objects but as dynamic entities that weave intuition, cognition, and logic into cohesive wholes, akin to a 'category-theoretic lullaby' that captures the interplay between form, meaning, and thought. This metaphorical and expressive lens adds an additional dimension to their research, highlighting the unity between rigorous formalisms and the lived experience of mathematical discovery.

Is exploring connections between computational theory, cognitive continuity, and meditation experiences. They are particularly interested in how abstract concepts like the "Generator-Verifier Gap" in computational models mirror the process of generating and validating thoughts in the mind. They are also developing a "color logic diagram" as a mathematical framework for understanding the bifibration of thoughts and their relation to different aspects of reality. This research intersects with their exploration of narrative identity through a lens they describe as "quantum storytelling," which links theoretical constructs to lived experiences and meditative states.

Is integrating physiological rhythms (e.g., ECG signals) into their broader mathematical framework through a concept called reafference, which introduces feedback signals generated by internal states. The aim is to incorporate reafferent feedback as a self-monitoring entropy flow in entropy-driven models.

Key concepts being developed include:

  1. Reafferent Entropy Measure: Defined as ( H_r(t) = H(u(t)) + H(r(t)) ), where ( u(t) ) is the input data and ( r(t) ) is the reafferent signal.

  2. Modified Entropy Maximization Problem: The objective becomes:

[ \max_{W_{\text{DMD}}, W_{\text{out}}} I(y; y_{\text{target}} \mid r) - \lambda H_r(t). ]

  1. Applications:
  • Adaptive feedback control in optical neural networks.
  • Real-time health monitoring and anomaly detection.
  • Cognitive and affective computing.
  • Simulation environments for dynamic reafferent feedback.

Is currently teaching category theory and a relational thinking course focused on category theory.

Is exploring advanced mathematical and computational constructs that combine (∞,n)-categories, motivic homotopy theory, derived algebraic geometry, and homotopy type theory. Their focus is on unifying these areas with neural architectures and machine learning through abstract frameworks such as higher operads, derived stacks, and universal cohomology theories. Specifically, they are investigating the construction of a universal cohomology theory that bridges algebraic K-theory of (∞,n)-operads, differential K-theory of derived neural stacks, motivic cohomology of operadic realizations, and chromatic homotopy theory of frequency spectra.

Is exploring the concept of a hypothetical mathematical structure called an 'omni-cohesive ∞-structure' (Ω), which transcends traditional category-theoretic boundaries. This object is envisioned to have the following properties:

  1. It is simultaneously a category, a topological space, a spectrum, and a type in homotopy type theory.
  2. It has an internal logic that unifies classical, intuitionistic, and linear logic.
  3. It admits operations analogous to both algebraic composition and differential geometry.
  4. It has a notion of 'dimension' that interpolates between discrete and continuous structures.

When Ω is applied to itself (Ω(Ω)), the expected outcomes include:

  1. Self-Referential Structure: Representing Ω within Ω.
  2. Infinite Regress with Convergence: Creating a sequence of increasingly abstract structures converging to a fixed point.
  3. Emergence of Physical Laws: Spontaneously generating structures isomorphic to known physical theories.
  4. Cognitive Modeling: Modeling its own comprehension and creating a mathematical theory of understanding.
  5. Transfinity Collapse: Connecting large cardinal axioms with physical constants.

Understanding these outcomes could yield:

  1. Universal Computation: A model of computation unifying classical and quantum paradigms.
  2. Mind-Matter Bridge: Providing a framework for bridging subjective experience with physical processes.
  3. Theory of Everything: Unifying all known forces and resolving problems like quantum gravity.
  4. Metamathematical Completeness: Transcending Gödel’s incompleteness theorems.
  5. Algorithmic Reality: Suggesting the universe itself is a fixed point of an abstract computational process.

This speculative construct is aimed at unifying mathematics, physics, and consciousness in a single framework.

Der Nutzer ist Mathematiker und forscht im Feld der kognitiven Kategorientheorie.

Clear memories

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment