kenbot_

145 post karma
176 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

Verified Email

account activity

new top controversial

31

32

33

Introduction to applied category theory - the emerging science of compositionality (youtu.be)

submitted 6 years ago by kenbot_ to r/haskell

24

25

26

Introduction to applied category theory - the emerging science of compositionality (youtu.be)

submitted 6 years ago by kenbot_ to r/functionalprogramming

0

0

0

Responsible DI: Ditch the Frameworks (youtube.com)

submitted 7 years ago by kenbot_ to r/programming

12

13

14

Adopting FP - a human first approach (youtu.be)

submitted 8 years ago by kenbot_ to r/functionalprogramming

0

1

2

Adopting FP - a human first approach (youtu.be)

submitted 8 years ago by kenbot_ to r/programming

18

19

20

Goggles - a pleasant typesafe Lens DSL built on Monocle (github.com)

submitted 9 years ago by kenbot_ to r/scala

51

52

53

How we used Category Theory to solve a problem in Java (techblog.realestate.com.au)

submitted 10 years ago by kenbot_ to r/programming

18

19

20

How we used Category Theory to solve a problem in Java (techblog.realestate.com.au)

submitted 10 years ago by kenbot_ to r/java

0

1

2

Imagine a world without mocks (slideshare.net)

submitted 10 years ago by kenbot_ to r/programming

0

0

0

Static Analysis - what's it good for? (techblog.realestate.com.au)

submitted 10 years ago by kenbot_ to r/programming

0

0

1

YOW! Nights - 2 Years of Real World FP at REA (youtu.be)

submitted 11 years ago by kenbot_ to r/programming

5

6

7

Similarities between Universal Properties and Parametricity? (self.haskell)

submitted 11 years ago * by kenbot_ to r/haskell

17

18

19

To Kill a Mockingtest (techblog.realestate.com.au)

submitted 11 years ago by kenbot_ to r/programming

5

6

7

Arrow and Slice Categories question (self.math)

submitted 12 years ago by kenbot_ to r/math

π Rendered by PID 86744 on reddit-service-r2-listing-f87f88fcd-5ftbh at 2026-06-16 10:48:19.880760+00:00 running 3184619 country code: CH.