Zulip Chat Archive

Stream: general

Topic: big CPU


Patrick Massot (Jul 01 2019 at 13:28):

It's not forgotten, it's stored and passed around and checked hundreds of time on travis and burns many CPU hours around the world

I did it. I upgraded my CPU+motherboard+RAM. Compiling mathlib from scratch at home went from 21 minutes to 10 minutes. Interactive use also feels much better, with orange bars much less annoying. My Lean-friendly CPU is a AMD RYZEN 7 2700X.

Sebastien Gouezel (Jul 01 2019 at 14:09):

That's exactly the one I chose 3 months ago for my new desktop (with 32 GB RAM), and I have been very happy with it since then.

Jeremy Avigad (Jul 01 2019 at 20:03):

Ummm... how does this work? What do you plug the CPU+motherboard+RAM into?

Patrick Massot (Jul 02 2019 at 12:54):

Ummm... how does this work? What do you plug the CPU+motherboard+RAM into?

Nevermind, this is a arcane branch of applied computer science which involves using some sort of physical machine that actually run the software by moving electrons in metallic wires.


Last updated: Dec 20 2023 at 11:08 UTC