>The last one I did myself was around 3 years ago, using a laptop with a >powerful i7 processor maxed out with 8 threads.
Can metamath automatically use all the CPUs available when doing a minimize run? > The CPU ran quite hot >(Speccy reported around 90-95C even with a new fan), and it died near >the end. All systems have temperature measures that should prevent any permanent damage and automatically slow down as necessary. Also, some modern computers are designed to run absurdly hot. Yes, some systems have defects in their temperature measurement systems, but those should be relatively rare. So you should not be afraid to run a minimization. I might be able to run minimization on a useful beefy system, but I'll have to check first. --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/6DFCDCA6-6E12-43BE-A1E6-A849F797C292%40dwheeler.com.
