Hacker News new | ask | show | jobs
by dogboat 560 days ago
Maybe less coffee :)
1 comments
hughesjj 560 days ago
But how else would I power this machine that outputs theorems?
link
dogboat 560 days ago
Erdős found stronger drugs
link
NooneAtAll3 559 days ago
become comathematician and turn cotheorems into ffee
link