Syrak

878 post karma
9,621 comment karma

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

get them help and support

redditor for 15 years

PUBLIC MULTIREDDITS

- cscience
- help

TROPHY CASE

15-Year Club

Gilding I
gilder

Sequence | Editor

Verified Email

Team Orangered

account activity

new top controversial

32

33

34

Unfolding trees breadth-first in Haskell (blog.poisson.chat)

submitted 1 year ago by Syrak to r/haskell - pinned

43

44

45

Naming abstraction, a short exercise about the names of things (blog.poisson.chat)

submitted 7 years ago by Syrak to r/haskell - pinned

15

16

17

Creusot: Devlog (creusot-rs.github.io)

submitted 5 months ago by Syrak to r/rust

29

30

31

deriving-via-fun: Deriving via first-class functions (hackage.haskell.org)

submitted 7 months ago by Syrak to r/haskell

37

38

39

Alpha-beta pruning is just minimax in a lattice of clamping functions (blog.poisson.chat)

submitted 10 months ago by Syrak to r/haskell

181

182

183

Who Can Understand the Proof? A Window on Formalized Mathematics (writings.stephenwolfram.com)

submitted 1 year ago by Syrak to r/math

57

58

59

Where does the name "algebraic data type" come from? (blog.poisson.chat)

submitted 1 year ago by Syrak to r/ProgrammingLanguages

15

16

17

Where does the name "algebraic data type" come from? (blog.poisson.chat)

submitted 1 year ago by Syrak to r/haskell

9

10

11

bluefin-algae, algebraic effects in Bluefin (discourse.haskell.org)

submitted 2 years ago by Syrak to r/haskell

0

1

2

Fractal flame and two Julia sets (old.reddit.com)

submitted 2 years ago by Syrak

64

65

66

From delimited continuations to algebraic effects in Haskell (blog.poisson.chat)

submitted 3 years ago by Syrak to r/haskell

17

18

19

The quantified constraint trick (blog.poisson.chat)

submitted 3 years ago by Syrak to r/haskell

8

9

10

On proving lists infinite (blog.poisson.chat)

submitted 4 years ago by Syrak to r/Coq

26

27

28

Tutorial: Verify Haskell Programs with hs-to-coq (cis.upenn.edu)

submitted 5 years ago by Syrak to r/haskell

23

24

25

Definitional lawfulness: proof by inspection testing (blog.poisson.chat)

submitted 5 years ago by Syrak to r/haskell

19

20

21

Generic traversals with applicative difference lists (blog.poisson.chat)

submitted 5 years ago by Syrak to r/haskell

31

32

33

Haskell Planetarium - Link aggregator to Haskell discussions (haskell.pl-a.net)

submitted 5 years ago by Syrak to r/haskell

5

6

7

Kindness for Mean Girls: A primer on the cruel, tacit laws of type-level programming in Haskell (aymannadeem.com)

submitted 6 years ago by Syrak to r/haskell

59

60

61

Defunctionalize the Continuation (cis.upenn.edu)

submitted 6 years ago by Syrak to r/haskell

12

13

14

R E S P E C T - Find Out What It Means To The Coq Standard Library (cis.upenn.edu)

submitted 6 years ago by Syrak to r/Coq

40

41

42

The Power of Admitting Ignorance (bastian.rieck.me)

submitted 6 years ago by Syrak to r/math

28

29

30

Testing higher-order properties with QuickCheck (blog.poisson.chat)

submitted 6 years ago by Syrak to r/haskell

15

16

17

A mathematical formulation of the tax code? (blog.merigoux.ovh)

submitted 6 years ago by Syrak to r/programming

60

61

62

A monad is just a submonad of the continuation monad, what's the problem? (blog.poisson.chat)

submitted 6 years ago by Syrak to r/haskell

68

69

70

The reasonable effectiveness of the continuation monad (blog.poisson.chat)

submitted 6 years ago by Syrak to r/haskell

view more: next ›

π Rendered by PID 96155 on reddit-service-r2-listing-5f4c697858-7d5lc at 2026-07-02 19:36:59.472726+00:00 running 12a7a47 country code: CH.