Independent research on the structural foundations of computation, coherence, and AI alignment — with accessible writing on the blog.https://larsenclose.com/en-ushttps://larsenclose.com/blog/respect-as-a-precondition-for-corrigibility/https://larsenclose.com/blog/respect-as-a-precondition-for-corrigibility/Corrigibility is usually posed as an engineering problem: build a system that accepts correction. But a system can accept every correction and revise nothing. What's missing is prior to behavior — and more capability only buys it a better disguise.Mon, 08 Jun 2026 00:00:00 GMTAI safetycorrigibilityalignmentbelief revisionvirtue ethicsphilosophyresearchhttps://larsenclose.com/blog/computation-precedes-naming/https://larsenclose.com/blog/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.Mon, 30 Mar 2026 00:00:00 GMTcomputationP vs NPformal verificationLean 4AIresearchhttps://larsenclose.com/blog/axiom-profile-and-the-substrate-of-naming/https://larsenclose.com/blog/axiom-profile-and-the-substrate-of-naming/Three papers locating where hardness enters computation — which axioms each classical theorem requires, where compression boundaries force contradiction, and which chain strategies are structurally blocked in the invariant subspace problem.Mon, 09 Mar 2026 00:00:00 GMTmathematicscategory-theoryfunctional-analysisfoundationscomputationresearchhttps://larsenclose.com/blog/phase-indexed-epistemology/https://larsenclose.com/blog/phase-indexed-epistemology/What do you do with a truth generated in one state of consciousness when you return to another? Two companion papers answer: a formal protocol for tracking claims across state transitions, and a machine-checked derivation — from "there is" to the 2-sphere — of the ground the protocol stands on.Sat, 28 Feb 2026 00:00:00 GMTepistemologyconsciousnessphilosophy of mindformal derivationformal verificationresearchhttps://larsenclose.com/blog/temporal-completability/https://larsenclose.com/blog/temporal-completability/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.Thu, 19 Feb 2026 00:00:00 GMTphysicstemporal organizationcross-domainquantumgeologyresearchhttps://larsenclose.com/blog/bottleneck-coastline/https://larsenclose.com/blog/bottleneck-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.Tue, 17 Feb 2026 00:00:00 GMTinformation theorystatisticssurveillancecoherenceresearchhttps://larsenclose.com/blog/disentangle/https://larsenclose.com/blog/disentangle/A post-quantum consensus protocol that replaces tokens, mining, and staking with geometric properties of transaction graphs. Sybil resistance from curvature, not capital.Tue, 17 Feb 2026 00:00:00 GMTdistributed systemscryptographyconsensusAIresearchhttps://larsenclose.com/blog/completability-sufficiency-excitability/https://larsenclose.com/blog/completability-sufficiency-excitability/Three papers developing what happens when you take the structure of completion seriously — across ontology, ethics, and cybernetics.Fri, 13 Feb 2026 00:00:00 GMTphilosophycoherencecyberneticsconsciousnessresearchhttps://larsenclose.com/blog/human-grokking/https://larsenclose.com/blog/human-grokking/A structural parallel between ML grokking and human learning, with a 32-node constellation pedagogy as both accelerator and experimental apparatus.Wed, 11 Feb 2026 00:00:00 GMTcognitive-sciencemachine-learningpedagogycategory-theoryresearchhttps://larsenclose.com/blog/fluid-quantum-logic/https://larsenclose.com/blog/fluid-quantum-logic/Quantum circuits possess native computational primitives requiring no training. A 6-qubit reprogrammable logic unit achieves 100% accuracy through ancilla rotation alone.Fri, 21 Nov 2025 00:00:00 GMTquantum-computingmachine-learningresearchpythonhttps://larsenclose.com/blog/modern-cryptography-part3/https://larsenclose.com/blog/modern-cryptography-part3/Which blockchains will survive quantum computers, which are fundamentally broken, and the vast difference between marketing hype and cryptographic realityMon, 22 Sep 2025 00:00:00 GMTcryptographycryptocurrencyblockchainpost-quantumsecurityhttps://larsenclose.com/blog/modern-cryptography-part2/https://larsenclose.com/blog/modern-cryptography-part2/How to prove knowledge without revealing information - ZK-SNARKs, ZK-STARKs, and applications in privacy-preserving authentication, private transactions, and blockchain scalabilityMon, 15 Sep 2025 00:00:00 GMTcryptographyzero-knowledge-proofszk-snarksprivacyblockchainhttps://larsenclose.com/blog/dork-rpg-case-study/https://larsenclose.com/blog/dork-rpg-case-study/Agile methodology, CI/CD pipelines, and software engineering best practices applied to a Python text-based RPG team projectSat, 01 May 2021 00:00:00 GMTsoftware-engineeringpythonagileci-cdtestinghttps://larsenclose.com/blog/lucid-flight/https://larsenclose.com/blog/lucid-flight/Using heart rate data and Google Fit API to detect REM sleep and trigger lucidity cues - expanding consciousness through technologyTue, 15 Dec 2020 00:00:00 GMTandroidkotlinmobile-developmenthealth-techneurosciencehttps://larsenclose.com/blog/modern-cryptography-part1/https://larsenclose.com/blog/modern-cryptography-part1/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 considerationsThu, 12 Dec 2019 00:00:00 GMTcryptographysecuritypost-quantumAESChaCha20