YonedaAI
Popular repositories Loading
-
condensed-representation-theory-of-physics
condensed-representation-theory-of-physics PublicToward a Condensed Representation Theory of Physics — a modular 7-part series on condensed mathematics, representation theory, and emergent spacetime (LaTeX + Haskell + Lean + Next.js).
TeX 1
-
japl
japl PublicA typed actor language for building reliable distributed systems and AI agents. Compiles to WASM, runs on a Rust runtime with real processes, supervision, and LLM effects.
TeX
-
minimal-runtime-axiom
minimal-runtime-axiom PublicThe Minimal Runtime Axiom: Runtime is proof of ignorance. A type-theoretic and category-theoretic formalization.
TeX
-
yoneda-constraint
yoneda-constraint PublicThe Yoneda Constraint as a universal axiom: unifying Godel, the measurement problem, compiler bootstrap, and AI alignment under one categorical principle.
TeX
-
PosTree
PosTree PublicGenerate social media posts from source content, publish to 33+ platforms via Postiz
TypeScript
-
Repositories
- adelic-polarization-conjecture Public
Research papers and Lean proofs on prime-adjoining adelic correspondences, local sign obstructions, and the arithmetic polarization problem.
- arithmetic-positivity-program Public
Structural arithmetic geometry, Weil positivity and finite Connes approximations: three research papers, Lean transfer theorems, and explicit open arithmetic comparisons.
- agent-algebra Public
An Algebra of Agents: five papers and a synthesis proving compositional laws for agents as effectful Mealy coalgebras, with a TypeScript reference layer and a mobile-first site
- claude-skills Public
Claude Code plugins and skills marketplace — research-agent pipeline with multi-agent orchestration, Gemini peer review, Haskell verification, and Vercel deployment
- agentic-engineering Public
A five-part research series arguing that software engineering is being redefined as agentic engineering through specifications, contracts, orchestration, and verification.
- agent-engineering Public
Agentic Engineering: a five-paper series showing how memory, skills, protocols and the harness of an AI agent interpret the ArchAgents Architecture triple (G, Know, Phi), checked against ContextFS, AgentHero and CatDB at pinned commits
- foundations-of-agentic-economics Public
Foundations of Agentic Economics — five peer-reviewed papers: money as obligation, agentic production, post-income taxation, the agentic clearing protocol, and a Global Agentic Economic Constitution. LaTeX, PDFs, and website.
- gravity-and-information-geometry Public
Eight-paper research program on when Einstein gravity is the leading infrared consistency law of reconstructed quantum information geometry, with Lean, Haskell, and MathML readers.
- hott-riemann-hypothesis-vol6 Public
A Lean 4 reduction of the Riemann Hypothesis via Yoneda detection and Hardy model spaces. Volume VI.
- foundational-reformulation Public
A categorical-condensed reconstruction program for geometry, quantum theory, and kinetic theory
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…