Skip to main content
Code Golf
John Tromp's user avatar
John Tromp's user avatar
John Tromp's user avatar
John Tromp
  • Member for 13 years, 2 months
  • Last seen this week
Profile Activity

Stats

1,461
reputation
65k
reached
13
answers
1
question
Communities
View all

About

John Tromp is a Dutch computer scientist, programmer, puzzle designer/solver, Go player, chess player, recumbent rider, and googologist.

Badges

View all badges
This user doesn’t have any gold badges yet.
15
silver badges
14
bronze badges

Top tags

View all tags
117
Score
8
Posts
57
Posts %
87
Score
4
Posts
29
Posts %
31
Score
1
Posts
7
Posts %
29
Score
4
Posts
29
Posts %
28
Score
3
Posts
21
Posts %
24
Score
4
Posts
29
Posts %

Top posts

View all questions and answers
answer
31
Interpret brainfuck
Sep 10, 2012
answer
29
Self-Interpreting Interpreter
Sep 10, 2012
answer
27
Write an interpreter for the untyped lambda calculus
Sep 10, 2012
answer
17
Golf a number bigger than Loader's number
Aug 2, 2024
answer
10
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
question
3
Implement the simplest functional programming language
Jan 30, 2024
answer
3
Largest SKI output in less than 200 combinators
Oct 21, 2024
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

Top Meta posts

1
0
10
Fair size comparison across languages with different source alphabets

Top network posts

View all network posts
25
What's the smallest $\lambda$-calculus term not known to have a normal form?
23
Do combinatory logic bases need a function of 3 variables?
15
What computational problems would be good proof-of-work problems for cryptocurrency mining?
14
Using Busy Beavers to prove conjectures
11
Seeking proof of the Cuckoo Cycle Conjecture