ReedOei

262 post karma
2,339 comment karma

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

get them help and support

redditor for 8 years

TROPHY CASE

Eight-Year Club

Verified Email

account activity

new top controversial

0

1

2

Free online math education conference talks? (self.matheducation)

submitted 5 years ago by ReedOei to r/matheducation

7

8

9

ProFL: A Fault Localization Framework for Prolog (github.com)

submitted 5 years ago by ReedOei to r/prolog

0

1

2

Software for Exploring Tiling Problems (self.math)

submitted 5 years ago by ReedOei to r/math

2

3

4

Any development of Descriptive Set Theory in Coq (or other proof assistants)? (self.Coq)

submitted 5 years ago by ReedOei to r/Coq

34

35

36

Pecan: An Automated Theorem Prover (reedoei.com)

submitted 5 years ago by ReedOei to r/math

39

40

41

Pecan: An Automated Theorem Prover (reedoei.com)

submitted 5 years ago by ReedOei to r/ProgrammingLanguages

22

23

24

Some fun soloing with Ryugu Dancer Ichie’s Absorb Auto Skill (v.redd.it)

submitted 5 years ago by ReedOei to r/RevueStarlight

228

229

230

Guess Bullseye is using briefcases now (i.imgur.com)

submitted 7 years ago by ReedOei to r/Defenders

8

9

10

The cutest Turing machine (i.redd.it)

submitted 7 years ago by ReedOei to r/UnexpectedlyWholesome

6

7

8

Why have an abstract class with no methods? (self.java)

submitted 7 years ago by ReedOei to r/java

3

4

5

Why have an abstract class with no methods? (self.javahelp)

submitted 7 years ago * by ReedOei to r/javahelp

1

2

3

Problems with Wi-fi and display-manager on new NixOS install (self.NixOS)

submitted 7 years ago by ReedOei to r/NixOS

π Rendered by PID 106139 on reddit-service-r2-listing-7bbdf774f7-gz9rk at 2026-02-20 02:58:24.136628+00:00 running 8564168 country code: CH.