u/tel

1,470 post karma · 12.5k comment karma · joined Apr 2006

1. 1points
   

   My Keybase proof [reddit:tel = keybase:tel] (Sidhfs62TgESCgOc10PMYj5UHe2Rcx57xNab1yj-bMs) (self.KeybaseProofs)

   submitted Jun 2023 by u/tel to r/KeybaseProofs

   0 comments

2. 0points
   

   The shapes of data — Simplicial (simplicial.io)

   submitted Mar 2019 by u/tel to r/programming

   1 comments · source

3. 4points
   

   I can't decide between this and about a 80% center crop (farm5.staticflickr.com)

   submitted Oct 2017 by u/tel to r/photocritique

   3 comments · source

4. 73points

   Functor is now a superclass of Monad in GHC HEAD (self.haskell)

   submitted Apr 2015 by u/tel to r/haskell

   20 comments

5. 33points

   Simpler, Easier! (augustss.blogspot.com)

   submitted Jan 2015 by u/tel to r/haskell

   9 comments · source

6. 4points

   Implementing a Correct Type-Checker for the Simply Typed Lambda Calculus (sneezy.cs.nott.ac.uk)

   submitted Jan 2015 by u/tel to r/haskell

   1 comments · source

7. 40points

   Making propellor safer with GADTs and type families (joeyh.name)

   submitted Jan 2015 by u/tel to r/haskell

   16 comments · source

8. 43points

   Frames Tutorial (acowley.github.io)

   submitted Jan 2015 by u/tel to r/haskell

   25 comments · source

9. 41points

   Teach, Don't Tell (stevelosh.com)

   submitted Dec 2014 by u/tel to r/haskell

   12 comments · source

10. 7points

    Language is not important (news.ycombinator.com)

    submitted Dec 2014 by u/tel to r/haskell

    24 comments · source

11. 8points

    Amsden, A Survey of Functional Reactive Programming (2011) (cs.rit.edu)

    submitted Oct 2014 by u/tel to r/haskell

    4 comments · source

12. 24points

    Preventing memoization in (AI) search problems (okmij.org)

    submitted Sep 2014 by u/tel to r/haskell

    16 comments · source

13. 6points

    Abramsky "Retracing some paths in Process Algebra" (1996) (citeseerx.ist.psu.edu)

    submitted Sep 2014 by u/tel to r/haskell

    0 comments · source

14. 0points

    JSON is not Object Notation (tel.github.io)

    submitted Aug 2014 by u/tel to r/programming

    5 comments · source

15. 34points

    Six Points About Type Safety (tel.github.io)

    submitted Aug 2014 by u/tel to r/programming

    9 comments · source

16. 0points

    Immutable Enumeration in Swift (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    0 comments · source

17. 0points

    Calkin-Wilf in Swift (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    4 comments · source

18. 2points

    The Types of Data (in Swift) (tel.github.io)

    submitted Jul 2014 by u/tel to r/iOSProgramming

    3 comments · source

19. 0points

    The Types of Data (in Swift) (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    1 comments · source

20. 31points

    Let me tell you about the types of data... (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    22 comments · source

21. 42points

    Let me tell you about the types of data (tel.github.io)

    submitted Jul 2014 by u/tel to r/haskell

    50 comments · source

22. 49points

    Mutable Algorithms in Immutable Languages, Part 3 (tel.github.io)

    submitted Jul 2014 by u/tel to r/haskell

    2 comments · source

23. 7points

    Mutable Algorithms in Immutable Languages, Part 3 (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    0 comments · source

24. 38points

    Mutable Algorithms in Immutable Languages, Part 2 (tel.github.io)

    submitted Jul 2014 by u/tel to r/programming

    4 comments · source

25. 31points

    Mutable Algorithms in Immutable Languages, Part 2 (tel.github.io)

    submitted Jul 2014 by u/tel to r/haskell

    1 comments · source