@krismicinski @rntz Awesome! Can't wait to see what they get up to. I think "programming" (whatever that means) in egg/egglog/datalog/something-else-log is ripe right now!