About me

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 science master's student at Wesleyan University. I'm an aspiring academic who is interested in programming language theory and linguistics. My CV is here.

Currently I'm working on and a way to extend the editor features of Idris, a dependently typed language and proof assistant, through metaprogramming. My goal is to produce a system in which one can use Idris metaprograms in the editor to write Idris code more easily, and even automatically.

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

You can reach me at joomy@cattheory.com, but I will probably reply much faster on Twitter.

Recent blog posts

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.

Writing a Template Haskell library for GHC.Proof
Posted on September 16, 2017, by joomy, in: haskell, tutorial
GHC.Proof is a great hack and I wanted to add another hack on top of it. It is simple enough that it could serve as a Template Haskell tutorial for others.

Feed | All posts...

Browse: hakyll (1), haskell (4), idris (1), keyboard (1), language (2), latex (1), logic (1), mac (1), markdown (1), mathjax (1), meta (1), poetry (1), programming (1), prolog (1), proposal (1), teaching (1), translation (1), turkish (2), tutorial (1), vim (1), wesleyan (1)