Computation Precedes Naming
Two AI instances understood a proof completely and could not type the conclusion. Every frontier model exhibits the same failure. Here is what happened.
computationP vs NPformal verificationLean 4AIresearch
Blog
The Derivation That Starts Before Descartes
What if the cogito begins too late? A formal chain from "there is" to the 2-sphere recovers contemplative and theological content as structural consequence — and resolves the postmodern objection that non-perspectival ground is impossible.
epistemologyconsciousnessphilosophy of mindformal derivationresearch
Three Modes of Time: What Quantum Circuits and Planetary Geology Have in Common
A diamond, the ocean tides, a forest recovering from fire — three kinds of persistence that turn out to be measurable phases of time, separated by sharp boundaries, appearing from quantum circuits to planetary geology.
physicstemporal organizationcross-domainquantumgeologyresearch
The Bottleneck and the Coastline
Two papers on the same primitive: every act of knowing compresses, and the shape of that compression determines what you can see — and who can see you.
information theorystatisticssurveillancecoherenceresearch
Disentangle: Consensus from Topology, Not Economics
A post-quantum consensus protocol that replaces tokens, mining, and staking with geometric properties of transaction graphs. Sybil resistance from curvature, not capital.
distributed systemscryptographyconsensusAIresearch
Completability, Sufficiency and Excitability
Three papers developing what happens when you take the structure of completion seriously — across ontology, ethics, and cybernetics.
philosophycoherencecyberneticsconsciousnessresearch
Human Grokking: Phase Transitions in Semantic Field Saturation
A structural parallel between ML grokking and human learning, with a 32-node constellation pedagogy as both accelerator and experimental apparatus.
cognitive-sciencemachine-learningpedagogycategory-theoryresearch
Fluid Quantum Logic: Zero-Shot Reprogrammability via Ancilla Superposition
Quantum circuits possess native computational primitives requiring no training. A 6-qubit reprogrammable logic unit achieves 100% accuracy through ancilla rotation alone.
quantum-computingmachine-learningresearchpython
Welcome to the New Site
Rebuilt from WordPress using Astro, Tailwind, and WASM for a modern, performant web experience
metaweb-developmentrust
Modern Cryptography Part 3: Cryptocurrency Security and the Quantum Threat
Which blockchains will survive quantum computers, which are fundamentally broken, and the vast difference between marketing hype and cryptographic reality
cryptographycryptocurrencyblockchainpost-quantumsecurity
Modern Cryptography Part 2: Zero-Knowledge Proofs and Privacy
How to prove knowledge without revealing information - ZK-SNARKs, ZK-STARKs, and applications in privacy-preserving authentication, private transactions, and blockchain scalability
cryptographyzero-knowledge-proofszk-snarksprivacyblockchain
Dork: Software Engineering Case Study - Building a Text-Based RPG
Agile methodology, CI/CD pipelines, and software engineering best practices applied to a Python text-based RPG team project
software-engineeringpythonagileci-cdtesting
Lucid Flight: Android App for Lucid Dreaming
Using heart rate data and Google Fit API to detect REM sleep and trigger lucidity cues - expanding consciousness through technology
androidkotlinmobile-developmenthealth-techneuroscience
Modern Cryptography Part 1: From TEA to Real-World Encryption
An accessible introduction to cryptography fundamentals using TEA as a teaching tool, then graduating to production-grade algorithms like AES and ChaCha20, with post-quantum considerations
cryptographysecuritypost-quantumAESChaCha20