logoalt Hacker News

jcalxyesterday at 11:57 PM2 repliesview on HN

> 230 GB of RAM

"I have discovered a truly marvelous proof of this, which my memory is too small to contain..."


Replies

symfoniqtoday at 1:34 AM

They’re using Electron to write proofs now?

throwup238yesterday at 11:59 PM

“Big data”!