How, precisely, can we improve?

Moritz Angermann moritz at
Thu Sep 29 04:08:00 UTC 2016

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

More information about the ghc-devs mailing list