Computer Science
xavierm02's user avatar
xavierm02's user avatar
xavierm02's user avatar
xavierm02
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
1,245
reputation
26k
reached
32
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
14
bronze badges
Top tags
View all tags
20
Score
5
Posts
13
Posts %
10
Score
3
Posts
8
Posts %
9
Score
5
Posts
13
Posts %
9
Score
5
Posts
13
Posts %
7
Score
6
Posts
15
Posts %
7
Score
2
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
Confluence of beta expansion
Nov 2, 2018
answer
10
Collection of real world non computable programming tasks
Apr 7, 2017
answer
9
unambiguous grammar that produce equal number of a and b
Oct 13, 2016
answer
6
What questions can denotational semantics answer that operational semantics can't?
Sep 26, 2016
question
5
Zero-knowledge proof of $\beta\eta$ equality
Dec 18, 2019
answer
5
The 'directionality' of reductions?
Nov 14, 2017
answer
4
What is the complexity for the universality problem for a NFA with all states accepting?
Feb 10, 2017
answer
4
What exactly is the semantic difference between set and type?
Apr 30, 2018
question
3
Is the number of tests needed to know if a program computes the identity computable?
Dec 10, 2017
answer
3
An one-sentence proof of P ⊆ NP
May 20, 2016
Top network posts
View all network posts
663
How can I remove a specific item from an array in JavaScript?
113
Can't enter BIOS password containing "!"
31
Can't enter BIOS password containing "!"
19
Prove $|e^{i\theta} -1| \leq |\theta|$
18
What does the notation $f\colon A\to B$ mean?

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.