> 230 GB of RAM
"I have discovered a truly marvelous proof of this, which my memory is too small to contain..."
They’re using Electron to write proofs now?
“Big data”!
They’re using Electron to write proofs now?