Computer Science
Profile Activity
Meta user
Network profile
3,057
reputation
14
20

Alexey Romanov

A programmer and mathematician. Favorite languages: Haskell, Ruby, C#.
44
answers
2
questions
~127k
people reached

Communities (52)

Top network posts

Top tags (68)

Score 49
Posts 7
Posts % 15
Score 33
Posts 5
Score 29
Posts 6
Score 26
Posts 7
Score 16
Posts 5
Score 16
Posts 4
View all tags →

Top posts (46)

All Questions Answers
Votes Newest
52 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 12 '17
37 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
View all questions and answers →

Badges (34)

Gold

—

Silver

14

Rarest

Bronze

20

Rarest

View all badges →

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.