I am very lucky to have been accepted to the Google Summer of Code 2026, to be working under the Haskell Foundation in LiquidHaskell.
I still remember trying out LiquidHaskell for the first time a couple of years ago in my Formal Methods course, and being surprised that we can extend the language with liquid types via this library/plugin.
Lately I’ve been trying to figure out what works best for me when it comes to making my brain work and how to come up with actual original creative ideas. I have this feeling that I didn’t explore that as much as I should have during my undergrad years.
For this project I want to do something different: I will be documenting my learning progress and my creative process in here. I don’t know how to structure this yet, maybe I’ll dump everything I do in a week on a post, or maybe I will keep them thematic. I will figure it out eventually.
In the meantime I just want to say, it’s good to be back on the blog. I’ve never been consistent with this and hopefully this new approach will force me to develop a new habit.