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.

Switching to Kinesis Advantage
Posted on August 10, 2017, by joomy, in: keyboard, mac, vim
My new keyboard and related workflow changes

Starting a Haskell student forum at Wesleyan
Posted on June 1, 2015, by joomy, in: haskell, wesleyan, teaching
I will be giving lectures on Functional Programming in Haskell next semester.

Language immersion for linguistic freaks
Posted on May 4, 2015, by joomy, in: language
My reflection on how I felt when I was adapting to an English-speaking environment.

An impractical pseudo-Prolog
Posted on December 5, 2014, by joomy, in: prolog, logic, programming, haskell
I built a pseudo-Prolog that tries to answer queries by building the least Herbrand model, as a final project for a class. I chose to build it in Haskell to take advantage of lazy evaluations, but even then I couldn't handle infinite sets.

Testing the waters with poetry translation
Posted on November 30, 2014, by joomy, in: turkish, poetry, translation
I translated a couple of famous Turkish poems to English. It turns out that translation is fun and tough. I'll also ramble a bit about adaptation to the US.

Hakyll seems awesome
Posted on November 22, 2014, by joomy, in: meta, hakyll, markdown, latex, mathjax, haskell
I started a blog with Hakyll.