| 1. | | What Declarative Languages Are (2013) (semantic-domain.blogspot.com) |
| 36 points by tel on April 23, 2020 | past | 12 comments |
|
| 2. | | What Declarative Languages Are (2013) (semantic-domain.blogspot.com) |
| 1 point by tel on Feb 7, 2019 | past |
|
| 3. | | Nose.js left-pad is Accidentally Quadratic (accidentallyquadratic.tumblr.com) |
| 3 points by tel on April 7, 2016 | past | 1 comment |
|
| 4. | | Failure to Report: A STAT investigation (statnews.com) |
| 1 point by tel on Feb 18, 2016 | past |
|
| 5. | | Functional Programming, Abstraction, and Naming Things (stephendiehl.com) |
| 92 points by tel on Jan 11, 2016 | past | 19 comments |
|
| 6. | | First Class Statements (jle.im) |
| 48 points by tel on May 17, 2015 | past | 13 comments |
|
| 7. | | On Ruby (hawkins.io) |
| 4 points by tel on April 3, 2015 | past | 1 comment |
|
| 8. | | Type directed spell system development (7drl 2015 day 5) (joeyh.name) |
| 1 point by tel on March 12, 2015 | past |
|
| 9. | | A Twelf Introduction (jozefg.bitbucket.org) |
| 23 points by tel on March 2, 2015 | past | 1 comment |
|
| 10. | | Simpler, Easier (2007) (augustss.blogspot.com) |
| 10 points by tel on Jan 31, 2015 | past | 3 comments |
|
| 11. | | Edward Kmett: Learning to Learn [pdf] (yowconference.com.au) |
| 2 points by tel on Jan 8, 2015 | past |
|
| 12. | | Haskell Cast: Conal Elliott on FRP and Denotational Design (haskellcast.com) |
| 2 points by tel on Dec 16, 2014 | past | 1 comment |
|
| 13. | | DSLs and Towers of Abstraction with Gershom Bazerman (vimeo.com) |
| 1 point by tel on Dec 12, 2014 | past |
|
| 14. | | [dupe] IO.js, a Node fork (iojs.org) |
| 55 points by tel on Dec 4, 2014 | past | 27 comments |
|
| 15. | | Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org) |
| 1 point by tel on Nov 23, 2014 | past |
|
| 16. | | Bufferbloat: Dark Buffers in the Internet (2011) (acm.org) |
| 40 points by tel on Nov 22, 2014 | past | 9 comments |
|
| 17. | | On proper typing (geekyfox.net) |
| 2 points by tel on Oct 24, 2014 | past |
|
| 18. | | Vanholes – Van Laarhoven Lenses in Clojure (podsnap.com) |
| 20 points by tel on Oct 9, 2014 | past |
|
| 19. | | Seven Deadly Sins of Talking About Types (2014) (cam.ac.uk) |
| 15 points by tel on Oct 7, 2014 | past |
|
| 20. | | Automasymbolic Differentiation (jtobin.ca) |
| 28 points by tel on Sept 26, 2014 | past | 4 comments |
|
| 21. | | Property-Based Testing: Testing Assumptions You Don’t Know You’re Making (atomicobject.com) |
| 4 points by tel on Sept 16, 2014 | past |
|
| 22. | | Notes on XKCD's “Pixels” (chromakode.com) |
| 233 points by tel on Sept 7, 2014 | past | 56 comments |
|
| 23. | | Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org) |
| 4 points by tel on Aug 27, 2014 | past |
|
| 24. | | BASIC as a Haskell DSL (2009) (augustss.blogspot.com) |
| 58 points by tel on Aug 23, 2014 | past | 12 comments |
|
| 25. | | JSON is not object notation (tel.github.io) |
| 2 points by tel on Aug 23, 2014 | past | 1 comment |
|
| 26. | | Typing Transducers (as Kleisli arrows) (tel.github.io) |
| 6 points by tel on Aug 10, 2014 | past | 1 comment |
|
| 27. | | Transducers are Monoid Homomorphisms (oleksandrmanzyuk.wordpress.com) |
| 5 points by tel on Aug 10, 2014 | past |
|
| 28. | | Haskell Platform 2014.2.0.0 Released (haskell.org) |
| 51 points by tel on Aug 9, 2014 | past | 8 comments |
|
| 29. | | Points About Type Safety (tel.github.io) |
| 36 points by tel on Aug 8, 2014 | past | 6 comments |
|
| 30. | | Some papers of Per Martin-Löf (michaelt.github.io) |
| 2 points by tel on Aug 4, 2014 | past | 1 comment |
|
|
| More |
