DebateLab @ KIT
Users following debatelab
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
metamechanic
metamechanic
An Independent researcher trying to do my little bit...
Sunshine Coast, Australia
Oscar Neto
oscaromsn
dev/lawyer composing legal reasoning and functional programming to build agentic systems
University of São Paulo São Paulo, Brazil
Eyssette
eyssette
Philosophy teacher, sharing educational resources and developing open-source softwares. Climber and urban cyclist!
Enseignant – Education nationale France
František Kalvas
frantisek901
Chief data analyst & Assistant professor at University of West Bohemia in Pilsen
Pilsen, Czech Republic
Allen Roush
Hellisotherpeople
"Hell is other peoples code" - Jean Paul Sartre, if he were a software engineer
@Oracle University of Oregon
