Skip to main content
Computer Science
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo
  • Member for 10 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
996
reputation
6k
reached
3
answers
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
21
bronze badges
Top tags
View all tags
5
Score
4
Posts
31
Posts %
2
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
Top posts
View all questions and answers
question
23
Basis sets for combinator calculus
May 16, 2016
question
16
A quine in pure lambda calculus
Feb 6, 2014
question
13
What functions can combinator calculus expressions compute?
May 15, 2016
question
11
Mathematical conjectures equivalent to the halting of a Turing machine
Dec 4, 2016
question
6
Combinator equivalent to eta conversion
May 12, 2016
question
5
Minimal requirements for Kleene's recursion theorem
Aug 19, 2016
question
5
Defining computable functions on arbitrary sets
Feb 26, 2018
answer
5
Minimal requirements for Kleene's recursion theorem
Aug 21, 2016
question
3
Has the notion of "non-cheating" quines been formalised?
Aug 20, 2016
question
2
Algorithm for finding cycles in a hypergraph
Nov 9, 2017
Top network posts
View all network posts
321
Write Moby Dick, approximately
259
Paint Starry Night, objectively, in 1kB of code
203
Why do sunbeams diverge even though the sun is much more than a few kilometers away?
164
If I drop a ball in an accelerating rocket, will it bounce? If so, how?
164
Why is the Penrose triangle "impossible"?