I'm JoomyA nickname for Cumhur, [d͡ʒumhuɾ] in Turkish IPA,
"joom hoor" in English approximation.
I prefer Joomy unless you speak Turkish.
Korkut, a computer scientist who is interested in programming language theory, formal verification, and linguistics. My academic website is here and my CV is here.

In my free time, I play the fretless bass, occasionally recite and translate poetry, and sing a bit. Oh, and the Wesleyan newspaper interviewed me once.

You can reach me at joomy@type.systems, but I'll probably reply much faster on Twitter.

Recent blog posts

After ICFP 2018
Posted on September 30, 2018, by joomy, in: conference, pl, haskell, idris
I spent a week at the main functional programming conference and got to talk to my heroes, so here are some reflections.

The diacritic omission phenomenon
Posted on November 18, 2017, by joomy, in: language, turkish
Omitting the diacritics is a common phenomenon in languages such as Turkish and Serbo-Croatian. Then why isn't there any research on this?

Scoped implicit conversions for Idris
Posted on November 14, 2017, by joomy, in: idris, proposal
The Idris community is not so fond of implicit conversions, I think they're a useful and powerful tool that are easy to misuse. Here's an idea to fix them.

Feed | All posts...

Browse: conference (1), haskell (5), idris (2), keyboard (1), language (2), logic (1), mac (1), meta (1), pl (1), poetry (1), programming (1), prolog (1), proposal (1), teaching (1), translation (1), turkish (2), tutorial (1), vim (1), wesleyan (1)