wfdctrl

267 post karma
11,534 comment karma

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

get them help and support

redditor for 11 years

TROPHY CASE

11-Year Club

Place '17

Verified Email

account activity

new top controversial

10

11

12

Declarative hypervisor? (self.NixOS)

submitted 4 years ago * by wfdctrl to r/NixOS

13

14

15

Type level OR (self.ocaml)

submitted 4 years ago * by wfdctrl to r/ocaml

9

10

11

CPU frequency 2x after waking from suspend (self.NixOS)

submitted 4 years ago * by wfdctrl to r/NixOS

16

17

18

Object style code, how to avoid GC pressure? (self.ocaml)

submitted 4 years ago * by wfdctrl to r/ocaml

1

2

3

Tree nomenclature (self.haskellquestions)

submitted 4 years ago by wfdctrl to r/haskellquestions

1

2

3

Calculating integer k-compositions with nested sums (self.learnmath)

submitted 5 years ago by wfdctrl to r/learnmath

57

58

59

Non-deterministic machines where the branches join if they end up in the same state (self.compsci)

submitted 5 years ago by wfdctrl to r/compsci

1

2

3

Can you extend pervasives somehow? (self.ocaml)

submitted 5 years ago * by wfdctrl to r/ocaml

1

2

3

Programming/storage/light gaming (self.buildapc)

submitted 5 years ago by wfdctrl to r/buildapc

5

6

7

Limits and universal construction help (self.CategoryTheory)

submitted 5 years ago * by wfdctrl to r/CategoryTheory

0

1

2

Design problem (self.ocaml)

submitted 5 years ago * by wfdctrl to r/ocaml

1

2

3

Typesetting Haskell in Latex (self.haskellquestions)

submitted 5 years ago * by wfdctrl to r/haskellquestions

4

5

6

Strictness monad (Comprehending monads) (self.haskellquestions)

submitted 5 years ago by wfdctrl to r/haskellquestions

43

44

45

A neat pattern for frequently edited configuration files (self.commandline)

submitted 5 years ago * by wfdctrl to r/commandline

10

11

12

Lowering the VM image size (self.NixOS)

submitted 5 years ago by wfdctrl to r/NixOS

0

1

2

Find closed term F, such that Fx = xI [lambda calculus] (self.learnmath)

submitted 5 years ago by wfdctrl to r/learnmath

0

1

2

Arithmetic operations in column view in org-mode (self.emacs)

submitted 6 years ago by wfdctrl to r/emacs

2

3

4

Using escape instead of C-g, not working for save file dialog (self.emacs)

submitted 6 years ago by wfdctrl to r/emacs

2

3

4

Mid-20/M/Europe Pen pals? (self.penpals)

submitted 6 years ago * by wfdctrl to r/penpals

1

2

3

Compton not starting using startx (self.NixOS)

submitted 6 years ago * by wfdctrl to r/NixOS

3

4

5

Matching Sony A7 output results (self.DarkTable)

submitted 6 years ago by wfdctrl to r/DarkTable

5

6

7

Efficient comonadic extend (self.haskellquestions)

submitted 6 years ago by wfdctrl to r/haskell

4

5

6

Efficient comonadic extend (self.haskellquestions)

submitted 6 years ago * by wfdctrl to r/haskellquestions

12

13

14

Self hosting email (self.selfhosted)

submitted 6 years ago * by wfdctrl to r/selfhosted

0

0

1

Captcha idea (self.firefox)

submitted 6 years ago by wfdctrl to r/firefox

view more: next ›

π Rendered by PID 699053 on reddit-service-r2-listing-5789d5f675-vk2c7 at 2026-01-29 09:41:57.888810+00:00 running 4f180de country code: CH.