= 27d567bc2d48d9f40e9ccc20ea370b15)
PrimeMover comments on Open thread, Jan. 12 - Jan. 18, 2015 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (155)
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.
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.