Stream: Coq Platform devs & users

Topic: Memory requirements for Coq machine


view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:25):

Yes, I want to buy a new PC and think if it should be 256 of 512 GB ;-)

view this post on Zulip Karl Palmskog (Aug 10 2022 at 18:26):

128 GB memory with AMD X3D with 128 MB cache is probably the ultimate Coq machine, and not unrealistic to buy to proof engineers in my book

view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:27):

Memory is not that expensive compared to other stuff one might want to have ...

view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:28):

But one needs ECC memory beyond 64GB - it gets unreliable otherwise and this severely reduces the choice of machines

view this post on Zulip Karl Palmskog (Aug 10 2022 at 18:28):

proof engineer time is in my view super expensive, and easily worth a 3000-4000 EUR machine for some percent extra productivity (no need to wait much, or care about swapping)

view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:29):

Yes, I think so too - but I am also doing other stuff with it (physics simulations and the like).

view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:29):

So it pays off twice.

view this post on Zulip Michael Soegtrop (Aug 10 2022 at 18:29):

Anyway, we are getting off topic.

view this post on Zulip Karl Palmskog (Aug 10 2022 at 18:31):

I broke off the "offending" parts into new topic


Last updated: Jan 30 2023 at 10:03 UTC