IlyaShpitser comments on Open thread, Nov. 23 - Nov. 29, 2015

[IlyaShpitser]

People are working on changing that (at CMU for example).