Merge branch 'mob' of git://repo.or.cz/arxana into mob
[arxana.git] / arxana.org
blob4bbd659f1bdff2bd53e3646dd17d7a6df853d238
1 #+TODO: LOW MEDIUM HIGH TODO | DONE 
2 * LINKS TO EARLIER MATERIALS
4 http://orgmode.org/worg/org-tutorials/orgtutorial_dto.html (Helpful if you're new to Org Mode)
5 http://orgmode.org/manual/index.html (Follow up reading after you've gone through the tutorial)
7 http://wiki.planetmath.org/cgi-bin/wiki.pl/A_scholium-based_programming_model (general overview)
8 http://metameso.org/~joe/math/metamathematics.pdf (A short overview of the mathematics ideas)
10 * GOALS
12 ** TODO Round trip latex documents
13 ** HIGH Figure out how to display attached code from the scholium browser :easy:
14 ** MEDIUM connect to PlanetMath
15 ** MEDIUM Fix the keymap (C-; f doesn't work but C-c f does, investigate) :easy:
16 ** MEDIUM Try to get a browser to browse some code :medium:
17 ** MEDIUM What are the primative functions in sbdm4cbpp.tex? :harder:
18 Fork these off to a separate file and try to implement those using Ray's new
19 primitives.
20 ** MEDIUM Bonnie search example (RSP)
21 ** MEDIUM Programming example (RSP)
23 ** LOW Web server figure out how to run two parallel LISP servers
24 I.e. given different sections of the site.  Note that the last
25 experiments with cl-modlisp ended up using up the entire CPU.  It
26 would probably be better to switch to
27 https://github.com/vii/teepeedee2 or ElNode for the Arxana web service