You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

MrMind comments on Open Thread, Apr. 06 - Apr. 12, 2015 - Less Wrong Discussion

4 Post author: philh 06 April 2015 02:18PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (128)

You are viewing a single comment's thread.

Comment author: MrMind 09 April 2015 07:15:46AM 2 points [-]

I'm trying to wrap my mind around Hay's "Universal semimeasures", where he proves some very interesting equivalences.
In order to follow all the derivations, it would be very useful if there was a tool to draw binary trees and do some outlining of the branches, sub-trees, etc. Do you know of anything like that?