[xpe]

>> ... one definition of loneliness is the difference between the amount (and depth) of social connection desired and the amount obtained.

> Only on HN do I expect a formalization of loneliness. I'm not complaining.

I'm inclined to see this as a model, not a definition nor formalization. For me, the definition would be rooted in a subjective experience and would also include considerable formalization.

I don't do this lightly, but I think ChatGPT 4.0's comparison is quite lucid: "... formalization is more about defining and structuring the components or rules of a system or concept, while a model is about representing that system or concept in a simpler or more understandable way."

I enjoy this kind of pedantry. I don't see you complaining. :)

[devsegal]

I would never want to dilute HackerNews comments but on the Internet you really have no idea how you impact people. Thanks for making me smile, have a good day :)