Stream: Coq users

Topic: Coq FAQ in wiki


view this post on Zulip Théo Zimmermann (Oct 05 2022 at 10:09):

Yes, moving the FAQ from the Coq website to the Coq wiki was done with the purpose of delegating its maintenance to the community. Feel free to rename it, although maybe not the pages, otherwise that will create some broken links that we should track.

view this post on Zulip Karl Palmskog (Oct 05 2022 at 10:59):

I think the Wiki model if maintaining anything is becoming more and more obsolete every day, see for example: https://twitter.com/andrejbauer/status/1576660675002499072

Ok, I fixed the Wikipedia page on proof by contradiction. Please defend it when the Wikipedia administrators notice that I violated 27 policies and failed to quote random web pages, even though I literally won an award for writing about this stuff. https://en.wikipedia.org/wiki/Proof_by_contradiction https://twitter.com/johncarlosbaez/status/1576532533067423745

- Andrej Bauer (@andrejbauer)

view this post on Zulip Pierre-Marie Pédrot (Oct 05 2022 at 11:03):

The fact that Wikipedia has been taken over by bureaucrats many years ago is not a general proof that wikis suck. If anything, it's a proof that anarchy tends to self-stabilize itself into an authoritarian organization.

view this post on Zulip Théo Zimmermann (Oct 05 2022 at 11:03):

Wikis are indeed difficult to maintain but I think that Wikipedia is a special case that is completely irrelevant here.


Last updated: Feb 01 2023 at 11:04 UTC