Computer Science
user avatar
user avatar
user avatar
Alexey Romanov
  • Member for 10 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
3,107
reputation
139k
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.
16
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
Score Newest
answer
53
Why is writing down mathematical proofs more fault-proof than writing computer code?
Dec 12, 2017
answer
40
Why and how is a quantum computer faster than a regular computer?
Feb 17, 2014
answer
25
Checking equality of integers: O(1) in C but O(log n) in Python 3?
Jul 3, 2020
answer
16
Dependent types vs refinement types
Feb 17, 2014
question
10
Advantages of algorithm W over algorithm J for type inference in Hindley-Milner type system
Apr 3, 2018
answer
10
NP-Hard problems which are not NP-Complete
Nov 26, 2012
answer
10
Is L={<M>|M is a TM and L(M) is uncountable} decidable?
Apr 19, 2018
answer
10
Do theorem provers demonstrate their own correctness?
Jan 21, 2020
answer
9
Big-O and not little-o implies theta?
May 15, 2016
answer
9
What is the difference between abstract and concrete data structures?
Nov 15, 2012
Top network posts
View all network posts
547
Best way to store a key=>value array in JavaScript?
303
Why does make think the target is up to date?
131
Apache Spark: map vs mapPartitions?
119
Setting and using variable within same command line in Windows cmd.exe
114
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.