Comment by nanolith
10 months ago
> > > Have you even used a proof assistant?
> > Only daily. But, let's keep those unfounded assumptions coming...
and
> This is the sort of thing I'm referring to when I say that you respond with vitriol, by the way--this sarcasm wasn't necessary to make your point.
I see. Sarcasm and ill tone is fine when you use it, but not when I respond to it in kind. I'm not interested in Sealioning. Goodbye.
Post whatever replies you want and "win" this pointless "debate". I don't care to play this stupid game. Good day.
> Sarcasm and ill tone is fine when you use it, but not when I respond to it in kind.
Not at all. Use all the sarcasm you want; I'm a big boy and I can handle it.
And I'm not denying I used some unnecessary sarcasm myself.
But you said, "So far, the only people in this thread replying with vitriol are you and jerf." And I just wanted to make you aware that that's not quite correct.
You're not the innocent victim in this conversation that you think you are.
Sorry... had to come back for one last reply.
> But if a person responds to any criticism of C with vitriol, one begins to think that person is invested in a belief that C is perfect.
That was before I started responding in kind.
> You're not the innocent victim in this conversation that you think you are.
Oh, I was. You and jerf certainly started the rude behavior. Expecting me to sit back and take it, and then pouncing on me for "vitriol" for responding in kind is... wait for it... SEALIONING.
https://en.wikipedia.org/wiki/Sealioning
Push the envelope, then call the other out for pushing back, as if you're the injured party.
Either way, this is far outside of acceptable behavior on HN. I'm disengaging for good this time. I offered you useful advice. You tried to turn this into a silly Rust debate that no one wanted. Then, you act like the aggrieved party because no one wants it.