On page 29, Knuth says, "We can regard both variables and clauses as active agents, who continually tweet to their neighbors in this social network." This in the context of statistical physics.<p>Seeing Knuth talk about tweets feels weird.<p>On another note, anyone actually run into a random k-SAT problem in "real life"?