researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅 posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.
Profil ze zdalnego serwera może być niekompletny. Zobacz więcej na oryginalnej instancji.