Stream: Coq devs & plugin devs

Topic: More machines for benchmarking


view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:01):

It seems that the covid-19 had at least one positive effect, namely we saved a lot on our allocated budget for this year. Do you guys think it would be a good idea to use some of it to get a few more physical machines for benchmarking?

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:02):

Today we have only pendulum, I don't know what our needs are.

view this post on Zulip Pierre-Marie Pédrot (Sep 02 2020 at 20:05):

Pendulum is drowning under 15-hour long benches

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:16):

how many servers do you think we'd need?

view this post on Zulip Enrico Tassi (Sep 02 2020 at 20:17):

My only advice is to buy units and ask the sysadmin to host it

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:19):

I afraid I don't understand

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:19):

is it different from what I was suggesting?

view this post on Zulip Enrico Tassi (Sep 02 2020 at 20:22):

pendulum is not a unit

view this post on Zulip Enrico Tassi (Sep 02 2020 at 20:23):

I mean, the form factor of the machine

view this post on Zulip Enrico Tassi (Sep 02 2020 at 20:24):

At least in saclay buying units was an option

view this post on Zulip Enrico Tassi (Sep 02 2020 at 20:25):

the sysadmins had a list of models in the public market, something we don't see on the usual site

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:28):

ah yes, it was my plan to ask that indeed

view this post on Zulip Maxime Dénès (Sep 02 2020 at 20:28):

I believe they removed the usual site anyway ;)


Last updated: Oct 16 2021 at 09:07 UTC