GEB is like Git. Git is fundamentally a DAG, that’s it. It’s beautiful. But it’s expressed via a bunch of tortured confusing words like refspecs, detached heads

GEB is like Git. Git is fundamentally a DAG, that’s it. It’s beautiful. But it’s expressed via a bunch of tortured confusing words like refspecs, detached heads, tree-ish’s, and on and on. GEB is a love letter to some beautiful elegant ideas, but it’s expressed via a confusing assortment of record players, tortoises, and puns. One StackOverflow answer made the incompleteness theorem more clear to me than this whole book.