https:// news.ycombinator.com/submitted?id=Duanemclemore
The hint to you is that you, PHoXXologist, needs to inject some tech into paganism's blessed heart. (ASCII fox ----for the identitarian masses?--- is sorta prototype btw) Otherwise paganism smella like nothin mo' than degrowth for its own sake, self-serving Ludditeanism Tautologies are B&H because they confound intuition (H) AND are truthful (B)
NGL, I made use of following tautology
---Diogenes (L) on Diogenes, arch-Cynic, VI.2.71
Afaik not formalised in Lean4, but sounds like optimism
Most of D's other stuff imho is optimism taken to its clear-eyed extreme. ya know. the way a very best version of us could always unironically RELY on HN [,after much practice]
>so those whose training has been of the opposite kind derive more pleasure from despising pleasure than from the pleasures themselves.
Might be why professional Nihilists admire Cynics (ie, for their ... unaffected comedy)
https://penelope.uchicago.edu/Thayer/E/Roman/Texts/Diogenes_...