Questions tagged [tags]
The tags tag has no usage guidance.
88
questions
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 ...
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 ...
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.
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 ...
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?
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.
...
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 ...
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 ...
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 ...
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 ...
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 ...
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?
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?...
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 ...
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 ...
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 ...
6
votes
1
answer
74
views
About [recursion-theory]
From here: what about recursion-theory? Do we need it?
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, ...
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 ...
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,...
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, ...
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-...
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 ...
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 ...
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 ...
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 ...
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" ...
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 ...
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 ...
4
votes
1
answer
64
views
About the tag [computational-complexity]
Somebody created the tag computational-complexity. Do we need it?
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 ...
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 ...
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?
...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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?
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:
...
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.
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 ...
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 ...
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 ...
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 ...
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.
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 ...
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 ...
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-...