Sign in

George Zakhour

@grgzkhr.bsky.social
25 followers 43 following 5 posts

PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) grgz.me

PostsRepliesMedia
Reposted by George Zakhour
David Spielmann @spdavid.bsky.social · 26/04/2025
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.
222 0
George Zakhour @grgzkhr.bsky.social · 24/04/2025
🔥🤓👨‍💻📄🎉
000 0
George Zakhour @grgzkhr.bsky.social · 23/04/2025
SIGBOVIK 2025 proceedings are out! Check out paper 17 👀 sigbovik.org/2025/proceed...
sigbovik.org
010 0
Reposted by George Zakhour
Soma @somartist.bsky.social · 17/04/2025
A little landscape painting. 512x256. Using Aseprite, mouse and a lot of passion.
471782346 0
Reposted by George Zakhour
Alexander Bandukwala @bandukwala.me · 09/04/2025
What if your color scheme was a program?
1162 0
George Zakhour @grgzkhr.bsky.social · 21/01/2025
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.
001 0
George Zakhour @grgzkhr.bsky.social · 21/01/2025
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.
101 0
George Zakhour @grgzkhr.bsky.social · 21/01/2025
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 🧵⬇️
111 0