Badge

 Teacher Answered first question with score of 1 or more.

This badge has been awarded 1210 times. Recently awarded to:
1d ago
Certified compiler and optimizations in Coq/Agda — Number47 213
may 17 at 10:13
Is there such a thing as a state-based programming language? — Ashley McNeile 634
may 16 at 15:32
Density of Ramsey Graphs — Boris Bukh 27628
may 15 at 17:39
Understanding the “gap theorem” in geometric spanners — Michiel Smid 311
may 14 at 19:03
Finding a hamiltonian cycle in $G'$ given a hamiltonian cycle in $G$ — mikeazo 1364
may 13 at 7:36
Best known deterministic time complexity lower-bound for a natural problem in NP — P. Beame 811
may 12 at 21:17
A simple programming language? — tangentstorm 1112
may 12 at 19:22
Testing for equality with zero error — Milhous 1112
may 12 at 5:28
Approximation algorithms for Metric TSP — Guest 111
may 10 at 15:35
Best known deterministic time complexity lower-bound for a natural problem in NP — Alex Gonopolskiy 11
may 8 at 5:43
How to start studying topics Hardness of approximation and PCP's — chax 532
may 8 at 1:34
Self-organizing maps algorithm(Kohonen networks) — Ganesha 111
may 5 at 10:16
Funny TCS-related papers etc? — user13667 635
may 4 at 19:37
A simple programming language? — Romuald 1114
may 2 at 19:39
Sort with random deviations — Really_Need_A_Name 561
apr 30 at 10:26
Decision problem related to coloring — Igor Shinkar 1136
apr 28 at 2:52
Algorithm Suggestion for Scoring System - weighted solution — Steven 715
apr 25 at 8:04
3-coloring of specific planar graphs — Barry Cipra 111
apr 24 at 16:14
Boundedness of expected reward Markov chain — wece 1564
apr 24 at 13:49
Is there any reference on the hardness of approximation for 2-partition problem? — thomas 363
apr 23 at 20:42
Submodular functions: reference request — Sagar Kale 412
apr 23 at 7:26
Number of Maximum Overlap in n-Dimensions — Chao Xu 537413
apr 21 at 23:27
3-coloring of specific planar graphs — Barry Cipra 91
apr 21 at 15:50
3-coloring of specific planar graphs — Ram 91
apr 20 at 16:41
(post deleted or otherwise unavailable) — mhelvens 1466
apr 18 at 11:18
Can the human mind be efficiently simulated by a Turing machine ? — Rasto S. 445
apr 18 at 3:58
Conjectures implying Four Color Theorem — Peng O 312
apr 17 at 13:41
Clique problem on fixed graphs — user15669 412
apr 16 at 22:11
Teaching end-course material in a computational-models course — Haitham Gad 492
apr 14 at 17:29
(post deleted or otherwise unavailable) — COMP735Student 11
apr 14 at 8:34
One Stack, Two Queues — Alpha 1115
apr 13 at 15:13
Examples of the price of abstraction? — Erel Segal Halevi 1013
apr 8 at 21:50
Undecidability of program optimization — diesalbla 661
apr 7 at 21:51
(post deleted or otherwise unavailable) — mepcotterell 1013
apr 3 at 8:31
What videos should everybody watch? — Yash 11
mar 31 at 5:15
(post deleted or otherwise unavailable) — plmday 882213
mar 29 at 10:26
Approximation algorithm for graph problem — user7073 3612
mar 25 at 15:51
funsplit and polarity of Pi-types — Fredrik Nordvall Forsberg 811
mar 25 at 11:05
dependent types and higher-order logic applied in the realm of DSLs — pedagand 1235
mar 25 at 10:50
What is the logarithm or root operation in type-space? — pigworker 39616
mar 21 at 20:26
Subset sum vs. Subset product (strong vs. weak NP hardness) — Zelah 02 739211
mar 20 at 14:36
What are the recent TCS books whose drafts are available online? — Alin Stefanescu 11
mar 19 at 16:06
(post deleted or otherwise unavailable) — IDUEHE UDOM 11
mar 19 at 9:19
What are the recent TCS books whose drafts are available online? — Claudio Biale 11
mar 18 at 22:24
Are there families of formal languages known to be truly PAC learnable? — user14249 112
mar 17 at 23:03
Are any of the state of the art Maximum Flow algorithms practical? — Dhruv Batra 1012
mar 17 at 17:28
Sorting using a black box — user14004 2112
mar 16 at 22:32
(post deleted or otherwise unavailable) — AmeerJ 2058
mar 14 at 11:09
Does NP-completeness/hardness have to be constructive? — Or Sattath 411
mar 11 at 16:39
Context-free Grammar for a Context-free Language Intersecting a Regular Language (get the Maximum Number of Rules) — Jurij 543
mar 11 at 4:57
Instances of Noninteractive Zero knowlege Proofs — cryptocat 111
mar 10 at 16:02
Funny TCS-related papers etc? — user14122 11
mar 9 at 18:50
(post deleted or otherwise unavailable) — Akshay 11
mar 8 at 20:43
Can one return to a TCS research job after an excursion to a non-research industry job? — Siamak 111
mar 7 at 8:21
1st & 2nd quantization from TCS — Denny Dahl 111
mar 5 at 22:09
NP-Completeness of the decision problem for the generalized 15-puzzle — Listing 15117
mar 3 at 21:16
How do 'tactics' work in proof assistants? — Makarius 24527
mar 2 at 11:06
Quantum oracle implementation overhead — Slaviks 1245
mar 2 at 6:03
Source sending 0 transport units — eci 1261
mar 2 at 2:32
How should I think about proof nets? — Beniamino Accattoli 712
1 2 3 4 5 … 21