> Work brings dignity and purpose to people’s lives.
Speak for yourself! For me, and in my experience many others, work is a necessary evil. I’ve experienced more indignities in the workplace than anywhere else (though fortunately not as consistently as some people), and the thought of work being my life’s purpose is too bleak to entertain. I’m very happy for those who have a more positive experience, but some of us don’t fit so well.
First, I want to be clear that in the sense you are talking about, I fully agree with you.
But "work", in the sense that AI can, in theory, replace humans in, is about more than just jobs. It's about many of the things that humans do—including many that we do for pleasure as well as for money, like painting, writing, and other forms of art.
In that sense, it absolutely does bring dignity and purpose to people's lives. Very few people can feel fulfilled without some form of work in their lives, whatever that looks like for them.
You are talking about intrinsic vs extrinsic value. Most work people do is for money (extrinsic) but no one is stopping you from doing work for the former. I learn/program for fun in my spare time and AI doesn't stop that.
I sincerely doubt that if someone hears 'summon' today, they think about Dungeons and Dragons-style summoning of fantasy beings. They more likely hear 'to be made to appear in front of [a state power / a court / ...]"
As such, current understanding is closely aligned to the etymological meaning.
Even summoning in fantasy tends to imply the entity being summoned has no choice in the matter. If anything, summoning in fantasy is usually stronger, in that there is a tendency for it to imply the entity is powerless to resist.
I don’t think Musk is super smart. I think he has some skills that account for how he got to his position other than privilege and luck, I think he probably works hard (or at least, harder than me), but I can’t get to “super smart”.
> This is 128 ppi, which would be considered "retina“
If by “retina” we mean “pleasantly sharp”, not by me. I’m never buying less than the 218 ppi of my Apple Studio Display unless I absolutely have to. I’m totally spoiled.
I think the point was that people care about ppd, not ppi. 218 ppi would be too low if the screen is 1 inch from your eye or too high if it’s 100 inches from your eye.
It’s intended for conversations that are probably different every time too. It’s like a more expressive form of what Claude Code already does with the “AskUserQuestion” interface.
Sure. The difference is that with a strong typing system, the compiler makes sure you write those checks. I know you know this, but that’s the confusion in this thread. For me too, I find static type systems give a lot more assurance in this way. Of course it breaks down if you assume the wrong type for the data coming in, but that’s unavoidable. At least you can contain the problem and ensure good error reports.
Fair, the em dash comment was a cheap shot. Withdrawn.
The substantive point stands: you've now "skimmed" multiple files, called them all "boilerplate," and haven't engaged with the actual proof structure. The rebuttals section addresses "The Proofs Are Trivial" directly (Concern 9).
At some point "I skimmed it and it looks trivial" stops being a critique and starts being "I didn't read it."
Speak for yourself! For me, and in my experience many others, work is a necessary evil. I’ve experienced more indignities in the workplace than anywhere else (though fortunately not as consistently as some people), and the thought of work being my life’s purpose is too bleak to entertain. I’m very happy for those who have a more positive experience, but some of us don’t fit so well.
reply