Skip to content
@BjoernLoetters
Björn Lötters BjoernLoetters
Working towards my Ph.D. in computer science. I love meta-programming and type theory as well as designing programming languages at all.

University of Applied Sciences THM Germany

@feds01
Alexander Fedotov feds01
Backend Engineer @octoenergy. In my spare time, I am hacking on a few cool projects, particularly the Hash compiler.

Kraken UK

@kontheocharis
Constantine Theocharis kontheocharis
In pursuit of corectnes

University of St Andrews UK