New home for the builder wanted

Richard Eisenberg rae at
Fri Nov 11 19:15:00 UTC 2016

I have an unused machine in my department. It currently has 6GB of memory on it, but memory is cheap enough these days, so this could be expanded if necessary. (Is this necessary?) We would slap a basic Linux on it, give it a hostname (, and then make an account for you, Joachim, to ssh into. Are there other setup requirements?

It's Friday afternoon, so I'm unsure if we could get it done in the next 24 hours, but I would imagine by early next week.


> On Nov 11, 2016, at 1:57 PM, Joachim Breitner <mail at> wrote:
> Hi all,
> let me bump this request. has now stopped
> producing new results.
> It does not have to be a fancy server or anything like that; an unused
> office machine in some corner would do as well, it has done that so
> far. (I wonder if I should reactivate my T400s for that. Maybe a slow
> machine yields more precise measurements. But it is in Germany right
> now, so I won’t be able to do that before Christmas.)
> Greetings,
> Joachim
> Am Montag, den 24.10.2016, 19:25 -0400 schrieb Joachim Breitner:
>> although I have moved away from Karlsruhe three months ago, so far it
>> is still my office PC driving
>> But a new person is now using my desk and wants to use this machine, so
>> I should really really move this away from there now.
>> Sebastian Graf has been working on turning gipeda, the Frontend
>>, into a more general service open to open source
>> Haskell projects, and this is close, but not close enough to simply
>> stop running the performance tests until he is good to go.
>> He currently has a machine given from to run this on, but
>> it is a virtual machine and the measurements are too flaky for real
>> use.
>> So basically, I need a decent non-virtualized (or virtualized, but
>> exclusive) machine to move my performance build runner to, as quickly
>> as possible. The current specs are
>>  * 8 core Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz 
>>  * 16 GB RAM
>> but it does not matter too much, a slightly weaker machine would be
>> able to keep up as well. I also do not necessarily need root access
>> (but it would be beyond the point if the machine would do other stuff
>> that incurs a heavy load).
>> The same machine could then be used by Sebastian for his more general
>> setup, once that is ready to go.
>> Does anyone have something handy?
>> Greetings,
>> Joachim
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at
> -- 
> Joachim “nomeata” Breitner
>   mail at joachim-breitner.de
>   XMPP: nomeata at • OpenPGP-Key: 0xF0FBF51F
>   Debian Developer: nomeata at debian.org_______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list