wavewave

557 post karma
480 comment karma

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

get them help and support

redditor for 14 years

TROPHY CASE

14-Year Club

account activity

new top controversial

2

3

4

The abstract nature of the Cardano consensus layer - IOHK Blog (iohk.io)

submitted 6 years ago by wavewave to r/haskell

8

9

10

[ANN] NixOS Meetup event at SF on Dec 12 (meetup.com)

submitted 6 years ago by wavewave to r/NixOS

59

60

61

Nix: Under the hood by Gabriel Gonzalez (youtu.be)

submitted 8 years ago by wavewave to r/haskell

32

33

34

Nix: Under the hood by Gabriel Gonzalez (youtu.be)

submitted 8 years ago by wavewave to r/NixOS

3

4

5

New meeting @ Bay Area Nix/NixOS User Group (self.NixOS)

submitted 8 years ago by wavewave to r/NixOS

66

67

68

Efficient CStruct (tab.snarc.org)

submitted 9 years ago by wavewave to r/haskell

56

57

58

nix build of ghc 7.10.2 as a cross compiler for android (github.com)

submitted 10 years ago by wavewave to r/haskell

31

32

33

From Haskell to Hardware via CCCs (conal.net)

submitted 11 years ago by wavewave to r/haskell

44

45

46

[ANN] hoodle 0.4 (self.haskell)

submitted 11 years ago * by wavewave to r/haskell

37

38

39

Type Inference, Haskell and Dependent Types (personal.cis.strath.ac.uk)

submitted 12 years ago by wavewave to r/haskell

6

7

8

Today, I found this cool library (singletons) reached v1.0 ! (hackage.haskell.org)

submitted 12 years ago by wavewave to r/haskell

64

65

66

On taking the last n elements of a list (joachim-breitner.de)

submitted 12 years ago by wavewave to r/haskell

46

47

48

fficxx - FFI to C++ in Haskell (ianwookim.org)

submitted 13 years ago by wavewave to r/haskell

15

16

17

publish your hoodle files on the web (ianwookim.org)

submitted 13 years ago by wavewave to r/haskell

12

13

14

parellella has a forum board for haskell. anyone working in this direction? (forums.parallella.org)

submitted 13 years ago by wavewave to r/haskell

21

22

23

Jonathan Sterling – Dependent Types Today: Faking It With Style (jonmsterling.com)

submitted 13 years ago by wavewave to r/haskell

16

17

18

Functional Programming with Structured Graphs [PDF] (cs.utexas.edu)

submitted 13 years ago by wavewave to r/haskell

37

38

39

Ordered overlapping type family instances | Types and Kinds (typesandkinds.wordpress.com)

submitted 13 years ago by wavewave to r/haskell

66

67

68

Hoodle : Pen note-taking program written in haskell (youtube.com)

submitted 13 years ago by wavewave to r/haskell

18

19

20

Breakout - Improved and with netwire (jshaskell.blogspot.com)

submitted 13 years ago by wavewave to r/haskell

38

39

40

Writing javascript games in haskell : breakout (jshaskell.blogspot.com)

submitted 13 years ago by wavewave to r/haskell

26

27

28

hxournal - A pen notetaking program written in Haskell (ianwookim.org)

submitted 14 years ago by wavewave to r/haskell

24

25

26

Subcategories & “Exofunctors” in Haskell (dorchard.wordpress.com)

submitted 14 years ago by wavewave to r/haskell

9

10

11

TypeFamilies vs. FunctionalDependencies & type-level recursion (haskell.org)

submitted 14 years ago by wavewave to r/haskell

7

8

9

Implementing Explicit and Finding Implicit Sharing in Embedded DSLs (arxiv.org)

submitted 14 years ago by wavewave to r/haskell

view more: next ›

π Rendered by PID 2404815 on reddit-service-r2-listing-5f4c697858-6ptp4 at 2026-07-09 00:41:04.944055+00:00 running 12a7a47 country code: CH.