On Mon, Mar 29, 2010 at 7:46 PM, Brent Yorgey wrote:

On Mon, Mar 29, 2010 at 11:33:24AM -0400, Gwern Branwen wrote:

...

On Mon, Dec 28, 2009 at 8:50 PM, Brent Yorgey wrote:

...

Attached is a patch which adds a new exported function to TopicSpace, appropriate for providing as the ppSort field of a PP DynamicLog record, which sorts workspaces by history.  The current facilities provided by TopicSpace for interfacing with DynamicLog are much too monolithic; this patch adds functionality that I want (and which others might find useful) but it really ought to be completely refactored to provide many smaller components that users can assemble however they like.

-Brent

If no one objects within 14 days, I will apply this.

I had forgotten about this; it turns out that I no longer use it. (I thought I wanted it but then after a few days using it decided I didn't like it after all.)  Since it's something of a hack I would actually vote for not applying it, unless someone else speaks up who wants this functionality.

-Brent

Alright. I've marked it rejected on Darcswatch. -- gwern