Code Golf
John Tromp's user avatar
John Tromp's user avatar
John Tromp's user avatar
John Tromp
  • Member for 11 years, 3 months
  • Last seen this week
Profile Activity
Stats
1,136
reputation
48k
reached
8
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
10
bronze badges
Top tags
View all tags
90
Score
5
Posts
62
Posts %
83
Score
3
Posts
38
Posts %
29
Score
1
Posts
12
Posts %
26
Score
1
Posts
12
Posts %
8
Score
3
Posts
38
Posts %
7
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
29
Interpret brainfuck
Sep 10, 2012
answer
28
Self-Interpreting Interpreter
Sep 10, 2012
answer
26
Write an interpreter for the untyped lambda calculus
Sep 10, 2012
answer
5
Laver table computations and an algorithm that is not known to terminate in ZFC
May 9, 2016
answer
4
Create the slowest growing function you can in under 100 bytes
Apr 29, 2020
answer
2
Output a list of all rational numbers
Sep 7, 2012
answer
2
List ALL prime-factorized natural numbers in ANY order
Sep 7, 2012
answer
2
Smallest chess board compression
Jul 24, 2021
Top Meta posts
1
0
10
Fair size comparison across languages with different source alphabets
Top network posts
View all network posts
22
What's the smallest $\lambda$-calculus term not known to have a normal form?
18
Do combinatory logic bases need a function of 3 variables?
14
What computational problems would be good proof-of-work problems for cryptocurrency mining?
11
Seeking proof of the Cuckoo Cycle Conjecture
8
Memory-hard proof-of-work: are they ASIC-resistant?

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.