All Questions

596 questions
Filter by
Sorted by
Tagged with
28 views

New stack exchange! For interactive theorem provers and automatic theorem provers!

Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange site is like in its initial beginnings, want to help ...
17 views

2021: a year in moderation

As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year. As most of you here are aware, sites on the Stack Exchange ...
14 views

How can I generate more attention for this question?

How do search engines implement fuzzy search? After very brief period of initial interest and upvotes, this question seems to have been dead for months. How can I generate more attention for this ...
30 views

I will explain the reason for my search, maybe someone can help me find the said comment: I remember having seen a comment with a link to a website of a scientist explaining why the Halting problem ...
27 views

Duplicate of a question without answer

Yesterday I flagged this question with "in need of a moderator intervention" because it was the third time the author asked the very same question. The moderator handling my flag answered: &...
62 views

Are Internet Protocols On Topic

Are questions about Internet Protocols (like TCP) on topic for Computer Science Stack Exchange? I think they should be.
105 views

Using the same comment as Moderator to improve posts

For many low-quality questions, moderators use the following standard comments: "We discourage "please check whether my answer is correct" questions, as only "yes/no" answers ...
72 views

The point system & voting

I'm writing this question since I have recently had some doubts for a certain "fishy" reputation gain a certain user has. I'm well aware that this user tries to genuinely answer questions to ...
97 views

What is the difference between computer science stack exchange site and Stack Overflow?

I'm a new user on computer science stack exchange. However, I am confused about the reason why this site exists. Since stack overflow answers questions about programming, wouldn't it make sense to ask ...
86 views

For unanswered questions, the following is displayed: What should be at the end of the sentence?
82 views

Is here okay to post a question about computer science lore?

I'm having a hard time thinking where might be the right site for a question about half-remembered computer science lore: I vaguely remember a story about a C guru ...
71 views

Best way to get my work on the halting problem critiqued?

I have some ideas on the halting problem. How can I best get feedback on them?
168 views

Stackexchange promotes cheating

Many questions on this site are homework questions. Some students would like to hide the fact that they used this site for solving their homework, and so after getting the answer, they immediately ...
41 views

Should constraint-satisfaction and constraint-programming be merged? What about constraint-handling-rules?
44 views

How to review low quality posts

While reviewing low quality posts, I have had the same problem multiple times. As an exemple, I had to review this question. The four choices are 1) Edit 2) Close 3) Delete 4) Ok. As it is shown by ...
170 views

We need more people actively using the edit queue

How is it that this Hot Network Question with 1000 views has survived so long with this typo in the title? I tried fixing it but can't make an edit until the edit queue on the question is cleared. A ...
31 views

Preview is different from the post

https://cs.stackexchange.com/a/139329/114966 Seems like lists and equations are not friendly with each other. Preview: Result:
62 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. ...
100 views

Question with accepted answer deleted by post author

In the last 10 hours, I've had two accepted answers that have been deleted by the (same) post author. Since my answers were the only ones and they weren't upvoted (maybe because the deletion took ...
91 views

Pseudo-code support?

Do we have something for more convenient pseudocode typing? The current setup is not very user-friendly: Manual indentation (with \quad's or whatever) No standard ...
47 views

Code blocks add extra backslash, if followed by a dollar sign

If you type the characters for "backslash dollar" inside a code block, extra backslashes are displayed. Worse, the rendered output doesn't match the preview. See the example below: ...
34 views

Typesetting dollars in equations

This answer contained the following excerpt: $$\delta(q_0,\lambda,\\\) = (q_1,\\\)$$ Unfortunately, the dollar signs are preceded by line breaks. Worse, this doesn't happen in the preview, so it's ...
37 views

I'm not sure whether it's technically possible to implement. Idea: allow users to define the "difficulty" of the problem. Each user can vote to determine how hard the problem is, from $1$ to ...
22 views

Make reputation a function of answer/question score

I'm not sure whether it's technically possible to do. Problem: let a question get $20$ downvotes and $5$ upvotes. The question's score is $-15$, while the asker's reputation increases by $10$. Doesn't ...
31 views

Standard replies to common issues (and macros for them) [duplicate]

Do we have a list of standard replies to common issues? E.g. what to reply when no attempt is shown, when the question is in an image, etc. D.W. seems to be already using their own list, but I think ...
135 views

Status of review queues

In recent weeks the processing of reviewing queues has declined. Right now the situation is particularly dire, with almost 150 first posts awaiting review. How do we address this situation? One stop-...
22 views

Bug: table shows correctly while editing question, but not after posting it

I have taken a look at this question, and as you can clearly see - it looks quite horrible in fact. But, the author mentioned that in "edit mode" it looks correctly, so I also checked it out....
15 views

Bug: Text in spoiler tag not hidden after code block

Look at this post. Expected: Actual:
37 views

2020: a year in moderation

As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the past 12 months. As most of you here are aware, sites on the Stack Exchange network ...
57 views

Network-wide feature request to support TeX in tables

Many of us here frequently use MathJax, whether for this site or another site on the SE Network. Recently SE added support for tables, but ignored the needs of the TeX community, who wish to be able ...
46 views

Should we merge "approximation" and "approximation-algorithms"?

The tag approximation is currently much more popular than the tag approximation-algorithms, although both concern approximation algorithms. Should we get rid of the second?
69 views

Crash due to the preview code

While I was writing an answer to this question, my browser tab crashed. That's a browser bug, obviously, not a Stack Exchange bug, but it's also partly two Stack Exchange bugs: The preview code is ...
38 views

Should we merge "database-theory", "databases" and "dbms"?

There are at least three tags that refer to databases: databases, database-theory, and dbms. The tag dbms is hardly used, but the other two are both reasonably common. Should we merge all three of ...
106 views

Yet another case of "why was my question downvoted"

Yesterday, I asked a question (some sort of reference request) about the name of a sample program. Despite my attempt for it to fit the format of Q&A as is the case with the rest of SE, be on ...
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 ...
113 views

Catch 22: It is not fair that some people get question blocked for 6 months and get no votes on their new question thus creating another 6 month wait

I agree that users should be strictly upheld to creating quality questions and answers, but the issue is when someone learned from their mistakes and creates a good question. To only be reinstated ...
41 views

Is there a way to change the text colors?

I find the text color on cs.SE hard to read on white background, is there a way to change either the foreground or background color to something else, without resorting to user css scripts? I don't ...
86 views

Jobs? As in "Home, Questions, Tags, Users, Jobs, Unanswered" in the menu to the left. How do we feel about that?
99 views

Why there are "editing rights"?I think u should not edit other people's writing, comment or maybe delete

I do not think it is ethically right for someone to edit other person words. You may comment with what you want, or vote to delete if you find something wrong in what is written as a principle (racist/...
124 views

Users deleting questions after obtaining answers

Versions of this question have been asked before (check questions tagged deleted-questions), but the problem persists. A new user posts a question, obtains an answer, then promptly deletes the ...
311 views

Towards a policy for questions about contest problems

Sometimes, questions are posted that turn out to be part of a problem from an ongoing contest. We've discussed this on meta in the past (here, here, and here), but we never settled on an explicit ...
79 views

I want to be able to formulate a question about X3C-algorithm; while being question banned. And wait until the ban is over

x3c-solver using string comparisons and nested loops I found a great on-topic question for this site that could be of great value. Question Can I at least be able to write a question and not be ...
43 views

Where should I ask this question?

I have a two-fold question - theoretical and practical. Where do I ask it? Thereotical: Does Rice's theorem imply safe AI is undecideable? (Meaning "safety", for any reasonable definition of ...
78 views

Consideration for COVID-caused newbies

Because of the corona virus outbreak, many schools have responded by either closing entirely or sending the students away and allowing them to continue classes remotely. As a result, we may be seeing ...
35 views

"directed-acyclic-graph" is a tag synonym for "dag"

Dag is exactly an abbreviation for directed acyclic graph. For now, there are 74 questions tagged dag, while only 7 questions tagged directed-acyclic-graph. Since I have no enough score in dag, could ...
106 views

2020 has come! But… oops, where did the time go? It’s already March! Belated as it is, it’s time for a refresh of Community Promotion Ads! What are Community Promotion Ads? Community Promotion Ads ...
52 views

A mod migrated my old question from RC to here --- where I have already asked a new better question

I have asked this question on Retrocomputing SE; it got answers there, but was later closed and commenters suggested it would be a better fit for Computer Science SE. Because my Retrocomputing ...
78 views

Comment removed without reasons

Someone (perhaps, D.W.) removed my comment in http://cs.stackexchange.com/questions/120532/would-putting-an-unsubmitted-formal-methods-paper-to-arxiv-preclude-further-form . I think the comment was ...