The QNFO familyQNFOQWAVq08PapersAsk
QNFO Papers
PapersAsk the corpusIdeasArchiveAboutWork with me

Open research library

Papers you can read, cite and question

728 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.

Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.

Ultrametric 115Quantum foundations 108Error correction 97p-adic 82Valuation theory 79Numbers & arithmetic 62Bruhat–Tits trees 61Spacetime & cosmology 59Knowledge integrity 58Thermodynamic budgets 58Standard model 56Laws of Form 50Information theory 46Spectral analysis 46Adelic 45Energy of computing 44Research operations 44Anyons & topology 43AI agents 42Funding & strategy 40Metrology 40Stabilizer formalism 40Category theory 38Replication 36Teaching 35Choosing a platform 34Computation theory 34Quantum biology 34Tree geometry 34Formal verification 33Foresight 32Numeral systems 30Qubits 29Energy benchmarking 27LLM systems 26Superconducting 26Hardware platforms 22Policy & oversight 22Statistical audits 20Benchmarking 15Proof assistants 13All 41 tags →

Results for “distinction” 1 paper

Proof assistants. Machine-checked proofs (Lean, Isabelle, Coq) Tagged papers: 13.

  1. Logic & formalism

    Automated Formal Verification and Combinatorial Reduction of Distinction-Based Calculus

    The foundation of modern formal mathematics has historically rested upon Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), a container-based ontology that often conflates zero with the empty set and necessitates arbitrary constraints to prevent self-reference. To systematically evaluate…

    ReadQuick readAsk about it
    Formal verificationProof assistants

New papers by email

One short weekly digest: titles and links. No tracking; unsubscribe any time.

Keep exploring

One body of research, three doors.

QWAV: quantum computing in joulesTen interactive demos, the JPCUB benchmark and the p-adic architecture.Ask the corpusQuestions answered only from the papers, with a citation for every claim.Idea threadsWhat is being asked, and what gets studied next.q08: systems-level essaysWhat happened in technology stories, and the system behind it.