News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by goatcode on Thursday April 08, 2021 @02:02PM (#26741835)
We used to have a sense of humor, too: https://en.wikipedia.org/wiki/Cox%E2%80%93Zucker_machine
[ Parent | on HN ]
Re:Renaming Coq by matbilodeau on Thursday April 08, 2021 @02:11PM (#26741916)
Richard Holder and Michael Hunt would be so jealous
[ Parent | on HN ]