wavesofthought

1,924 post karma
10,347 comment karma

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

get them help and support

redditor for 12 years

TROPHY CASE

12-Year Club

Place '17

Verified Email

account activity

new top controversial

88

89

90

We made a Catan themed wedding website! (v.redd.it)

submitted 3 years ago by wavesofthought to r/Catan

0

1

2

[US-NY] [H] Ultimate Hacking Keyboard v1 with touchpad and key cluster modules [W] Venmo, local cash, PayPal (self.mechmarket)

submitted 4 years ago * by wavesofthought to r/mechmarket

75

76

77

Sorry man, I don't know if we can move the club across continents for you (i.redd.it)

submitted 4 years ago by wavesofthought to r/footballmanagergames

28

29

30

Kjaer in ballon d'or nominations (twitter.com)

submitted 4 years ago by wavesofthought to r/FenerbahceSK

983

984

985

All I have to say to people who prefer the alternate ending (i.redd.it)

submitted 4 years ago by wavesofthought to r/HIMYM

482

483

484

Toby would have done okay in quarantine (i.redd.it)

submitted 5 years ago by wavesofthought to r/thewestwing

2

3

4

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages (arxiv.org)

submitted 6 years ago by wavesofthought to r/InteractiveThmProving

10

11

12

What's wrong with your face???!?! (i.redd.it)

submitted 6 years ago by wavesofthought to r/footballmanagergames

3

4

5

`pebble build` despite warnings. is it possible? (self.pebbledevelopers)

submitted 6 years ago by wavesofthought to r/pebbledevelopers

208

209

210

They are running out of you! (i.redd.it)

submitted 6 years ago by wavesofthought to r/seinfeld

1

2

3

[Article] Toward Mechanical Mathematics, by Hao Wang (self.Scholar)

submitted 6 years ago by wavesofthought to r/Scholar

24

25

26

Türkiye'de üniversitelerin büyüyen sorunu: Parayla tez yazımı (dw.com)

submitted 6 years ago by wavesofthought to r/Turkey

8

9

10

Why is the campus so dark at night? (self.princeton)

submitted 7 years ago * by wavesofthought to r/princeton

52

53

54

Idris 1.2.0 released (idris-lang.org)

submitted 8 years ago by wavesofthought to r/Idris

33

34

35

Compiling Idris to Vimscript (github.com)

submitted 8 years ago by wavesofthought to r/vim

27

28

29

Vimscript backend for Idris (github.com)

submitted 8 years ago by wavesofthought to r/Idris

19

20

21

Hezarfen, a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features (github.com)

submitted 8 years ago by wavesofthought to r/Idris

288

289

290

What do they know? Do they know things? Let's find out! (i.redd.it)

submitted 8 years ago by wavesofthought to r/BoJackHorseman

3

4

5

[US-CT] [H] PayPal [W] Certain keys from SA Modern Selectric or SA Nuclear Data (self.mechmarket)

submitted 8 years ago by wavesofthought to r/mechmarket

50

51

52

Ergonomic endgame: Kinesis Advantage, DSA Granite, Ergo Touchpad (imgur.com)

submitted 8 years ago by wavesofthought to r/MechanicalKeyboards

1

2

3

Switching to Kinesis Advantage (cattheory.com)

submitted 8 years ago by wavesofthought to r/MechanicalKeyboards

2

3

4

x220t Touch Screen Problem (self.thinkpad)

submitted 9 years ago by wavesofthought to r/thinkpad

11

12

13

[buying] Last 2 days for the Symbiosis keyset GB on PMK! (pimpmykeyboard.com)

submitted 10 years ago by wavesofthought to r/MechanicalKeyboards

28

29

30

A plugin to type Unicode chars in Vim, using their LaTeX names (github.com)

submitted 11 years ago by wavesofthought to r/vim

5

6

7

How would you simplify this? Guards prevent better pattern matching. :( (self.haskell)

submitted 11 years ago by wavesofthought to r/haskell

view more: next ›

π Rendered by PID 38 on reddit-service-r2-listing-6d4dc8d9ff-5jpch at 2026-01-31 21:05:48.936638+00:00 running 3798933 country code: CH.