News for hackers. Stuff that matters.
Re:The Hitchhiker's Guide to Logical Verification [pdf] by 082349872349872 on Tuesday July 30, 2024 @08:16PM (#41115360)
Logicomix: An Epic Search for Truth (2009) hints that pushing formal logic forward may be as attractive, yet dangerous, for mental health as ascending Everest without supplemental O₂ is for physical:

  Weave a circle round them thrice,
  And close your eyes with holy dread
  For they on honey-dew hath fed,
  And drunk the milk of Paradise.

There are no comments on this comment yet.