I love this back and forth (subscriber of Hillel Wayne; gonna bookmark this blog too)! I think the authors probably agree more than they disagree. There's proba

I love this back and forth (subscriber of Hillel Wayne; gonna bookmark this blog too)! I think the authors probably agree more than they disagree. There's probably energy around adding better graph support to mainstream languages, but I have significant doubts about whether or not Datalog will get traction there. It's really hard to get programmers to help themselves (I'm in this group FWIW--didn't use linting for waaaay too long), whether it's GC, Rust's ownership model, formal methods, flow analysis, Datalog, functional programming, blah blah. Maybe it's cultural, maybe it's some kind of deep/shared aesthetic amongst engineers, I don't know.