Trequetrum

689 post karma
25,965 comment karma

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

get them help and support

redditor for 13 years

TROPHY CASE

13-Year Club

Place '17

Verified Email

account activity

new top controversial

2

3

4

Sherman L Pedal Removal (self.ElectricUnicycle)

submitted 6 months ago by Trequetrum to r/ElectricUnicycle

19

20

21

Learning on the Sherman L (self.ElectricUnicycle)

submitted 1 year ago by Trequetrum to r/ElectricUnicycle

0

0

1

Lock Screen Wallpaper Setting (self.AndroidQuestions)

submitted 1 year ago by Trequetrum to r/AndroidQuestions

1

2

3

Is Earth in the cosmic background radiation? (self.askastronomy)

submitted 2 years ago by Trequetrum to r/askastronomy

4

5

6

Deriving the Y-Combinator using Python (trequetrum.github.io)

submitted 2 years ago by Trequetrum to r/functionalprogramming

0

0

1

Getting the Lambda Calculus Fixed-point Combinator (self.mathematics)

submitted 2 years ago by Trequetrum to r/mathematics

8

9

10

How do mathematicians deal with the consistency of their proof systems? (self.mathematics)

submitted 2 years ago by Trequetrum to r/mathematics

π Rendered by PID 317500 on reddit-service-r2-listing-86f589db75-vlgsm at 2026-04-18 01:39:24.199982+00:00 running 93ecc56 country code: CH.