researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)

ID: 111924972

linkhttp://joomy.korkutblech.com calendar_today06-02-2010 16:29:04