Questions tagged [tags]
The tags tag has no usage guidance.
88 questions
1
vote
2
answers
99
views
Should the book "Types and Programming Languages" have a tag?
Should the book "Types and Programming Languages" have a tag?
If so, what should that tag be named?
- 5,141
0
votes
0
answers
47
views
Tags about CSPs
Should constraint-satisfaction and constraint-programming be merged?
What about constraint-handling-rules?
- 279k
0
votes
1
answer
105
views
Why is there no markov-decision-processes tag?
Markov decision processes are a fundamental model for sequential decision making frequently studied by computer scientists.
To my surprise, there is no related tag in either the CS or CS Theory sites. ...
- 183
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
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 ...
- 5,037
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,037
7
votes
2
answers
132
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?
- 279k
1
vote
2
answers
15
views
Renaming `graphical-models` tag to `graphical-model`
I found three sites with the same tag graphical-model(s). They are Data Science, Cross Validated and this site.
The other two sites contain ...
- 515
2
votes
1
answer
27
views
Burninate/synonymize tag: definition
There were six questions tagged "definition". In most cases, it was either being used as a synonym of "terminology" or its only semantic content was "I'm asking about the definition of something or ...
- 82.2k
1
vote
1
answer
44
views
rethinking programming language tags
This question asks whether programming language tags such as [java], [c++], or [python] are on topic at CS stack exchange. The answer says that questions about the programming languages themselves may ...
- 589
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 ...
- 7,248
1
vote
1
answer
21
views
When should the "lists" tag be used?
So far there is no usage guidance for the tag lists. According Wikipedia, list may refer to an abstract data type, or a concrete data structure linked-list.
So when should we use the tag lists?
I ...
- 7,604
10
votes
2
answers
121
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 ...
- 82.2k
2
votes
0
answers
31
views
When is it appropriate to re-tag old questions?
I am aware of the costs of editing old questions/answers as described in the question Trivial edits to old answers.
However, I'm not sure in what cases the specific edit of re-tagging an old question ...
- 8,342
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.
...
- 220
5
votes
5
answers
86
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 ...
- 8,342
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:
...
- 8,342
9
votes
2
answers
97
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?
- 279k
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 ...
- 14.7k
2
votes
0
answers
34
views
Tags can now be longer -- do we want to change any?
As of today, tags can be 35 characters long; the limit used to be 25.
Are there any tags that were stunted to fit into the length limit and could profit from the new limit?
Keep in mind that longer ...
- 72.9k
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 ...
- 143
6
votes
1
answer
74
views
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 ...
- 72.9k
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 ...
- 72.9k
4
votes
1
answer
87
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.Mod
- 166k
4
votes
1
answer
64
views
About the tag [computational-complexity]
Somebody created the tag computational-complexity. Do we need it?
- 72.9k
4
votes
1
answer
50
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 ...
- 72.9k
4
votes
2
answers
47
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.Mod
- 166k
0
votes
1
answer
113
views
Should we burninate C tag?
Should we delete the C tag? Coding questions are off-topic here, so the C tag is a "broken window" that might be misleading posters into thinking it's OK to post a coding question or post their C ...
D.W.Mod
- 166k
3
votes
2
answers
44
views
Tags efficiency and performance
Is there a significant difference between the tags performance and efficiency (which we should document then), or are they synonyms?
- 72.9k
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,...
- 72.9k
7
votes
1
answer
119
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?...
- 72.9k
2
votes
2
answers
67
views
a tag for the "lower level" of computer
Regarding
Storing information in certain data types
I was trying to find a more appropriate tag for this question and couldn't. It is about implementation of variables,
but not really about ...
- 20.8k
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 ...
- 14.9k
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.Mod
- 166k
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 ...
- 82.2k
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 ...
- 19.6k
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 ...
- 19.6k
3
votes
3
answers
127
views
What is the difference between the tags natural-lang-processing and computational-linguistics?
What is the difference between the tags natural-lang-processing and computational-linguistics?
Both tags are used, but it seems to me they should be synonymous. The natural-lang-processing tag wiki ...
- 19.6k
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 ...
- 17.8k
2
votes
2
answers
71
views
What is tag [tag:cpu-cache] for?
Caches appears at many different levels or places in computer system. You can have on-chip caches, sytem caches and network caches. But the only tag about caches is apparently the tag cpu-cache, which ...
- 19.6k
6
votes
1
answer
83
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
0
answers
19
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 ...
9
votes
3
answers
140
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.Mod
- 166k
5
votes
1
answer
73
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-...
- 72.9k
2
votes
3
answers
203
views
What is a reference question?
What is a reference-question? These are my concerns to tag one question as a reference:
Question is about fundamental problem, e.g How does computer program works?
Question contains information that ...
user742
9
votes
1
answer
161
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 ...
- 30.1k
4
votes
4
answers
161
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?
- 20.8k
-3
votes
1
answer
36
views
Can/should we have a tag for questions where OP suspects fallacy in question?
One of the things I like about the Computer Science site over StackOverflow in general is that if you mention you are not sure of what you are asking people here people will tend to help you ...
- 5,141
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.
- 279k