News for hackers. Stuff that matters.
Re:There's more to mathematics than rigour and proofs by dkarl on Wednesday June 19, 2024 @04:43PM (#40732179)
If you want a shorter version, "grug brain, monk brain" pretends to profound, like "Zen mind, beginner's mind," but it's just a lazy take. If "grug brain, monk brain" was poetry, it would say:

  We shall not cease from exploration
  And the end of all our exploring
  Will be to arrive where we started
  And it'll look exactly the same because travel is pointless.

There are no comments on this comment yet.