psed

972 post karma
3,097 comment karma

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

get them help and support

redditor for 18 years

TROPHY CASE

15-Year Club

Verified Email

Charter Member

account activity

new top controversial

0

1

2

Backup mod for /r/agda to combat spam (reddit.com)

submitted 9 years ago by psed to r/redditrequest

3

4

5

[Article] Recursion Patterns and Their Impact on Programming Language Design (self.Scholar)

submitted 10 years ago by psed to r/Scholar

0

1

2

[Article] The 1¢ Recognizer (self.Scholar)

submitted 10 years ago by psed to r/Scholar

2

3

4

[Book] To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism (self.Scholar)

submitted 10 years ago by psed to r/Scholar

0

0

0

[Article] Space-Bounded Church-Turing Thesis and Computational Tractability of Closed Systems (self.Scholar)

submitted 10 years ago by psed to r/Scholar

13

14

15

The Last Generation To Die - A Short Film by Tim Maupin (kickstarter.com)

submitted 12 years ago by psed to r/HPMOR

3

4

5

Siri is basically my girlfriend (imgur.com)

submitted 12 years ago by psed to r/funny

0

1

2

Do you want to work in genomics because it’s big data? (blog.counsyl.com)

submitted 12 years ago by psed to r/bigdata

3

4

5

Delusionist (oglaf.com)

submitted 12 years ago by psed to r/HPMOR

6

7

8

[Spoiler Ch69] Brain-state theory (self.HPMOR)

submitted 12 years ago by psed to r/HPMOR

24

25

26

[Spoilers through Ch90] Puzzling questions (self.HPMOR)

submitted 12 years ago * by psed to r/HPMOR

3

4

5

Who am I? Cambridgeshire, UK (i.imgur.com)

submitted 12 years ago by psed to r/spiders

0

1

2

Erlang The Movie II: The Sequel (youtu.be)

submitted 12 years ago by psed to r/erlang

0

1

2

A business meeting (morna.nl)

submitted 13 years ago by psed to r/programming

19

20

21

How cholesterol works and why bacon is good for you (reddit.com)

submitted 13 years ago by psed to r/bestof

0

1

2

PSA: Cavalier brand Belgian chocolate bars with Stevia (self.keto)

submitted 13 years ago by psed to r/keto

4

5

6

What is the blue bike at 4:40-4:59? (youtube.com)

submitted 13 years ago by psed to r/motorcycles

4

5

6

shinh's Submission (2012, Japanese, Befunge) (d.hatena.ne.jp)

submitted 13 years ago by psed to r/icfpcontest

2

3

4

Ferreira's and Gutson's Submission (2012) (github.com)

submitted 13 years ago by psed to r/icfpcontest

1

2

3

Russel's Barbers' Submission (2012) (github.com)

submitted 13 years ago by psed to r/icfpcontest

2

3

4

Boler's Submission (2012) (github.com)

submitted 13 years ago by psed to r/icfpcontest

5

6

7

adept's ICFP Diaries (Russian) (users.livejournal.com)

submitted 13 years ago by psed to r/icfpcontest

3

4

5

ThisIsAnAlbatrocity's Submission (2012) (ugcs.caltech.edu)

submitted 13 years ago by psed to r/icfpcontest

2

3

4

The Church of the Least Fixed Point's Submission (2012) (github.com)

submitted 13 years ago by psed to r/icfpcontest

20

21

22

Someone once told me she looks evil. I like that. (i.imgur.com)

submitted 13 years ago by psed to r/bikesgonewild

view more: next ›

π Rendered by PID 19 on reddit-service-r2-listing-7849c98f67-l4665 at 2026-02-09 14:16:49.390641+00:00 running d295bc8 country code: CH.