Re: [isabelle] syntax highlighting on stackoverflow

On 3/13/2013 9:53 AM, Makarius wrote:
On Wed, 13 Mar 2013, Gottfried Barrow wrote:

Subject wise, Isabelle is closer to what's on, which has LaTeX.

I've already spent some time looking around several sites, just see my profile at SE. For the majority of technical questions around Isabelle, stackoverflow tag "isabelle" looks like the right place.

I suppose so. "Isabelle" has been vetted and accepted, which counts for a lot:

On "Computer Science" and "Theoretical Computer Science" there are some more conceptual topics covered under "proof-assistants", for example. Someone made a "coq" tag there, but I found it odd and did not imitate it.

I find it more difficult to get into, although its "logic" tag is a starting point.

Yea, so I guess it wouldn't be a good host. Some of the buzz words are the same, but the foundation and emphasis is different. They would be lacking on making contributions to the programming side of things, which is probably why I would partly feel more at home there.

But it represents what a good balance can be. It's diverse but not so diverse and large that going to the main page is near useless, and they tolerate questions from beginner to advanced. These sites are about community, and a single tag isn't a community. Also, there can't be any real cohesion for a group if the questions are spread out over four or five sites, and it takes more energy to keep track of all that than I want to put into it.

People can disregard all this. Perception is the limiting factor, culture determines perception, and the police on the different sites enforce the culture.

I am unsure what you mean by police. So far I found myself received rather well, e.g. I've earned several +2 points for brushing up some if the tag wikis.

The police are the majority of people who assert themselves. The police who act as tyrants are the admins and the in-crowd who vote to close questions which they're not qualified to vote on, and do so to protect their domain. When I see that happen, I become more interested in fighting the establishment.

I'm in no hurry to get an account to fight the man. Fighting the man is generally a losing proposition.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.