|
|
|
|
|
by agentultra
2569 days ago
|
|
Indeed. My primary machine at home right now is a 13 year old Dell laptop. It has some added RAM and an SSD drive. I can barely scroll the Twitter home page on it. I can barely use the Zulip web client (no "native" client for 32bit architectures... would be slow as molasses anyway) -- and that's just to chat with other developers working on Lean. I've been using eww in emacs to browse the web and... surprise it's fast. And less annoying. |
|