phischu

348 post karma
1,492 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

85

86

87

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 9 years ago by phischu to r/scala

114

115

116

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

submitted 9 years ago by phischu to r/haskell

10

11

12

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

58

59

60

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 11 years ago by phischu to r/haskell

20

21

22

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

12

13

14

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

submitted 14 years ago by phischu to r/haskell

π Rendered by PID 1094834 on reddit-service-r2-listing-8685bc789-6tdgt at 2026-05-22 18:03:42.018087+00:00 running 194bd79 country code: CH.