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?

In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.

In my talk I hope to convince you that disequalities deserve some love too.

I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.

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 🧵⬇️