> I certainly upvote the better job ads and assumed everybody else did, and if you want an Idris research job, you'll probably be searching for the keyword rath

> I certainly upvote the better job ads and assumed everybody else did, and if you want an Idris research job, you'll probably be searching for the keyword rather than browsing top results. I never upvote or downvote job offers, and I think it might actually go the other way: people would downvote good job offers hoping that less people would see them, which means less competition.