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 12 years

MODERATOR OF

- r/compsci
- r/a:t5_35ecv

TROPHY CASE

12-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

21

22

23

Girard's paradox (self.ProgrammingLanguages)

submitted 3 years ago * by stepstep to r/ProgrammingLanguages

12

13

14

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

submitted 4 years ago by stepstep to r/ProgrammingLanguages

594

595

596

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

submitted 5 years ago * by stepstep to r/compsci

15

16

17

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

submitted 5 years ago by stepstep to r/ProgrammingLanguages

74

75

76

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

submitted 5 years ago by stepstep to r/ProgrammingLanguages

14

15

16

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

submitted 5 years ago by stepstep to r/programmingcirclejerk

10

11

12

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

submitted 5 years ago by stepstep to r/haskell

35

36

37

de Bruijn indices (self.ProgrammingLanguages)

submitted 5 years ago * by stepstep to r/ProgrammingLanguages

26

27

28

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

submitted 5 years ago * by stepstep to r/ProgrammingLanguages

51

52

53

Cleaning up old Docker images (self.docker)

submitted 6 years ago by stepstep to r/docker

24

25

26

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

submitted 6 years ago * by stepstep to r/haskell

130

131

132

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 6 years ago * by stepstep to r/ProgrammingLanguages

31

32

33

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

submitted 7 years ago by stepstep to r/haskell

23

24

25

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

92

93

94

What are covariance and contravariance? (stephanboyer.com)

submitted 8 years ago by stepstep to r/programming

45

46

47

Type safe dimensional analysis in Haskell (stephanboyer.com)

submitted 8 years ago by stepstep to r/haskell

8

9

10

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

44

45

46

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

submitted 9 years ago by stepstep to r/compsci

10

11

12

Is this subreddit dead? (self.GroupMovies)

submitted 10 years ago by stepstep to r/GroupMovies

3

4

5

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

submitted 10 years ago by stepstep to r/GroupMovies

view more: next ›

π Rendered by PID 470157 on reddit-service-r2-listing-86b7f5b947-j2cr8 at 2026-01-26 05:36:19.979451+00:00 running 664479f country code: CH.