News for hackers. Stuff that matters.

A comment on Coq: Certified Programming with Dependent Types. Parent comment

Re:Coq: Certified Programming with Dependent Types by cjensen on Friday July 10, 2015 @12:43PM (#9865055)
Intentionally pissing off people is childish.

Using the name of this language in a workplace creates a hostile working environment[1]. That guarantees that no sensible person in the English speaking world will ever use the language at work.

[1] https://en.wikipedia.org/wiki/Hostile_work_environment

[ Parent | on HN ]
Re:Coq: Certified Programming with Dependent Types by throwaway999666 on Friday July 10, 2015 @03:00PM (#9866037)
> Using the name of this language in a workplace creates a hostile working environment[1].

Oh my, thanks for the laugh. I half imagined a Dilbert scenario when reading that.

It's weird to think of the simultaneous uptightness and childishness which would make it impossible to use this homonym in the proper context.

[ Parent | on HN ]