research-program

Research internships + summer programs for undergraduate students worldwide (NASA, CERN, Max Planck, +100 more)

Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest.

An open-source philosophy of architecture for constructing, auditing, and rebuilding possibility — and for examining who and what shapes the builders.

An annotated map of work adjacent to the Arithmon program, from information geometry to structural realism. One entry per work: what it claims, how it relates (convergent, divergent, orthogonal), and the precise delta. A living document, growing with every reading and every contact.

研究判断可大规模委托给非人行动者后，社会制度与学科如何重写。 | Study how institutions and disciplines change when judgment can be delegated to non-human actors at scale.

The hypothesis: the dimensionless constants of physics are counts, arithmetic and topological invariants of a compact geometry, with no continuously adjustable parameter. This repository is the program's charter and its list of open problems.

Jekyll source for panta-rhei.site — the public research observatory for a coherent theory of reality.

Organization profile and shared community-health defaults for the Panta Rhei Research Program.

A Thermodynamic Heuristic Framework for the Birch and Swinnerton-Dyer Conjecture

Mindseed Research portal site (research.pyol.net) — bilingual (JA/EN) Astro site

Archimedes 5-year research program (Y0Q3): full workspace incl. err/log archives; H5/H10 refuted, one Bonferroni-significant positive.

Engagement hub: onboarding, discussions, review guidance, routing, contribution policies, and structured scrutiny.

Artifact and release layer: monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata.

A template and format for describing a research program: space, thesis, open problems, roadmap, terms. With a lint, an HTML renderer and a review skill.

Theseus public-interest research program contract

Public research workspace: notebooks, scripts, import reports, data transforms, experiments, and exploratory support.