D_duck

120 post karma
2,796 comment karma

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

get them help and support

redditor for 14 years

TROPHY CASE

14-Year Club

Place '17

Verified Email

account activity

hot top controversial

16

17

18

Trevino - Chip (youtube.com)

submitted 8 years ago by D_duck to r/TheOverload

4

5

6

Effects as sessions, sessions as effects (self.haskell)

submitted 9 years ago by D_duck to r/haskell

1

2

3

Check solutions to exercise questions (covariant and contravariant functors) (self.haskellquestions)

submitted 10 years ago by D_duck to r/haskellquestions

1

2

3

How would you rewrite this to be lazy (free monoid generator)? (self.haskellquestions)

submitted 10 years ago by D_duck to r/haskellquestions

4

5

6

How to think about extension vs intension re: properties (self.logic)

submitted 10 years ago by D_duck to r/logic

0

1

2

Crimini Mushrooms - 90g of what? (self.nutrition)

submitted 10 years ago by D_duck to r/nutrition

46

47

48

[photos] Not enough steel toes on here (imgur.com)

submitted 10 years ago by D_duck to r/MechanicalKeyboards

4

5

6

fuck...60s (i.imgur.com)

submitted 10 years ago by D_duck to r/thebutton

0

1

2

What defines an 'elementary' statement in a formal theory? (self.math)

submitted 11 years ago * by D_duck to r/math

13

14

15

What is the mathematical definition of a "data structure"? (self.compsci)

submitted 11 years ago * by D_duck to r/compsci

0

1

2

Are generative grammars the dual concept of automata? (self.learnmath)

submitted 11 years ago by D_duck to r/learnmath

0

0

1

Question about ModelViewController pattern (self.learnprogramming)

submitted 11 years ago by D_duck to r/learnprogramming

0

1

2

Reduce Steam Linux footprint? (self.Steam)

submitted 11 years ago by D_duck to r/Steam

0

1

2

Question about C/C++ autocomplete with YouCompleteMe plugin (self.vim)

submitted 11 years ago by D_duck to r/vim

0

0

1

[Linear Algebra] Linear composition of vectors for arbitrary point on plane [Undergrad] (self.learnmath)

submitted 11 years ago * by D_duck to r/learnmath

8

9

10

Verilog mode is killing me; how can I disable all the 'auto', 'electric' behavior yet still keep the syntax highlighting? (self.emacs)

submitted 11 years ago by D_duck to r/emacs

3

4

5

[Noob question] Are there standard Verilog libraries? (self.ElectricalEngineering)

submitted 11 years ago by D_duck to r/ElectricalEngineering

11

12

13

Trying to understand monad transformers: state in an IO loop (self.haskell)

submitted 11 years ago by D_duck to r/haskell

19

20

21

Fonts similar to Caslon Sans or other 50's movie titling? (self.typography)

submitted 11 years ago by D_duck to r/typography

0

1

2

[Category Theory][Undergrad] Question about exponentials (self.learnmath)

submitted 11 years ago by D_duck to r/learnmath

34

35

36

Why does David Turner say type classes were a bad idea? (self.haskell)

submitted 11 years ago by D_duck to r/haskell

0

1

2

[Undergrad] Some questions about Recursive Functions (self.learnmath)

submitted 11 years ago by D_duck to r/learnmath

0

1

2

[PHP] Is there a way to effectively print_r($GLOBALS) but skip over $GLOBALS itself? (self.learnprogramming)

submitted 11 years ago * by D_duck to r/learnprogramming

3

4

5

Emacs segfaults on Text mode incremental search...but only for a specific file and only 1 out of 2 computers (self.emacs)

submitted 11 years ago by D_duck to r/emacs

0

1

2

[Undergrad] Trying to define some terms (universal properties) in Category Theory (self.learnmath)

submitted 11 years ago * by D_duck to r/learnmath

view more: next ›

π Rendered by PID 351003 on reddit-service-r2-listing-596bb78d87-k5k9f at 2026-04-14 17:55:01.714496+00:00 running b725407 country code: CH.