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