How, precisely, can we improve?

Christopher Allen cma at
Thu Sep 29 04:24:45 UTC 2016

Why not just do the better thing to begin with rather than obligating
people to think to use this feature? Most, even those who know it's an
option, aren't going to think to do this in the heat of trying to
track down an answer to something.

On Wed, Sep 28, 2016 at 11:08 PM, Moritz Angermann
<moritz at> wrote:
> Just a quick note: Google provides the “Date range” filter found under
> search options. This allows to narrow down the date range.
>> On Sep 29, 2016, at 11:55 AM, Bardur Arantsson <spam at> wrote:
>> On 2016-09-29 04:43, Richard Eisenberg wrote:
>>> Here's a pre-proposal (which could be formalized into a proper proposal)
>>> to address the wiki discussion:
>>> - Configure the wiki to display the date of last edit prominently.
>>> - If the date of last edit is sufficiently long ago (1 year?) loudly
>>> warn the reader that the content may be out-of-date.
>> I see at least one major issue with this: Search engines don't care if
>> you write "THIS MAY BE OUT OF DATE" on the page. It's a perennial
>> problem that search engines keep linking out of date material just
>> because such material tends to be linked more (simply because of age).
>> There are few tings as infuriating as going through a bunch of search
>> results and getting pages from 10 years ago.
>> Regards,
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

Chris Allen
Currently working on

More information about the ghc-devs mailing list