Re: [isabelle] stackexchange.com use for proof assistants and related software
On 2/22/2013 12:27 PM, Joachim Breitner wrote:
Finally, someone would need to make it practical for everyone to
Isn’t http://stackoverflow.com/feeds/tag/isabelle enough?
It's enough to put the feed in my reader.
That's an example that you can't depend on people knowing certain
things. I knew how to put a stackexchange site in my RSS reader, but
I've never even considered the idea that the tags are there to get a RSS
feed. And the nature of tags is that there can be a lot of overlap, and
people don't take the time to tag things in a way that all the
information can be found based on tags.
But even now, my motivation remains low to put any thought into
stackexchange as a meaningful source of information about Isabelle. I
see here a total of four questions that are tagged "Isabelle".
If I was going to make another point in my initial email it would be this:
The people who are running these proof assistant shows will have to
promote the use of a stackexchange site for it to become, any time
soon, a hub of activity for proof assistants.
I present an analogy. If none of the proof assistant groups promoted
their mailing lists on their web sites, would very many people subscribe
to their mailing lists?
It's a common problem. To get people to jump on the bandwagon so you're
not forgotten, you have attain critical mass. You can't attain critical
mass because no one will jump on the bandwagon, which leads to everyone
totally forgetting about you, tuning you out, and turning you off, to
where you've lost any ability to get their attention, because you got
taken out of their RSS reader, or got unsubscribed to because your
channel was a dead channel.
I'll try to make this my last comment about this. Getting all this going
is way bigger than me. It's not my problem; it's just I have lots of
People higher up on the ladder like you would have to get things rolling.
This archive was generated by a fusion of
Pipermail (Mailman edition) and