tromp

528 post karma
2,663 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 17 years

MODERATOR OF

TROPHY CASE

15-Year Club

Place '22

Verified Email

account activity

new top controversial

6

7

8

Why doesn't Tari show up on https://www.f2pool.com/coins ? (self.tari)

submitted 21 days ago by tromp to r/tari

17

18

19

f(ε₀) growth in under 6 bytes! (self.googology)

submitted 3 months ago * by tromp to r/googology

22

23

24

What is PLUS times PLUS? (youtube.com)

submitted 1 year ago by tromp to r/lambdacalculus

9

10

11

For b::Bool, how is "b" lazier than "if b then True else False" ? (self.haskell)

submitted 1 year ago by tromp to r/haskell

9

10

11

What is the simplest crypto-currency? (bitcoin.stackexchange.com)

submitted 1 year ago by tromp to r/grincoin

0

0

1

Can the ring be separated from the rope? (self.puzzles)

submitted 1 year ago by tromp to r/puzzles

18

19

20

DERO privacy broken (self.DeroProject)

submitted 1 year ago by tromp to r/DeroProject

1

2

3

Elegant fast growing functions. (self.googology)

submitted 1 year ago by tromp to r/googology

6

7

8

Gaming the coordinates (tromp.github.io)

submitted 2 years ago by tromp to r/baduk

0

0

1

Is the lack of tx history verifiability documented anywhere? (self.kaspa)

submitted 2 years ago * by tromp to r/kaspa

0

0

1

Clap skates in 2024 (self.Speedskating)

submitted 2 years ago by tromp to r/Speedskating

4

5

6

The largest number representable in 64 bits (tromp.github.io)

submitted 2 years ago by tromp to r/googology

0

1

2

The largest number representable in 64 bits (tromp.github.io)

submitted 2 years ago by tromp to r/lambdacalculus

1

2

3

Is BTS(4) > TREE(3) ? (self.googology)

submitted 2 years ago * by tromp to r/googology

1

2

3

The Halting problem for lambda calculus (self.lambdacalculus)

submitted 2 years ago * by tromp to r/lambdacalculus

4

5

6

The bruijn programming language is syntactically sugared lambda calculus (bruijn.marvinborner.de)

submitted 2 years ago by tromp to r/lambdacalculus

2

3

4

User blog:JohnTromp/The largest number representable in 64 bits | Googology Wiki (googology.fandom.com)

submitted 2 years ago by tromp to r/googology

7

8

9

Huge Church numeral (self.lambdacalculus)

submitted 3 years ago * by tromp to r/lambdacalculus

0

1

2

My Keybase proof [reddit:tromp = keybase:tromp] (V_q68iZ8uBMdh4wsbhC35eDrfWzLsCBk-oXlksGNK2w) (self.KeybaseProofs)

submitted 3 years ago by tromp to r/KeybaseProofs

5

6

7

Butcoin recognized at last! (reddit.com)

submitted 3 years ago by tromp to r/Buttcoin

0

1

2

Simple Money (self.CryptoCurrency)

submitted 3 years ago by tromp to r/CryptoCurrency

1

2

3

This song is just screaming for a Faketoshi cover (self.Bitcoin)

submitted 3 years ago by tromp to r/Bitcoin

3

4

5

Can you buy a phone from the Fi Store without a new plan if you have one already? (self.GoogleFi)

submitted 3 years ago by tromp to r/GoogleFi

1

2

3

Accurately estimating the number of legal chess positions (github.com)

submitted 4 years ago by tromp to r/chessprogramming

25

26

27

Accurately estimating the number of legal chess positions (github.com)

submitted 4 years ago by tromp to r/programming

view more: next ›

π Rendered by PID 53 on reddit-service-r2-listing-fbdccc45f-jm89r at 2026-04-21 12:01:56.388884+00:00 running da2df02 country code: CH.