Computer Science
Alexey Romanov
  • Member for 9 years, 10 months
  • Last seen this week
Profile Activity
Stats
3,097
reputation
133k
reached
44
answers
2
questions
Communities
View all
About
A programmer and mathematician. Favorite languages: Haskell, Ruby, C#.
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
20
bronze badges
Top tags
View all tags
49
Score
7
Posts
15
Posts %
33
Score
5
Posts
11
Posts %
30
Score
6
Posts
13
Posts %
26
Score
7
Posts
15
Posts %
16
Score
5
Posts
11
Posts %
16
Score
4
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
53
Why is writing down mathematical proofs more fault-proof than writing computer code?
Dec 12 '17
39
Why and how is a quantum computer faster than a regular computer?
Feb 17 '14
25
Checking equality of integers: O(1) in C but O(log n) in Python 3?
Jul 3 '20
16
Dependent types vs refinement types
Feb 17 '14
10
Do theorem provers demonstrate their own correctness?
Jan 21 '20
10
Is L={<M>|M is a TM and L(M) is uncountable} decidable?
Apr 19 '18
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
Big-O and not little-o implies theta?
May 15 '16
9
Decision problem which belongs to P reduced to a decision problem which belongs to NP?
Nov 29 '14
Top network posts
View all network posts
522
Best way to store a key=>value array in JavaScript?
288
Why does make think the target is up to date?
130
Apache Spark: map vs mapPartitions?
118
Setting and using variable within same command line in Windows cmd.exe
102
How to not do anything on the "rest case" when matching a string?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.