Blog posts
-
Intrinsic vs. extrinsic verification. October 30, 2024.
Tracing the origin of the terms "intrinsic" and "extrinsic" in formal verification and programming languages.
-
After ICFP 2018. September 30, 2018.
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. November 18, 2017.
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. November 14, 2017.
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. September 16, 2017.
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.
-
Starting a Haskell student forum at Wesleyan. June 1, 2015.
I will be giving lectures on Functional Programming in Haskell next semester.
-
Language immersion for linguistic freaks. May 4, 2015.
My reflection on how I felt when I was adapting to an English-speaking environment.
-
An impractical pseudo-Prolog. December 5, 2014.
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. November 30, 2014.
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. November 22, 2014.
I started a blog with Hakyll.