Hacker News new | ask | show | jobs
by nf05papsjfVbc 2564 days ago
If you've come to the comments before reading the article, please do observe the URL before clicking on it. The page (because of the title) might be flagged by keyword filters in workplace proxies.
1 comments
skocznymroczny 2564 days ago
well, it has Coq in the title
link
resoluteteeth 2564 days ago
It would be a bit unfortunate if you had just exhausted political capital to convince your employer it was acceptable to use something called "Coq."
link