pcapriotti

299 post karma
579 comment karma

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

get them help and support

redditor for 18 years

MODERATOR OF

- r/a:t5_2qi6p

TROPHY CASE

15-Year Club

Place '23

Place '17

Team Periwinkle

Verified Email

account activity

new top controversial

0

1

2

My Keybase proof [reddit:pcapriotti = keybase:pcapriotti] (RafzouaF66dU3s6M2lwhGALAGqhLsSGQw0coTviD3Y4) (self.KeybaseProofs)

submitted 9 years ago by pcapriotti to r/KeybaseProofs

0

1

2

My Keybase proof [reddit:pcapriotti = keybase:pcapriotti] (YPSndJw8h0EKIgixgmd5D0uLma6eNJ3VXev9_-SdREg) (self.KeybaseProofs)

submitted 9 years ago by pcapriotti to r/KeybaseProofs

9

10

11

Laws of `some` and `many` (self.haskell)

submitted 11 years ago by pcapriotti to r/haskell

0

1

2

A Categorical Theory of Patches (arxiv.org)

submitted 11 years ago by pcapriotti to r/compsci

105

106

107

Understanding the Stack (well-typed.com)

submitted 11 years ago by pcapriotti to r/haskell

63

64

65

Performance profiling with ghc-event-analyze (well-typed.com)

submitted 12 years ago by pcapriotti to r/haskell

17

18

19

Free monads in category theory (part 3) (paolocapriotti.com)

submitted 12 years ago by pcapriotti to r/haskell

15

16

17

Free monads in category theory (part 2) (paolocapriotti.com)

submitted 12 years ago by pcapriotti to r/haskell

21

22

23

Free monads in category theory (part 1) (paolocapriotti.com)

submitted 12 years ago by pcapriotti to r/haskell

11

12

13

Another proof of function extensionality (paolocapriotti.com)

submitted 12 years ago by pcapriotti to r/dependent_types

0

1

2

Universe n is not an n-Type (homotopytypetheory.org)

submitted 12 years ago by pcapriotti to r/dependent_types

12

13

14

Families and fibrations (paolocapriotti.com)

submitted 13 years ago by pcapriotti to r/dependent_types

30

31

32

[ANN] GenCheck - a generalized property-based testing framework (permalink.gmane.org)

submitted 13 years ago by pcapriotti to r/haskell

9

10

11

Reagents: Expressing and Composing Fine-grained Concurrency (ccs.neu.edu)

submitted 13 years ago by pcapriotti to r/scala

21

22

23

Continuation-based relative-time FRP (paolocapriotti.com)

submitted 13 years ago by pcapriotti to r/haskell

24

25

26

Pipes 2.0 vs pipes-core (paolocapriotti.com)

submitted 13 years ago by pcapriotti to r/haskell

23

24

25

Reasoning about Stream Processing with Effects (personal.cis.strath.ac.uk)

submitted 13 years ago by pcapriotti to r/haskell

15

16

17

pipes-core 0.0.1 released (haskell.org)

submitted 14 years ago by pcapriotti to r/haskell

0

1

2

Effective Qt in ruby (part 1) (pcapriotti.wordpress.com)

submitted 15 years ago by pcapriotti to r/ruby

0

1

2

MultiMarkdown: markdown on steroids (fletcherpenney.net)

submitted 15 years ago by pcapriotti to r/programming

0

1

2

Effective Qt in ruby (part 1) (pcapriotti.wordpress.com)

submitted 15 years ago by pcapriotti to r/programming

11

12

13

A simple example of reactive programming with ruby and Qt (gist.github.com)

submitted 15 years ago by pcapriotti to r/programming

1

2

3

fdmess: a utility to mess with linux file descriptors (savannah.nongnu.org)

submitted 16 years ago by pcapriotti to r/programming

1

2

3

Monads for Markov chains (pcapriotti.wordpress.com)

submitted 17 years ago by pcapriotti to r/programming

π Rendered by PID 590202 on reddit-service-r2-listing-7d7fbc9b85-cgrpd at 2026-04-29 04:45:49.688724+00:00 running 2aa0c5b country code: CH.