[Haskell-cafe] Parallel Symbolic Computing Research Post