Questions tagged [tags]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
11
votes
7answers
490 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 ...
10
votes
2answers
111 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 ...
10
votes
0answers
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.
10
votes
4answers
291 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 ...
9
votes
2answers
95 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?
9
votes
2answers
79 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. ...
9
votes
1answer
110 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 ...
9
votes
3answers
136 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 ...
8
votes
1answer
132 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 ...
8
votes
2answers
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 ...
7
votes
2answers
115 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?
7
votes
1answer
104 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?...
7
votes
1answer
110 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 ...
7
votes
1answer
264 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 ...
6
votes
3answers
66 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 ...
6
votes
1answer
64 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 ...
6
votes
1answer
74 views

About [recursion-theory]

From here: what about recursion-theory? Do we need it?
6
votes
1answer
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, ...
5
votes
2answers
284 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 ...
5
votes
2answers
83 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,...
5
votes
2answers
43 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, ...
5
votes
1answer
69 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-...
5
votes
1answer
49 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 ...
5
votes
2answers
65 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 ...
5
votes
1answer
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 ...
5
votes
0answers
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" ...
5
votes
5answers
76 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 ...
4
votes
2answers
36 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 ...
4
votes
1answer
64 views

About the tag [computational-complexity]

Somebody created the tag computational-complexity. Do we need it?
4
votes
1answer
40 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 ...
4
votes
1answer
95 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 ...
4
votes
1answer
83 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? ...
4
votes
1answer
46 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 ...
4
votes
1answer
31 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 ...
4
votes
1answer
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 ...
4
votes
2answers
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 ...
4
votes
1answer
19 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 ...
4
votes
4answers
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?
4
votes
1answer
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: ...
4
votes
1answer
65 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.
4
votes
0answers
69 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 ...
4
votes
0answers
17 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 ...
4
votes
2answers
314 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 ...
3
votes
1answer
71 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 ...
3
votes
2answers
65 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 ...
3
votes
1answer
26 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 ...
3
votes
1answer
76 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.
3
votes
1answer
55 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 ...
3
votes
1answer
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 ...
3
votes
1answer
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-...