Theoretical Computer Science Meta Stack Exchange

1

vote

0

answers

9

views

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

asked Jan 15 at 6:02 user1271772 520

0

votes

0

answers

2

views

2021: a year in moderation

asked Jan 12 at 14:58 JNatStaffMod 101

1

vote

1

answer

41

views

So many questions with negative votes: what does it mean?

discussion

modified Nov 18 '21 at 11:05 Emil Jeřábek 14.1k

2

votes

2

answers

26

views

What to do with lengthy partial progress

discussion

answered Nov 6 '21 at 7:04 Emil Jeřábek 14.1k

4

votes

1

answer

87

views

Community Promotion Ads — 2020

discussion community-ads

modified Jun 13 '21 at 21:05 user1271772 520

5

votes

3

answers

230

views

Renaming this forum

discussion

answered May 24 '21 at 20:09 Huck Bennett 4,483

4

votes

0

answers

37

views

2020: a year in moderation

discussion moderation statistics

modified Jan 21 '21 at 11:34 JNatStaffMod 101

8

votes

1

answer

132

views

Is this question about the PCP theorem appropriate here?

discussion asking-questions

modified Oct 15 '20 at 19:32 Andrew Kelley 263

15

votes

5

answers

355

views

References to cstheory in the literature

discussion

answered Aug 13 '20 at 2:46 Joshua Grochow 35.1k

16

votes

1

answer

596

views

A decade of CSTheory

discussion

answered Jul 26 '20 at 13:31 Mohammad Al-Turkistany 20.5k

4

votes

1

answer

48

views

Hiding bad (closed/downvoted questions) on front page?

discussion support

answered Jun 19 '20 at 21:44 Glorfindel 211

5

votes

0

answers

63

views

Short name for this site?

discussion support

asked Jun 19 '20 at 20:36 a3nm 7,253

4

votes

0

answers

41

views

2019: a year in moderation

discussion moderation statistics

modified Jan 3 '20 at 2:24 Shog9 101

2

votes

0

answers

35

views

I cannot flag a problem as off-topic and belonging to CS.SE

feature-request closing

modified Dec 22 '19 at 13:42 Lwins 395

1

vote

1

answer

61

views

Community Promotion Ads — 2019 [duplicate]

discussion community-ads

modified Nov 9 '19 at 1:01 CommunityBot 1

5

votes

0

answers

100

views

Lemons and lemonade

discussion

modified Oct 5 '19 at 0:31 Bjørn Kjos-HanssenMod 4,328

1

vote

1

answer

65

views

Suspicious deletion of a comment

discussion support comments

answered Jun 10 '19 at 16:57 Bjørn Kjos-HanssenMod 4,328

0

votes

1

answer

159

views

Should I just quit? I honestly believe this the best question I asked here and its still downvoted?

discussion

answered Jun 8 '19 at 22:10 Bjørn Kjos-HanssenMod 4,328

0

votes

0

answers

37

views

Would it be off topic to promote the "topic challenge" here?

discussion

asked May 31 '19 at 3:23 user 726941 101

12

votes

2

answers

183

views

Interesting unanswered questions on CS.SE

discussion other-se-sites

answered May 4 '19 at 16:34 D.W. 10.1k

74

votes

20

answers

4k

views

Is "theoretical" computer science too narrow?

discussion status-declined scope

modified Feb 2 '19 at 10:07 CommunityBot 1

3

votes

0

answers

45

views

2018: a year in moderation

discussion moderation statistics

modified Jan 1 '19 at 2:50 CommunityBot 1

-4

votes

3

answers

197

views

The big question: does P=NP?

discussion

modified Dec 28 '18 at 16:20 daniel pehoushek 95

3

votes

1

answer

57

views

Can I ask for recent research papers?

discussion

modified Dec 7 '18 at 19:48 Bjørn Kjos-HanssenMod 4,328

3

votes

0

answers

29

views

Twitter bot malfunction

bug site-promotion

modified Dec 2 '18 at 21:53 Bjørn Kjos-HanssenMod 4,328

6

votes

0

answers

119

views

Theoretical Computer Science updated site theme is ready for testing!

discussion design

asked Nov 21 '18 at 19:15 Jon Ericson 101

1

vote

0

answers

16

views

Ultra-low contrast submit button in flagging dialog [duplicate]

bug design

asked Oct 14 '18 at 14:06 Raphael 4,505

5

votes

2

answers

102

views

Let's get MathOverflow's “Citation Helper” here, as well!

feature-request status-completed citations

modified Oct 5 '18 at 14:56 CommunityBot 1

5

votes

0

answers

45

views

Help vote on answers to good questions

discussion voting answers data-explorer

asked Oct 1 '18 at 20:41 Bjørn Kjos-HanssenMod 4,328

9

votes

0

answers

66

views

Broken button design

bug design

modified Aug 29 '18 at 8:40 Emil Jeřábek 14.1k

23

votes

1

answer

505

views

Is interesting activity on cstheory.stackexchange.com decreasing over the last year or so?

discussion

modified Aug 23 '18 at 21:28 Neal Young 7,598

12

votes

0

answers

132

views

2018 Community Moderator Election Results

discussion election

modified Jul 12 '18 at 16:00 Shog9 101

5

votes

2

answers

133

views

2018 Moderator Election Q&A - Questionnaire

discussion election

modified Jul 12 '18 at 14:28 CommunityBot 1

4

votes

1

answer

52

views

Tags for Sipser questions?

discussion

answered Jul 12 '18 at 7:08 Bjørn Kjos-HanssenMod 4,328

6

votes

4

answers

129

views

2018 Moderator Election Q&A - Question Collection

discussion election

modified Jun 25 '18 at 20:12 Grace NoteStaffMod 101

5

votes

0

answers

118

views

2018 Community Moderator Election

discussion moderators election

asked Jun 25 '18 at 20:07 CommunityBot 1

9

votes

2

answers

206

views

2018 Potential Moderator Election Community Interest Check

discussion election moderators

modified Jun 11 '18 at 6:12 Bjørn Kjos-HanssenMod 4,328

1

vote

1

answer

112

views

Who is George A Duckett? Can anyone just create a book out of our questions and answers?

discussion

modified May 9 '18 at 23:39 a3nm 7,253

6

votes

2

answers

54

views

Community Promotion Ads - 2018 [duplicate]

discussion community-ads

modified Jan 30 '18 at 19:26 Bjørn Kjos-HanssenMod 4,328

5

votes

0

answers

72

views

Looking for a collaborator in tree-automata, tree-grammars field

discussion feature-request

asked Nov 23 '17 at 14:31 Andrey Lebedev 615

10

votes

0

answers

221

views

What do we want to do about blog being discontinued?

discussion blog

modified Oct 29 '17 at 4:13 CommunityBot 1

8

votes

0

answers

170

views

2017 Moderator Election Q&A - Questionnaire

discussion election

modified Oct 9 '17 at 20:48 Shog9 101

8

votes

0

answers

270

views

2017 Moderator Election - We need more candidates!

discussion election

modified Oct 9 '17 at 20:48 Shog9 101

13

votes

0

answers

266

views

2017 Moderator Election has been cancelled

discussion election

asked Oct 9 '17 at 19:44 Grace NoteStaffMod 101

1

vote

1

answer

45

views

Election page sends us to nirvana instead of meta

bug status-completed election

answered Sep 27 '17 at 18:03 Adam LearStaffMod 101

6

votes

0

answers

125

views

2017 Community Moderator Election

discussion moderators election

asked Sep 25 '17 at 20:12 CommunityBot 1

4

votes

5

answers

86

views

2017 Moderator Election Q&A - Question Collection

discussion election

modified Sep 25 '17 at 20:06 Grace NoteStaffMod 101

4

votes

1

answer

83

views

Can I ask a historical question?

discussion

answered Jul 3 '17 at 19:37 Lev ReyzinMod 11.7k

Top Questions

Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.