Questions tagged [tags]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
11 votes
7 answers
527 views

Homework tag discussion

This discussion started in my other question "Will Homework Questions Be Allowed?". Should we allow the tag? It seems that some of our sister sites (Programmers, stackoverflow) have not allowed the ...
OghmaOsiris's user avatar
10 votes
2 answers
118 views

Burninate tag: pseudocode

We have four questions tagged "pseudocode". This question seems to have no value: any question that requests an algorithm would be off-topic if it required a specific language, so tagging a "Please ...
David Richerby's user avatar
10 votes
0 answers
35 views

Merging the tags complexity and complexity-theory

There are lots of questions tagged complexity-theory and only two tagged complexity. Presumably we should merge the latter into the former.
Yuval Filmus's user avatar
10 votes
4 answers
297 views

Renaming tag `graphs` to `graph-theory` [duplicate]

I suggest that we rename the tag graphs to graph-theory for the following reasons: The word graphs is ambiguous. graph-theory looks more professional. The tag ...
Kaveh's user avatar
  • 22.2k
9 votes
2 answers
96 views

Should we merge the tags "hash" and "hashing"?

There are two tags which seem very similar: hash hashing Another similar tag is hash-tables, though it is more specific. Should we merge hash and hashing?
Yuval Filmus's user avatar
9 votes
2 answers
84 views

Tag mapreduce is ambiguous

The tag [mapreduce] doesn't have a user guidance. Currently it has questions that cover both the technique of "Map-Reduce" from concurrent algorithms and "map reduction" from theory of computability. ...
giusti's user avatar
  • 220
9 votes
1 answer
113 views

Warn when some tags are used

Some tags seem to attract a significant amount of off-topic questions. Specifically, we have tags for specific programming languages like c, c++, java, python, prolog which seem to be used frequently ...
chi's user avatar
  • 14.5k
9 votes
1 answer
148 views

Why are there tags for programming languages?

One of the defining factors about this SE is that it's NOT about programming. I recently edited a question which, I was surprised to see, the user had tagged as "C++", and had asked for an ...
Joey Eremondi's user avatar
9 votes
3 answers
138 views

Let's eliminate [tag:check-my-proof]

The tag check-my-proof has the following description in its tag wiki: Questions which also contain a proof or a solution that needs to be checked for correctness and completeness. There are ...
D.W.'s user avatar
  • 159k
8 votes
1 answer
273 views

A hard stance against the soft-question tag

I hereby propose to ban soft-question, as well as should it arise big-picture and any other similar meta-tag. First, let me reiterate the main generic arguments in the blog post. These tags do not ...
Gilles 'SO- stop being evil''s user avatar
8 votes
2 answers
49 views

Do not automatically expire single-use tags

There is an automatic job that deletes single-use tags after 6 months. No attempt is made at determining whether the tags are good and should remain, or whether the tags are a variant name of another ...
Gilles 'SO- stop being evil''s user avatar
7 votes
2 answers
131 views

Should we merge "graphs" with "graph-theory"?

The tags graphs and graph-theory seem to cover much of the same ground. Should we merge them?
Yuval Filmus's user avatar
7 votes
1 answer
109 views

About the tag graph-algorithms

Apparently there's a tag graph-algorithms. My personal tagging choice has been algorithms + graphs. I think this covers graph algorithms pretty well. Do we need/want a dedicated tag graph-algorithms?...
Raphael's user avatar
  • 72.3k
7 votes
1 answer
115 views

Wrapping up some tag discussions

There are a couple of old tag discussions that need resolving. About the tag graph-algorithms Burninate tags: search-algorithms and search-problem Tags efficiency and performance What about tags ...
Raphael's user avatar
  • 72.3k
6 votes
3 answers
68 views

software-verification vs program verification

We have the tags program-verification and software-verification. Both seem to mean the same thing and should therefore be merged. Please vote on the two answers below which one you think should be ...
Raphael's user avatar
  • 72.3k
6 votes
1 answer
69 views

tags: security vs. computer-security

The tags security, computer-security seems to represent the same thing. I think we should make one a synonym for the other. The first one is shorter whereas the second one is more explicit. What do ...
Kaveh's user avatar
  • 22.2k
6 votes
1 answer
74 views

About [recursion-theory]

From here: what about recursion-theory? Do we need it?
Raphael's user avatar
  • 72.3k
6 votes
1 answer
77 views

Are [parsing] and [parsers] synonyms?

The tags parsing and parsers are very close in meaning. Is there any difference, or should they be merged? I see maybe a very slight nuance ā€”Ā parsing is a bit broader in coverage of language syntax, ...
Gilles 'SO- stop being evil''s user avatar
5 votes
2 answers
290 views

What should the homework tag mean?

The outcome of the homework tag discussion is not clear so far: there is a slight majority in favor of having a homework tag, but no agreement as to what the tag means. The meanings I've seen proposed ...
Gilles 'SO- stop being evil''s user avatar
5 votes
2 answers
90 views

What about tags random and randomness?

What are the respective roles of random and randomness? Do we need both, or any of them? Related tags: randomized-algorithms, sampling, random-number-generator, pseudo-random-generators, random-walks,...
Raphael's user avatar
  • 72.3k
5 votes
2 answers
46 views

Should [numeral-representations] and [number-formats] be merged?

Both tags numeral-representations and number-formats are missing a usage guidance, and I cannot see a difference between the questions tagged either way. Both seem to encompass not only binary, octet, ...
dkaeae's user avatar
  • 4,999
5 votes
1 answer
72 views

Can we tag questions about Ī»-calculus better?

There are some groups of question on the site which are not tagged well, especially outside of "core" TCS (which we have covered pretty well, I think). One of these are questions about lambda-...
Raphael's user avatar
  • 72.3k
5 votes
1 answer
52 views

What to do about [tag:kernel] with multiple meanings

In trying to do some tag cleanup for OS related tags I came upon the kernel tag. This tag has at least three different meanings in the context of cs.se. The operating-systems sense, in which the ...
Wandering Logic's user avatar
5 votes
2 answers
68 views

tag: cryptography vs security

The question Break an authentication protocol based on a pre-shared symmetric key was tagged with both cryptography and security. What is the difference between these tags, and when should each be ...
Ran G.'s user avatar
  • 20.7k
5 votes
1 answer
48 views

rename tag: randomized-algorithm -> randomized-algorithms

the tag was created, deleted(?), and then re-created with a typo, and it does not let me change it. (it says something alike 'the randomized-algorithms cannot be created since randomized-algorithm ...
Ran G.'s user avatar
  • 20.7k
5 votes
0 answers
18 views

Internal error when merging tags

I tried to merge the tag check-my-answer into check-my-proof, because insofar as these tags mean anything (which is not really the case), it's the same thing: ā€œI've solved a problem, here's how, is ...
Gilles 'SO- stop being evil''s user avatar
5 votes
0 answers
39 views

The simulation tag

Currently, the tag simulation includes (at least) two broad categories of questions: Simulations in computability theory, i.e. simulate machines of type A with machines of type B. "Applied" ...
Raphael's user avatar
  • 72.3k
5 votes
5 answers
84 views

How do we want to tag questions about parameterized algorithms?

@user777 suggested the introduction of a tag for parameterized algorithms in a question: We should have tag about "Parameterized Algorithm" that covers the technique of this subject like: bounded ...
Discrete lizard's user avatar
  • 8,248
4 votes
2 answers
37 views

Tag rename (rice)

We have a tag rice, which I think is badly named. It is applied to three questions, all of which are about Rice's theorem and not, for example, about Henry Rice himself. If you don't already know ...
David Richerby's user avatar
4 votes
1 answer
64 views

About the tag [computational-complexity]

Somebody created the tag computational-complexity. Do we need it?
Raphael's user avatar
  • 72.3k
4 votes
1 answer
49 views

Do we need tags [dfa] and [nfa]?

Recently, people have started using dfa for tagging some finite-automata questions. Do we really need this tag, or should it be a synonym for finite-automata? The question can be asked in principle ...
Raphael's user avatar
  • 72.3k
4 votes
1 answer
101 views

What is the difference between [asymptotics], [big-o-notation], and [landau-notation]?

The asymptotics tag currently has two tags remapped to it: big-o and asymptotic-complexity. I can imagine the reason landau-notation is not amongst those is to distinguish between questions about ...
dkaeae's user avatar
  • 4,999
4 votes
1 answer
85 views

Do we need both cluster and clustering tags?

We have both a cluster and clustering tag. There is no tag wiki with guidance for either of them. Do we need both tags? If we do, how should we choose which one to use on any particular question? ...
D.W.'s user avatar
  • 159k
4 votes
1 answer
31 views

Reordering tags

[This might be the most arcane question I've ever asked.] I recently asked a question and, of course, provided a collection of tags. When the question was posted, the tags were not listed in the order ...
Rick Decker's user avatar
  • 14.8k
4 votes
1 answer
47 views

Two tags for matrices

At the moment, Computer Science SE has tags matrices and matrix. Shouldn't one be a synonym of the other? Since, on Stack Exchange, matrices seems to be more popular$\star$ than matrix, I propose ...
Rodrigo de Azevedo's user avatar
4 votes
1 answer
34 views

Can program-verification be made a synonym of software-verification?

This was already suggested in this 2012 question, with the top answer being to make software-verification the main tag. Maybe someone with 2500 rep can propose the synonym/merge? Or, answers arguing ...
Caleb Stanford's user avatar
4 votes
1 answer
56 views

Tags around partitions

Currently, we have tags partition, partitions and partition-problem. The tags seem to be used a little arbitrarily, and the former two should probably be synonyms. There are no descriptions helping ...
Raphael's user avatar
  • 72.3k
4 votes
2 answers
46 views

Should we tag with [karnaugh-map] instead of [k-map]?

We currently have k-map for questions about Karnaugh maps. Is this the best possible tag name? Would karnaugh-map be a better choice? For that matter, would a more general tag like logic-synthesis ...
D.W.'s user avatar
  • 159k
4 votes
1 answer
21 views

tags: variable-binding and scoping

While recently editing a question, Raphael introduced the tag scoping, using it to replace variable-binding that had been chosen by the OP. That is apparently the only use of scoping. I must say, I ...
babou's user avatar
  • 19.4k
4 votes
4 answers
160 views

Should we merge check-my-proof and check-my-algorithm?

Should we merge check-my-proof and check-my-algorithm into a new tag check-my-answer?
Ran G.'s user avatar
  • 20.7k
4 votes
1 answer
41 views

When is the proof-techniques tag appropriate?

I'm not sure which questions fall under the tag proof-techniques. In particular, are questions which essentially ask for a specific proof of a statement appropriate? The current tag description: ...
Discrete lizard's user avatar
  • 8,248
4 votes
1 answer
67 views

tags: grammars vs formal-grammars

We have two tags at the moment which seem to be the same topic. I think we should make one the synonym for the other. So my suggestion is to merge formal-grammars into grammars.
Kaveh's user avatar
  • 22.2k
4 votes
0 answers
79 views

Are questions on blockchains on topic?

Just wondering if questions regarding blockchain technology are on topic? From the help link: This site covers theoretical and applied computer science at any level.. I'd categorise blockchains ...
Lee's user avatar
  • 143
4 votes
2 answers
365 views

Discussions about tags [closed]

I suspect we will have to discuss tags and their usage on a regular basis. Let us do so here; I propose one answer per instance and discussion in the comments. Note that you can link to tags using a ...
Raphael's user avatar
  • 72.3k
3 votes
1 answer
73 views

YATSD: distributed-systems vs distributed-computing

Yet Another Tag Synonym Discussion: distributed-systems or distributed-computing? The Wikipedia article is called distributed computing, but distributed systems are the object of study. I feel like a ...
Gilles 'SO- stop being evil''s user avatar
3 votes
2 answers
66 views

Tags: network-flow, max-flow

I noticed we have tags for both network-flow and max-flow. Does that make sense? Is there any distinction? There seem to be only 2 questions tagged with max-flow. Should we make max-flow a synonym ...
D.W.'s user avatar
  • 159k
3 votes
1 answer
77 views

Please unleash Trogdor on the homework tag

In accordance with the preliminary discussion on the homework tag and the homework policy adopted by a community poll, please burninate (remove and blackist) the homework tag.
Gilles 'SO- stop being evil''s user avatar
3 votes
1 answer
58 views

About the tag `graph`

There currently is a tag graph. I wanted to change it to graphs because most of our tags use the plural, but it would not let me (supposedly because the tags are ...
Raphael's user avatar
  • 72.3k
3 votes
1 answer
29 views

Evolving the tags of a question

Is it appropriate to modify the tags of a question to better reflect the issues that appear important with respect to answers? If the answer is yes, how far can it go? For example, an answer might ...
babou's user avatar
  • 19.4k
3 votes
1 answer
32 views

Creating tag synonyms for some arxiv tags

I suggest that we create the following tag synonyms: cc.complexity-theory -> complexity-theory ds.algorithms -> algorithms ds.data-structures -> data-structures fl.formal-languages -> formal-...
Kaveh's user avatar
  • 22.2k