1. 12
    The Trouble with Typing Type as Type math liamoc.net
    puffnfresh avatar via puffnfresh 2 years ago | cached | 1 comment
  2. 10
    The Theory of patches-vector haskell liamoc.net
    puffnfresh avatar via puffnfresh 2 years ago | cached | 7 comments
  3. 7
    Why functional programming matters — Mary Sheeran & John Hughes programming felienne.com
    puffnfresh avatar via puffnfresh 2 years ago | cached | 2 comments
  4. 26
    Type-Driven Development with Idris book manning.com
    puffnfresh avatar via puffnfresh 2 years ago | cached | 4 comments
  5. 8
    User Interfaces with Optics haskell zrho.me
    puffnfresh avatar via puffnfresh 2 years ago | cached | 8 comments
  6. 4
    What is a bug? programming pl-enthusiast.net
    puffnfresh avatar via puffnfresh 2 years ago | cached | no comments
  7. 29
    Why java.util.Optional is broken java developer.atlassian.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 2 comments
  8. 15
    EXWM (Emacs X Window Manager) is a tiling X window manager for Emacs emacs github.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  9. 9
    Optimising the PureScript Compiler haskell slamdata.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  10. 1
    Announcing the Software Analysis Workbench release galois.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  11. 9
    Computability, Philip Wadler video compsci youtube.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  12. 11
    Unison: a next-generation programming platform, currently in development compilers unisonweb.org
    puffnfresh avatar via puffnfresh 3 years ago | cached | 2 comments
  13. 3
    Modularise CSS the React way web medium.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  14. 4
    A very first step towards fragment-based code distribution haskell haskellexists.blogspot.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  15. 3
    λ● - Authenticated Data Structures, Generically compilers compsci amiller.github.io
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  16. 4
    An Eq instance for non de Bruijn terms haskell blog.ezyang.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  17. 22
    QuickChecking non-Haskell Code show haskell brianmckenna.org
    puffnfresh avatar via puffnfresh 3 years ago | cached | 2 comments
  18. 8
    The complete correctness of sorting ☶ compsci twanvl.nl
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  19. 6
    You Don’t Need $1MM for a Distributed System distributed medium.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  20. 9
    Edward Kmett - Type Classes vs. the World video haskell youtu.be
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  21. 7
    observational type theory (the motivation) math pigworker.wordpress.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  22. 3
    Proof in functions programming fewbutripe.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  23. 40
    Write You a Haskell haskell dev.stephendiehl.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  24. 7
    OS Technologies To Watch devops gfxmonk.net
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  25. 5
    libchop, tools & library for data backup and distributed storage programming nongnu.org
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
<< Page 2 | Page 4 >>