Zulip Chat Archive
Stream: general
Topic: CPU overload+overheat
Kenny Lau (Sep 07 2018 at 10:35):
2018-09-07.png
Lean uses a lot of the memory and heats up my laptop a lot
Sebastian Ullrich (Sep 07 2018 at 16:06):
Works as intended
Patrick Massot (Sep 07 2018 at 16:32):
Do you think we'll have Lean on GPU one day?
Mario Carneiro (Sep 07 2018 at 16:44):
Because it's important to make sure that lean destroys your whole computer, not just the CPU area
Last updated: Dec 20 2023 at 11:08 UTC