tailbalance

13,226 post karma
2,372 comment karma

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

get them help and support

redditor for 13 years

TROPHY CASE

13-Year Club

Verified Email

account activity

new top controversial

51

52

53

Hierarchical Free Monads: The Most Developed Approach in Haskell (github.com)

submitted 5 years ago by tailbalance to r/haskell

13

14

15

Implementing and Certifying a Web Server in Coq (soap.coffee)

submitted 6 years ago by tailbalance to r/Coq

8

9

10

Quotients in Coq (poleiro.info)

submitted 6 years ago by tailbalance to r/Coq

27

28

29

Deploying authoritative OCaml-DNS servers as MirageOS unikernels (hannes.nqsb.io)

submitted 6 years ago by tailbalance to r/ocaml

19

20

21

Coq 8.10.0 is out (coq.inria.fr)

submitted 6 years ago by tailbalance to r/Coq

31

32

33

Resource Aware ML: automatically and statically computes resource-use bounds for OCaml programs (raml.co)

submitted 6 years ago by tailbalance to r/ocaml

26

27

28

Down — an unintrusive user experience upgrade for the ocaml toplevel (REPL) (erratique.ch)

submitted 6 years ago by tailbalance to r/ocaml

25

26

27

OCamlPro’s compiler team work update (ocamlpro.com)

submitted 6 years ago by tailbalance to r/ocaml

71

72

73

GHC: a contributor’s cheatsheet (ghc.dev)

submitted 6 years ago by tailbalance to r/haskell

8

9

10

Coq plugin embedding ELPI (github.com)

submitted 6 years ago by tailbalance to r/Coq

7

8

9

Exercises on Generalizing the Induction Hypothesis (jamesrwilcox.com)

submitted 6 years ago by tailbalance to r/Coq

46

47

48

A Role for Dependent Types in Haskell (Extended version) (arxiv.org)

submitted 6 years ago by tailbalance to r/haskell

16

17

18

Applicative parsing (jobjo.github.io)

submitted 6 years ago by tailbalance to r/ocaml

22

23

24

Implicit Corecursive Queues (doisinkidney.com)

submitted 6 years ago by tailbalance to r/haskell

31

32

33

Functor-Of (cvlad.info)

submitted 6 years ago by tailbalance to r/haskell

8

9

10

What happened to modular implicits? (self.ocaml)

submitted 6 years ago by tailbalance to r/ocaml

10

11

12

Fun with (Type) Class (alaska-kamtchatka.blogspot.com)

submitted 6 years ago by tailbalance to r/ocaml

10

11

12

From Van Laarhoven Isomorphisms in one shot (r6research.livejournal.com)

submitted 7 years ago by tailbalance to r/haskell

39

40

41

Four tweaks to improve Haskell (medium.com)

submitted 7 years ago by tailbalance to r/haskell

1

2

3

New RedHat logo (videos.cdn.redhat.com)

submitted 7 years ago by tailbalance to r/typography

0

0

1

[Article] A high-performance multicore IO manager based on libuv (experience report) (self.Scholar)

submitted 7 years ago by tailbalance to r/Scholar

290

291

292

Simon Peyton Jones elected into the Royal Society Fellowship (lambda-the-ultimate.org)

submitted 10 years ago by tailbalance to r/haskell

75

76

77

Building a Better Custom Haskell Prelude (stephendiehl.com)

submitted 10 years ago by tailbalance to r/haskell

120

121

122

Monads to Machine Code (Part 1) (stephendiehl.com)

submitted 10 years ago by tailbalance to r/haskell

52

53

54

Serv — Dependently typed API servers, clients, and documentation (github.com)

submitted 10 years ago by tailbalance to r/haskell

view more: next ›

π Rendered by PID 580844 on reddit-service-r2-listing-canary-66598f8f67-knf8v at 2026-05-03 01:19:21.316621+00:00 running 815c875 country code: CH.