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.

PrimeMover comments on Open thread, Jan. 12 - Jan. 18, 2015 - Less Wrong Discussion

6 Post author: Gondolinian 12 January 2015 12:39AM

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

Comments (155)

You are viewing a single comment's thread. Show more comments above.

Comment author: PrimeMover 18 January 2015 08:57:23PM 0 points [-]

I started writing one of those back in 2005 when my MMath finished. After writing over 1000 pages of loosely-packed LaTeX I discovered ProofWiki which had only just started up. Been writing for it ever since. But I still have that original LaTeX and can at a pinch generate the PDF again (although it's seriously iffy in places).

In the meantime if you want to join ProofWiki (google it) then if you can handle the iron-rigid rules for contribution, you'd be more than welcome.

Comment author: babblefish 18 January 2015 11:09:11PM 0 points [-]

When you say "Started writing one of those" Do you mean a blog in general, or a "simple mathematics of everything" in particular? 1000 pages is a pretty decent contribution. What happened to all those pages?

I've encountered proof wiki before- its certainly a useful resource, but perhaps not precisely what I am working towards.