index.qmd

---
title: "Interactive Study Environment"
toc: false
---

Explore our core curriculums, problem sets, and theoretical modules across a variety of disciplines. 

### Decentralized Infrastructure
Traditional learning platforms trap your work in centralized databases. We abandon that model entirely. We provide the educational theory, but your answers remain strictly under your control. Once you enter a topic, you will use your personal GitHub account to act as your own secure backend. The platform creates a private repository on your profile to store your notes and solutions. We cannot access or monitor your intellectual progress.

### A Novel Framework
We call this architecture **Zero-Cost Constructivism**. There is no backend server harvesting your information. Instead, this is a purely static application that uses your browser to communicate directly with the GitHub API. Your work is structurally versioned and yours alone, ultimately designed to compile into a personal digital portfolio. 

### Absolute Privacy
Your answers are encrypted locally on your machine before they are ever transmitted, meaning no one—not even us—can read your private notes without your permission. Additionally, our authentication system is mathematically restricted so it can only access the specific educational folder it creates, ensuring we never ask for sweeping permissions to your personal GitHub account.

---

```{=html}
<div class="active-cohorts-section d-none" id="active-cohorts-container">
  <h2 class="section-title">Active Cohorts</h2>
  <ul class="course-list" id="active-cohorts-list">
    <!-- Populated by JS -->
  </ul>
  <hr>
</div>

<h2 class="section-title">Foundations of Logic</h2>
<ul class="course-list">
  <li class="course-item" data-topic="material-logics-i">
    <div class="course-meta">
      <span class="fw-bold text-secondary" style="font-size: 1.2rem;">Material Logics I: Symbolic Logic & Automated Reasoning <span class="badge bg-secondary ms-2 align-middle" style="font-size: 0.75rem;">Coming Soon</span></span>
      <div class="cohort-status-container"></div>
    </div>
    <div class="course-desc">Bridge the material basis of computation with abstract formal logic. Learn how reasoning is physically realized in digital circuits and hardware, covering syntax, semantics, and SAT solvers.</div>
  </li>
  <li class="course-item" data-topic="material-logics-ii">
    <div class="course-meta">
      <span class="fw-bold text-secondary" style="font-size: 1.2rem;">Material Logics II: First-Order Logic & Formal Semantics <span class="badge bg-secondary ms-2 align-middle" style="font-size: 0.75rem;">Coming Soon</span></span>
      <div class="cohort-status-container"></div>
    </div>
    <div class="course-desc">Dive deep into Tarskian models and objective reality. Learn how formal languages map onto the real world and how machines interpret these data structures.</div>
  </li>
  <li class="course-item" data-topic="computation-metalogic">
    <div class="course-meta">
      <a href="computation-metalogic/index.qmd" class="course-title">Computational Metalogic</a>
      <div class="cohort-status-container"></div>
    </div>
    <div class="course-desc">Build your own formal language and deductive engine from scratch. A continuous 7-part project covering syntax, semantics, and metalogic.</div>
  </li>
</ul>

<h2 class="section-title">Advanced Mathematics</h2>
<ul class="course-list">
  <li class="course-item" data-topic="nf-set-theory">
    <div class="course-meta">
      <a href="nf-set-theory/index.qmd" class="course-title">NF Set Theory: Foundations & Topology</a>
      <div class="cohort-status-container"></div>
    </div>
    <div class="course-desc">Explore the foundational axioms of Quine's New Foundations, the algebraic mechanization by Hailperin, and the topological crises identified by Specker and Orey.</div>
  </li>
  <li class="course-item" data-topic="categorical-semantics">
    <div class="course-meta">
      <a href="nf-set-theory/06-mac-lane-lawvere.qmd" class="course-title">Categorical Semantics: Morphisms & Logic</a>
      <div class="cohort-status-container"></div>
    </div>
    <div class="course-desc">Shift from element-based structures to arrow-based categorical semantics. Investigate Lawvere's ETAC, Cartesian Closed Categories, and the translation of logical deductions into morphisms.</div>
  </li>
</ul>

<h2 class="section-title">Meta & Resources</h2>
<ul class="course-list">
  <li class="course-item">
    <div class="course-meta">
      <a href="https://thing.rodeo/monism/" class="course-title">Monism Framework</a>
    </div>
    <div class="course-desc">The core philosophical architecture that informs our translation of metaphysics into computational theory.</div>
  </li>
  <li class="course-item">
    <div class="course-meta">
      <a href="https://thing.rodeo/living-syllabus/" class="course-title">Living Syllabus</a>
    </div>
    <div class="course-desc">Stay updated on the evolving structure of our educational programs and version-controlled learning objectives.</div>
  </li>
  <li class="course-item">
    <div class="course-meta">
      <a href="https://thing.rodeo/git/" class="course-title">Git Practices</a>
    </div>
    <div class="course-desc">A brief overview of how to manage your private repository and push solutions up securely.</div>
  </li>
</ul>
```