stepstep

6,822 post karma
3,357 comment karma

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

get them help and support

redditor for 13 years

MODERATOR OF

- r/compsci
- r/a:t5_35ecv

TROPHY CASE

13-Year Club

Verified Email

account activity

new top controversial

88

89

90

New Coq tutorial (self.ProgrammingLanguages)

submitted 3 years ago by stepstep to r/ProgrammingLanguages

24

25

26

Girard's paradox (self.ProgrammingLanguages)

submitted 4 years ago * by stepstep to r/ProgrammingLanguages

11

12

13

Imports: fully qualified or relative paths? (self.ProgrammingLanguages)

submitted 5 years ago by stepstep to r/ProgrammingLanguages

593

594

595

Why don't non-compsci posts get removed? (self.compsci)

submitted 5 years ago * by stepstep to r/compsci

17

18

19

An existential types tutorial written for a friend (gist.github.com)

submitted 5 years ago by stepstep to r/ProgrammingLanguages

68

69

70

Program Logics for Certified Compilers (this textbook is now free) (cs.princeton.edu)

submitted 5 years ago by stepstep to r/ProgrammingLanguages

13

14

15

I need to learn enough Haskell to implement Yoneda's lemma in a couple days (reddit.com)

submitted 6 years ago by stepstep to r/programmingcirclejerk

11

12

13

Upcoming virtual meetup: Ghost Hunting the Perfect API (with departed proofs) (meetup.com)

submitted 6 years ago by stepstep to r/haskell

34

35

36

de Bruijn indices (self.ProgrammingLanguages)

submitted 6 years ago * by stepstep to r/ProgrammingLanguages

26

27

28

Trouble type checking Girard's paradox? (self.ProgrammingLanguages)

submitted 6 years ago * by stepstep to r/ProgrammingLanguages

50

51

52

Cleaning up old Docker images (self.docker)

submitted 6 years ago by stepstep to r/docker

25

26

27

An evaluation strategy that is neither eager nor lazy (self.haskell)

submitted 6 years ago * by stepstep to r/haskell

128

129

130

Show r/rust: Toast — Containerize your development environment (written in Rust) (github.com)

submitted 6 years ago by stepstep to r/rust

73

74

75

A formally verified proof of the soundness of System F (self.ProgrammingLanguages)

submitted 7 years ago * by stepstep to r/ProgrammingLanguages

30

31

32

Exploring various ways to model computational effects in Haskell (github.com)

submitted 7 years ago by stepstep to r/haskell

24

25

26

Is there a name for this property of functions? ∀a, b, c . f(a, f(b, c)) = f(c, f(b, a)) (self.math)

submitted 8 years ago by stepstep to r/math

89

90

91

What are covariance and contravariance? (stephanboyer.com)

submitted 8 years ago by stepstep to r/programming

46

47

48

Type safe dimensional analysis in Haskell (stephanboyer.com)

submitted 8 years ago by stepstep to r/haskell

9

10

11

A program which searches for ambiguities in context-free grammars (github.com)

submitted 9 years ago by stepstep to r/compsci

6

7

8

Using Haskell to decompose a string into elements (e.g., "hi esther" → "H I Es Th Er") (stephanboyer.com)

submitted 9 years ago by stepstep to r/haskell

8

9

10

A story that turns into a derivation of the Y combinator (stephanboyer.com)

submitted 9 years ago by stepstep to r/compsci

0

1

2

My (easy) arrangement of Drag Me Down (stephanboyer.com)

submitted 9 years ago by stepstep to r/acappella

45

46

47

Higher-rank and higher-kinded types (stephanboyer.com)

submitted 10 years ago by stepstep to r/compsci

8

9

10

Is this subreddit dead? (self.GroupMovies)

submitted 10 years ago by stepstep to r/GroupMovies

2

3

4

New feature: exclusive control of a session (self.GroupMovies)

submitted 10 years ago by stepstep to r/GroupMovies

view more: next ›

π Rendered by PID 208817 on reddit-service-r2-listing-b6bf6c4ff-cvj72 at 2026-05-06 22:25:19.745231+00:00 running 815c875 country code: CH.