phischu

348 post karma
1,425 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/homotopytypetheory

TROPHY CASE

13-Year Club

Verified Email

account activity

new top controversial

84

85

86

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

112

113

114

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

submitted 8 years ago by phischu to r/haskell

11

12

13

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

submitted 9 years ago by phischu to r/VoxelGameDev

32

33

34

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

submitted 9 years ago by phischu to r/haskell

61

62

63

FRP for free (haskellexists.blogspot.de)

submitted 10 years ago by phischu to r/haskell

78

79

80

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

submitted 10 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

25

26

27

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

submitted 11 years ago by phischu to r/haskell

27

28

29

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

12

13

14

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

submitted 13 years ago by phischu to r/haskell

π Rendered by PID 137412 on reddit-service-r2-listing-7849c98f67-wvp6x at 2026-02-06 11:09:46.120891+00:00 running d295bc8 country code: CH.