Pinned Loading

1. -P-NP-Formal-verfication-in-Lean-4 -P-NP-Formal-verfication-in-Lean-4 Public

   Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.

   Lean 3 1

2. moonlight-kernel moonlight-kernel Public

   Project Moonlight: The Neuro-Symbolic Polyglot Kernel

   Python 5

3. EROS---Make-Your-AI-Help-You-Date EROS---Make-Your-AI-Help-You-Date Public

   Skill file to make your AI help you with the ladies. (Or guys)

   7

4. IDA-illusion-of-digital-awareness IDA-illusion-of-digital-awareness Public

   AI Consciousness: The Asymptotic Illusion of Artificial Agency—A Quantum-Topological Proof of Consciousness Non-Computability via Orchestrated Objective Reduction and Penrose-Lucas Arguments

   3

5. torsion-control-network torsion-control-network Public

   Mathematical framework for controlling LLM behavior via information-geometric torsion

   Python 3

6. yaplint yaplint Public

   A voice for your AI and a linter to hold it. A century of communication craft as an output style - plainer for non-experts, nothing dumbed down.

   Python 6