News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @11:21PM (#27524531)
Look at the account, it's a classic phony, stashed away for sniping without new account green.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by AlexeyBelov on Wednesday June 16, 2021 @09:47AM (#27528461)
Do you really think I played such a long game? In any case the other commenter is right -- you shouldn't attack the person, but the argument itself.
[ Parent | on HN ]