Daniel's Blog

Welcome to my blog. Here, I write about various subjects, including (but not limited to) functional programming, compiler development, programming language theory, and occasionally video games. I hope you find something useful here!

• Personal Software with the Help of LLMs

  1803 words, about 9 minutes to read.

  In the previous post in this series, I wrote about a little utility I created for detecting underlined words in a book and creating vocabulary study material for them. Like I …

• Generating Flashcards from PDF Underlines

  1937 words, about 10 minutes to read.

  TL;DR: I, with the help of ChatGPT, wrote a program that helps me extract vocabulary words from PDFs. Scroll just a bit further down to see what it looks like.

• Reasons to Love the Field of Programming Languages

  3366 words, about 16 minutes to read.

  I work at HPE on the Chapel Programming Language . Recently, another HPE person asked me: So, you work on the programming language. What’s next for you?

• Chapel's Runtime Types as an Interesting Alternative to Dependent Types

  3933 words, about 19 minutes to read.

  One day, when I was in graduate school, the Programming Languages research group was in a pub for a little gathering. Amidst beers, fries, and overpriced sandwiches, the professor …

• Implementing and Verifying "Static Program Analysis" in Agda, Part 9: Verifying the Forward Analysis

  5258 words, about 25 minutes to read.

  In the previous post, we put together a number of powerful pieces of machinery to construct a sign analysis. However, we still haven’t verified that this analysis produces …

  Latest in series: Implementing and Verifying "Static Program Analysis" in Agda

• Microfeatures I Love in Blogs and Personal Websites

  3125 words, about 15 minutes to read.

  Some time ago, Hillel Wayne published an article titled Microfeatures I’d like to see in more languages . In this article, he described three kinds of features in programming …

• Integrating Agda's HTML Output with Hugo

  4001 words, about 19 minutes to read.

  One of my favorite things about Agda are its clickable HTML pages. If you don’t know what they are, that’s pages like Data.List.Properties ; they just give the code …

• The "Deeply Embedded Expression" Trick in Agda

  2470 words, about 12 minutes to read.

  I’ve been working on a relatively large Agda project for a few months now, and I’d like to think that I’ve become quite proficient. Recently, I came up with a …

• Bergamot: Exploring Programming Language Inference Rules

  2420 words, about 12 minutes to read.

  Inference Rules and the Study of Programming Languages In this post, I will talk about inference rules, particularly in the field of programming language theory. The first …

• My Favorite C++ Pattern: X Macros

  4182 words, about 20 minutes to read.

  When I first joined the Chapel team, one pattern used in its C++-based compiler made a strong impression on me. Since then, I’ve used the pattern many more times, and have …