Computer Science
Meta user
Network profile
2,462
reputation
11
17

Alexey Romanov

A programmer and mathematician. Favorite languages: Haskell, Ruby, C#.
36
answers
1
question
~99k
people reached

Communities (50)

Top network posts

Top tags (57)

Score 31
Posts 5
Posts % 14
Score 26
Posts 5
Score 22
Posts 6
Score 21
Posts 5
Score 15
Posts 4
Score 15
Posts 3
View all tags →

Top posts (37) All Questions Answers | Votes Newest

49 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 12 '17
35 Why and how is a quantum computer faster than a regular computer? Feb 17 '14
15 Dependent types vs refinement types Feb 17 '14
10 NP-Hard problems which are not NP-Complete Nov 26 '12
10 Advantages of algorithm W over algorithm J for type inference in Hindley-Milner type system Apr 3 '18
9 Is L={<M>|M is a TM and L(M) is uncountable} decidable? Apr 19 '18
9 What is the difference between abstract and concrete data structures? Nov 15 '12
8 Big-O and not little-o implies theta? May 15 '16
8 Decision problem which belongs to P reduced to a decision problem which belongs to NP? Nov 29 '14
6 How come identity encodes absurdity Sep 21 '17
View all questions and answers →

Badges (28)

Gold

—

Silver

11

Rarest

Bronze

17

Rarest

View all badges →