Monster Mountain (http://code.google.com/p/mmtn/),
LaTeXML (http://dlmf.nist.gov/LaTeXML/) and a little bit
on Hunchentoot (http://weitz.de/hunchentoot/).
So far, I learned that my old Monster Mountain "Multi-User
Semantic Network" code works as I had left it -- but there
will be a lot of hacking left to do. Sphinx installed, but
there will be some configuring to do. I did get
LaTeXML working as evidenced by this webpage:
http://metameso.org/~joe/vacuous2.html
Hunchentoot will have to wait until tomorrow or later.
I also did a quick scan through the PlanetMath corpus;
an initial survey of the way users have made their
bibliographies.
Vis a vis search: I was musing about the possibility of
storing each word that's input in any form in a separate
record, then putting in links to the places where the
words appear. That would be a lot of words and links;
I should ask Aaron Krowne about this.
More thoughts about organizations: building an organization
that develops policy is a great idea, but the policy's
going to need to go somewhere (we need a meta-policy
that isn't just talk).
0 comments:
Post a Comment