May 10, 2013
Limited experience. I've coded mostly in C++ (though have dabbled in dozens of languages), but have recently been playing with AWS, capistrano, neo4j, ruby and node. Working on several existing projects, though also interested in paid work.
MathGraph - an open user generated graph (mapping proof dependencies, definition dependencies, pedagogical paths, contributions and peer review contributions) of mathematical theorems & conjectures. Supporting faster peer review processes, faster dissemination of new results, greater openness of results beyond real-world insider networks, faster critical path learning to context-relevant results, better communication and greater productivity.