Skip to main content
Catalin Hritcu's user avatar
Catalin Hritcu's user avatar
Catalin Hritcu's user avatar
Catalin Hritcu
Tenured Faculty at MPI-SP
  • Member for 14 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
803
reputation
849k
reached
12
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
12
bronze badges
Top tags
View all tags
47
Score
3
Posts
25
Posts %
37
Score
4
Posts
33
Posts %
17
Score
1
Posts
8
Posts %
17
Score
1
Posts
8
Posts %
17
Score
1
Posts
8
Posts %
3
Score
2
Posts
17
Posts %
Top posts
View all questions, answers, and articles
35
Why is Github asking for username/password when following the instructions on screen and pushing a new repo?
Apr 1, 2014
17
Find the files existing in one directory but not in the other
Sep 4, 2016
8
Can git apply leave conflict markers inline like git rebase?
Sep 17, 2018
4
Resolve conflicts from am session
Sep 17, 2018
3
Referencing a theorem-like environment by its [name]
Jul 25, 2011
3
What programming languages can support mutation testing?
Feb 22, 2014
2
How to get GitHub commit notifications by email after January
Feb 5, 2019
2
Why isn't this FStar function accepted?
Jul 6, 2020
1
Trying to understand indexed types
May 24, 2020
1
Github Build and Deploy Error: No uploaded artifact was found
Jan 4, 2022
Top network posts
View all network posts
7
How can dmesg content be logged into a file?