This is a repository for my research, paper reading summaries/reviews, and relevant blog-like posts in markdown.


This blog series will explore the use of solver-aided languages in domain specific contexts. Some domains that I am specifically interested in are:

While the field of solver-aided languages has been introduced to me via Lindsey Kuper at UC Santa Cruz, some of these ideas are motivated by questions I commonly ask myself: “what if we applied this idea to this topic?” or “what if we combine these ideas which seem related?”

Thoughts and To-do

Until I fill this series out more, I want to keep a running tally of ideas: