Michael Soegtrop (Aug 10 2022 at 18:25): 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 ;-)
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
Michael Soegtrop (Aug 10 2022 at 18:27):Memory is not that expensive compared to other stuff one might want to have ...
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
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)
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).
Michael Soegtrop (Aug 10 2022 at 18:29):So it pays off twice.
Michael Soegtrop (Aug 10 2022 at 18:29):Anyway, we are getting off topic.
Karl Palmskog (Aug 10 2022 at 18:31):I broke off the "offending" parts into new topic
Last updated: Jun 03 2023 at 03:01 UTC