Editor

Editor

First edit.

Awarded 3444 times.

How to build comparison operator (comparator) in an arithmetic circuit

Awarded 1 hour ago

user53169

11 bronze badge

Razborov-Smolensky polynomial argument on $\textrm{ACC}[q]$ where $q$ is a prime power

Awarded Jun 21 at 22:35

Cyrus Rashtchian

414 bronze badges

Lower bound for permutation generator

Awarded Jun 21 at 7:10

MrMartin

11 bronze badge

Can Isorecursive types capture mutually recursive data types?

Awarded Jun 18 at 22:10

gadmm

535 bronze badges

Partially persistent linked list data structure: would lookup of the first element at a specific version be O(|versions|) and not O(1)?

Awarded Jun 18 at 20:10

Peeyush Kushwaha

1014 bronze badges

“Almost sorting” integers in linear time

Awarded Jun 15 at 12:40

David

1881 silver badge7 bronze badges

Oracle separation between PH and PSPACE

Awarded Jun 14 at 20:45

BlackHat18

72 bronze badges

Is it possible to sort by only knowing the sign of pairwise sums?

Awarded Jun 14 at 8:10

multiplex

61 bronze badge

(post deleted or otherwise unavailable)

Awarded Jun 13 at 15:55

Filip Dimitrovski

1012 bronze badges

How do continuations represent negations (under the Curry–Howard correspondence)?

Awarded Jun 12 at 23:40

greatBigDot

183 bronze badges

Out of order arrival in LCFS scenario

Awarded Jun 10 at 22:20

user3656142

11 bronze badge

Why not include private randomness in internal communication information definition?

Awarded Jun 8 at 14:50

user135743

133 bronze badges

How much computer science / software experience is needed for a math major to do work in AI?

Awarded Jun 5 at 18:10

Tim The Human

61 bronze badge

(post deleted or otherwise unavailable)

Awarded Jun 3 at 10:15

Mingjia Huo

11 bronze badge

(post deleted or otherwise unavailable)

Awarded May 30 at 3:40

user8020342

11 bronze badge

Technical issue with PCP theorem proof

Awarded May 25 at 21:40

Lem n

12 bronze badges

The proof of P2b in Paxos made simple

Awarded May 23 at 3:00

MuchToLearn

33 bronze badges

TSP variant in which edge costs depend on the already visited vertices

Awarded May 21 at 13:00

J. Schoeters

63 bronze badges

Graph path problem [duplicate]

Awarded May 21 at 10:00

user120250

32 bronze badges

finding smallest k elements in array in O(k)

Awarded May 19 at 13:40

hqztrue

876 bronze badges

(post deleted or otherwise unavailable)

Awarded May 18 at 5:10

A Alw

11 bronze badge

What's the relation between OOP and category theory?

Awarded May 17 at 18:00

Kevin Clancy

985 bronze badges

(post deleted or otherwise unavailable)

Awarded May 17 at 8:50

Anima

12 bronze badges

(post deleted or otherwise unavailable)

Awarded May 15 at 19:15

PL_OLCOTT

11 bronze badge

What's the status of Babai's Graph isomorphism result?

Awarded May 15 at 16:00

Amrinder Arora

1013 bronze badges

(post deleted or otherwise unavailable)

Awarded May 14 at 18:50

Ujkan Sulejmani

11 bronze badge

(post deleted or otherwise unavailable)

Awarded May 14 at 17:55

Toothpick Anemone

1011 bronze badge

(post deleted or otherwise unavailable)

Awarded May 13 at 21:05

Does it matter

1012 bronze badges

Reference request: Shortest homotopic curve via vertex releases

Awarded May 13 at 7:00

Gabriel Nivasch

1364 bronze badges

Determining how n-tuples are sorted as you search them?

Awarded May 8 at 21:25

Display Name

2004 bronze badges

(post deleted or otherwise unavailable)

Awarded May 7 at 16:35

stats_man97531

11 bronze badge

Termination checking for Scott-encodings in System F with positive-recursive types

Awarded May 7 at 8:45

Rodolphe Lepigre

3113 silver badges8 bronze badges

How to use a 𝑝-coin so a TM can decide an undecidable language in polynomial time? [closed]

Awarded May 7 at 4:15

Hope

143 bronze badges

Hardness of LWE on not-uniform vector samples

Awarded May 6 at 12:00

Bartolinio

1114 bronze badges

Turing Machines as Coalgebras

Awarded May 3 at 8:25

Henning Basold

3161 silver badge6 bronze badges

(post deleted or otherwise unavailable)

Awarded May 1 at 22:10

NatMath

13 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 29 at 20:40

Adam Venis

1013 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 29 at 19:20

asv

1011 bronze badge

Finding the maximum no. of people who get along in a group [closed]

Awarded Apr 28 at 14:15

Christopher Mowla

974 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 24 at 14:35

codeandkey

12 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 21 at 19:25

Landau

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Apr 21 at 15:10

manzana

12 bronze badges

Densest k subgraph problem for outerplanar graphs?

Awarded Apr 21 at 0:45

ChimiSeanGa

142 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 20 at 14:20

lapots

1013 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 17 at 13:50

andreee

1014 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 17 at 13:25

Travis Wells

14 bronze badges

Single author papers against my advisor's will?

Awarded Apr 17 at 0:30

Anonymous

192 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 16 at 9:00

user51340

513 bronze badges

Largest “non-disturbing” subset in a graph

Awarded Apr 12 at 7:30

Egor Skriptunoff

1312 bronze badges

Tradeoff between running time and depth in neural network

Awarded Apr 10 at 23:30

Robin S.

113 bronze badges

Estimating inner product over $[r]^d$

Awarded Apr 10 at 20:30

Dawei Huang

535 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 10 at 15:25

Brian Luvalle

12 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 8 at 12:05

Yamar69

1108 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 7 at 17:00

SapereAude

13 bronze badges

Reference request: microbenchmarking

Awarded Apr 7 at 16:45

Araz Abishov

1063 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 6 at 21:30

JulienLM

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Apr 5 at 6:45

Pablo Messina

11 bronze badge

What do we know about provably correct programs?

Awarded Apr 4 at 7:05

n.gaurav

32 bronze badges

Canonical complete problem for $\mathrm{FP}^{\Sigma^p_2}$

Awarded Apr 1 at 15:45

mnajib

62 bronze badges

Defining primitive recursive functions over general data types

Awarded Apr 1 at 1:35

Stephen Skeirik

213 bronze badges

Stack Exchange Network

current community

your communities

more stack exchange communities

Help Center > Badges > Editor