Tebjan Halm

T: Formal Structures → Real-Time Outputs

Foundations 2002 – 2007
Mathematics & Informatics
T ⊢ Axioms → Structures
HFT Stuttgart HS Hannover
Systems 2003 – 2022
Visual Programming
∀t: T ∈ Aut(vvvv)
vvvv
Open Source 2010 – present
Proof of Work
dim Repos(T) ≥ 75
GitHub NuGet Stride
Current 2018 – present
Real-Time AI & Systems
T: AI ∧ GPU → ℝ-Time
Refik Anadol Studio JHH Livepeer