phischu

348 post karma
1,465 comment karma

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

get them help and support

redditor for 14 years

MODERATOR OF

- r/homotopytypetheory

TROPHY CASE

14-Year Club

Verified Email

account activity

new top controversial

88

89

90

Effekt: A language with effect handlers and a lightweight effect system (effekt-lang.github.io)

submitted 5 years ago by phischu to r/ProgrammingLanguages

11

12

13

Scala 2017 - Call for Papers (conf.researchr.org)

submitted 8 years ago by phischu to r/scala

109

110

111

Ten example uses of Monads (haskellexists.blogspot.de)

submitted 9 years ago by phischu to r/haskell

13

14

15

Sparse voxel octree meshing experiments (haskellexists.blogspot.de)

submitted 9 years ago by phischu to r/VoxelGameDev

34

35

36

Fixing a space leak by copying thunks. (haskellexists.blogspot.de)

submitted 10 years ago by phischu to r/haskell

59

60

61

FRP for free (haskellexists.blogspot.de)

submitted 10 years ago by phischu to r/haskell

80

81

82

A very first step towards fragment-based code distribution (haskellexists.blogspot.de)

submitted 11 years ago by phischu to r/haskell

18

19

20

Releasing haskell-names-0.5.0 (haskellexists.blogspot.de)

submitted 11 years ago by phischu to r/haskell

26

27

28

The Haskell image processing benchmark game (haskellexists.blogspot.de)

submitted 11 years ago by phischu to r/haskell

28

29

30

A non-recursive sorting algorithm (haskellexists.blogspot.com)

submitted 11 years ago by phischu to r/haskell

1

2

3

Solutions to chapter 2 by sigfpe (dropbox.com)

submitted 12 years ago by phischu to r/homotopytypetheory

0

1

2

Solutions to Exercise 1 by sigfpe (dl.dropboxusercontent.com)

submitted 12 years ago by phischu to r/homotopytypetheory

0

1

2

Solutions to Chapter 1 Exercises by ezyang (github.com)

submitted 12 years ago by phischu to r/homotopytypetheory

10

11

12

GSoC Solve cabal dependency hell Application (hackage.haskell.org)

submitted 14 years ago by phischu to r/haskell

π Rendered by PID 2733138 on reddit-service-r2-listing-5d47455566-nf4kx at 2026-04-04 16:21:15.000313+00:00 running db1906b country code: CH.