1. 2
    Lamdu - Towards a next generation IDE video programming vimeo.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  2. 13
    Halcyon - Haskell application deployment haskell halcyon.sh
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  3. 9
    Types as tests programming writes.co.de
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  4. 9
    Announcing the Hack Transpiler php code.facebook.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  5. 5
    Nix pill 17: nixpkgs, overriding packages devops lethalman.blogspot.it
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  6. 7
    Curry-Howard, the Ontological Ultimate compsci psnively.github.io
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  7. 13
    Nix by example, Part 1: The Nix expression language devops medium.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 1 comment
  8. 6
    It Runs Doom! games itrunsdoom.tumblr.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  9. 15
    The point of abstraction programming lambdatoast.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | 2 comments
  10. 1
    Idris notes: Fin programming codepoetics.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  11. 5
    Monads as a theoretical foundation for AOP compsci citeseerx.ist.psu.edu
    puffnfresh avatar via puffnfresh 4 years ago | cached | 2 comments
  12. 1
    CSS is unnecessary given a layout language with means of abstraction and combination web pchiusano.github.io
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  13. 3
    Mapping Sets scala typelevel.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  14. 3
    A Category for Correct-By-Construction Serializers and Deserializers haskell ocharles.org.uk
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  15. 13
    How Haskell is Changing my Brain video haskell vimeo.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  16. 7
    Haste and Tagless Final Style slides haskell slideshare.net
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  17. 13
    Spreadsheet-like programming in Haskell haskell haskellforall.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  18. 7
    Haskell pair programming server haskell github.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  19. 23
    What kind of things are easy in Haskell and hard in Scala, and vice-versa? haskell scala tonymorris.github.io
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  20. 13
    Lazy Dynamic Programming haskell jelv.is
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  21. 16
    Networking in Idris programming simonjf.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  22. 8
    What purity is and isn't programming blog.higher-order.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 3 comments
  23. 1
    Alternatives to GADTs in Scala scala pchiusano.github.io
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  24. 1
    Propellor: property-based host configuration management in Haskell haskell propellor.branchable.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  25. 1
    The complete correctness of sorting programming twanvl.nl
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
<< Page 3 | Page 5 >>