Excited to introduce TerraDS, the first large-scale dataset of Terraform (by @hashicorp.com) configurations written in HCL, sourced exclusively from open-source repositories with permissive licenses to support reproducible research and tool development.

SIGBOVIK 2025 proceedings are out! Check out paper 17 👀 sigbovik.org/2025/proceed...

A little landscape painting. 512x256. Using Aseprite, mouse and a lot of passion.

What if your color scheme was a program?

I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo. If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️