Yes, I want to buy a new PC and think if it should be 256 of 512 GB ;-)
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
Memory is not that expensive compared to other stuff one might want to have ...
But one needs ECC memory beyond 64GB - it gets unreliable otherwise and this severely reduces the choice of machines
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)
Yes, I think so too - but I am also doing other stuff with it (physics simulations and the like).
So it pays off twice.
Anyway, we are getting off topic.
I broke off the "offending" parts into new topic
Last updated: Jan 30 2023 at 10:03 UTC