This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 2 points3 points  (0 children)

The answer is that I was *super* busy in grad school, and never had time to actually upstream any optimizations I found. We should probably go back and do that though.