IDENTITY

CODEBOY

FOCUS LOOP

Research to product.

RESEARCH

questions · models · evidence

δ(domain, question) = next_domain

COMPUTATIONAL STACK

Theory becomes software.

TCS / RESEARCH

Structure before syntax.

Γ ⊢ d : DataΓ ⊢ a : Algorithm

Γ ⊢ a(d) : Solution

TCS structure → proofRESEARCH question → evidence

CONTACT

Build something
strange & useful.

codeboycb@gmail.com