BeigePapers

James Watkins

Github: sibarum

X: @DoozerDiffuser

• Mathematics
  • Constructive Operational Type Theory (COTT)
    A comprehensive overview of COTT, informally written for broad audiences.
  • COTT Reference Notebook
    A notebook with all the latest rules, identities, and derivations.
  • The Dyadic Chebyshev Tower
    Exact phase algebra by applying Chebyshev Recurrence to the invertible zero.
  • Traction Theory
    My attempt at formally defining an algebraic implementation of COTT, following the principles of PEM
  • Mirror Calculus
    A deep dive into the calculus of the zero-lifted log/exp involution
  • Algebraic Matrices
    Full-featured matrix abstraction arising entirely from algebraic structure
• Software
  • COTT Calculator
    A calculator app written in Python with SymPy
  • Vectorized Feature Sets
    Deterministic encodings for sets of structured features
  • Discrete Physics
    A high performance softbody physics engine for realtime matter simulation
• Hot Takes
  • Cantor's Diagonalization
    "Uncountability" of type theory's axiomatic contradiction
  • Quantum Inferiority
    The impracticality of quantum computation.
  • Gödel's Nihilism
    Nothing is perfect, so why try?
  • The Thermoelectric Figure of Merit
    How to prevent scientific advancement for decades without controversy
  • The Axiom of Choice
    Unearned assumptions swept under the rug

"BeigePapers" is a play on words, meaning "not quite whitepapers," in the sense that it hasn't been peer-reviewed or published through any official channels, unless otherwise noted.

Everything here is a work-in-progress. The goal is to document everything from "barely an idea" to "full-fledged theory" and everything in-between. This format is intended to be more casual, speculative, and experimental. You may find typos, grammatical errors, or inconsistencies. If you do, you're welcome to contribute! These pages are hosted on a Github repository.

Whitepapers are typically intended for print media, which are quite limited in their capabilities. Printed copies don't support interactivity, and often have difficulties in copy+pasting text even if exported to a portable PDF format with expensive software.

BeigePapers may contain interactive demonstrations, math equations can be copied and pasted to anywhere, and yet the page can still be printed without losing content or wasting precious ink.