arxana.org

   1 #+TODO: LOW MEDIUM HIGH TODO | DONE
   2 * LINKS TO EARLIER MATERIALS
   3
   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)
   6
   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)
   9
  10 * GOALS
  11
  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)
  22
  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