Foundations 2002 – 2007
Mathematics & Informatics
T ⊢ Axioms → Structures
Systems 2003 – 2022
Visual Programming
∀t: T ∈ Aut(vvvv)
Open Source 2010 – present
Proof of Work
dim Repos(T) ≥ 75
Current 2018 – present
Real-Time AI & Systems
T: AI ∧ GPU → ℝ-Time