Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta user
Network profile
471
reputation
3
8

xavierm02

Apparently, this user prefers to keep an air of mystery about them.

8
answers
0
questions
~2k
people reached
  • France
  • xavierm02.net
  • Member for 4 years, 10 months
  • 20 profile views
  • Last seen yesterday

Communities (56)

Top network posts

Top tags (14)

Score 14
Posts 2
Posts % 25
Score 13
Posts 4
Score 12
Posts 1
Score 12
Posts 1
Score 6
Posts 1
Score 4
Posts 1
View all tags →

Top posts (8) All Questions Answers | Votes Newest

12 Philosophy behind monotonicity requirement for inductive types Jan 29 '18
6 Krivine's notation for lambda-terms Aug 24 '17
4 Determining how n-tuples are sorted as you search them? May 9
4 If machine learning techniques keep improving, what's the role of algorithmics in the future? May 12 '17
4 Necessary and sufficient number of comparisons by every element to fully sort a set of n elements? May 16 '17
2 Definitional equality of recursive function definition by “infinite unfolding” Feb 13
1 Determining how n-tuples are sorted as you search them? May 11
1 Does a given regular language contain an infinite prefix-free subset? Jan 8

Badges (11)

Gold

—

Silver

3

Rarest

Bronze

8

Rarest

View all badges →