HN Explorer

tel

↗ HN profile [ 81.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
    36 points 12
  2. What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
    1 points 0
  3. Nose.js left-pad is Accidentally Quadratic (accidentallyquadratic.tumblr.com)
    3 points 1
  4. Failure to Report: A STAT investigation (statnews.com)
    1 points 0
  5. Functional Programming, Abstraction, and Naming Things (stephendiehl.com)
    92 points 20
  6. First Class Statements (blog.jle.im)
    48 points 15
  7. On Ruby (hawkins.io)
    4 points 1
  8. Type directed spell system development (7drl 2015 day 5) (joeyh.name)
    1 points 0
  9. A Twelf Introduction (jozefg.bitbucket.org)
    23 points 1
  10. Simpler, Easier (2007) (augustss.blogspot.com)
    10 points 3
  11. Edward Kmett: Learning to Learn [pdf] (yowconference.com.au)
    2 points 0
  12. Haskell Cast: Conal Elliott on FRP and Denotational Design (haskellcast.com)
    2 points 1
  13. DSLs and Towers of Abstraction with Gershom Bazerman (vimeo.com)
    1 points 0
  14. IO.js, a Node fork (iojs.org)
    55 points 29
  15. Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org)
    1 points 0
  16. Bufferbloat: Dark Buffers in the Internet (2011) (queue.acm.org)
    40 points 9
  17. On proper typing (antiblog.geekyfox.net)
    2 points 0
  18. Vanholes – Van Laarhoven Lenses in Clojure (blog.podsnap.com)
    20 points 0
  19. Seven Deadly Sins of Talking About Types (2014) (cl.cam.ac.uk)
    15 points 0
  20. Automasymbolic Differentiation (jtobin.ca)
    28 points 5
  21. Property-Based Testing: Testing Assumptions You Don’t Know You’re Making (spin.atomicobject.com)
    4 points 0
  22. Notes on XKCD's “Pixels” (chromakode.com)
    233 points 59
  23. Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org)
    4 points 0
  24. BASIC as a Haskell DSL (2009) (augustss.blogspot.com)
    58 points 12
  25. JSON is not object notation (tel.github.io)
    2 points 1