Well, so at least now the processes spawn and manage to communicate their exception to the parent process, which is a plus (although completely unsatisfactory!).
Theano still cannot compile the model’s logp and Jacobian functions for the same 64bit reason. The thing is that you can compile them in the main process when you sample with just a single core! I don’t understand why the spawn has problems. I’ll try to ask the theano guys