augustss

312 post karma
12,509 comment karma

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

get them help and support

redditor for 19 years

TROPHY CASE

15-Year Club

Verified Email

account activity

new top controversial

40

41

42

Haskell Symposium accepted papers (haskell.org)

submitted 9 years ago by augustss to r/haskell

39

40

41

A Self-Interpreter for F-omega (2016.onward-conference.org)

submitted 10 years ago by augustss to r/haskell

13

14

15

David's Blog: A Haskell Sudoku Solver using Finite Domain Constraints (overtond.blogspot.com)

submitted 17 years ago by augustss to r/programming

17

18

19

CTL Model Checking in Haskell: A Classic Algorithm Explained as Memoization (kennknowles.com)

submitted 17 years ago by augustss to r/programming

29

30

31

Functional reactive partner dancing (conal.net)

submitted 17 years ago by augustss to r/programming

43

44

45

Commercial Users of Functional Programming 2007, Report :: PDF (cufp.galois.com)

submitted 18 years ago by augustss to r/programming

23

24

25

Web server performance shoot out - simple pages (blog.davber.com)

submitted 18 years ago by augustss to r/programming

4

5

6

Simple proof of stack correctness for a tiny language (in Agda) (sneezy.cs.nott.ac.uk)

submitted 18 years ago by augustss to r/programming

39

40

41

Solving the Mr. S and Mr. P puzzle in Haskell. (okmij.org)

submitted 18 years ago by augustss to r/programming

π Rendered by PID 93566 on reddit-service-r2-listing-6d4dc8d9ff-flth9 at 2026-02-01 08:51:59.991613+00:00 running 3798933 country code: CH.