TODO.org

   1 LINKS TO EARLIER MATERIALS
   2
   3 http://metameso.org/~joe/math/metamathematics.pdf
   4 http://wiki.planetmath.org/cgi-bin/wiki.pl/A_scholium-based_programming_model
   5
   6 HIGH LEVEL GOALS
   7
   8 * Expand the functionality, make it more accessible to other PlanetMath users.
   9
  10 TODO
  11
  12 * Fix the keymap (C-; f doesn't work but C-c f does, investigate) - easy
  13 * Figure out how to display attached code from the scholium browser - easy
  14 * Try to get a browser to browse some code - medium
  15
  16 * What are the primative functions in sbdm4cbpp.tex? - harder
  17   Fork these off to a separate file and try to implement those using Ray's new
  18   primitives.
  19
  20 * Web server: figure out how to run two parallel LISP servers
  21   for different sections of the site.  Note that the last
  22   experiments with cl-modlisp ended up using up the entire
  23   CPU.  It would probably be better to switch to
  24   https://github.com/vii/teepeedee2
  25 * Bonnie search example (RSP)
  26
  27 OTHER STUFF
  28
  29 - Meeting at 20:00 GMT next Thursday with John Graves et al. for the wikisym paper
  30
  31 - Send PlanetMath repository to John ASAP
  32
  33 - Look more into the-hub.net and get back to Fabrizio if I think they can help him
  34
  35 FUTURE DIRECTIONS
  36
  37
  38 DONE
  39
  40 * Programming example (RSP)