Assistant to the Proof Assistant

Most-linked posts?

1. Math Envy and CoffeeScript's Foibles
   3 people · 3 mentions · first linked 2012-11-29
2. Faster JavaScript Through Category Theory
   2 people · 2 mentions · first linked 2012-02-29
3. Natural Transformations in JavaScript (category theory)
   2 people · 2 mentions · first linked 2012-03-22

What Hacker News says?

1. johnbender · 2012-08-20

   "However, I think this is one of those cases where OOP has a name for something that FP just takes for granted: function composition. Regardless, Clojure's Rack equivilant does provide middleware as functions of request -> response maps." I'd like to address some of the finer points in the comparison of middleware vs function composition that have been overlooked. First class functions - While Ruby does indeed have…

   Comment linking /2010/10/18/haskell-and-vagrants-middleware/

   on “Vagrant core no longer tied to VirtualBox”
2. johnbender · 2013-09-16

   Submitted Why I'm Getting a PhD as a story · 137 points

   HN discussion
3. johnbender · 2011-03-11

   Shameless plug here, but if you're interested in installing the platform but don't want it clogging up your dev environment I've created a snap project skeleton that will do it for you with Vagrant and Chef. http://johnbender.us/2011/03/05/snap-setup-from-scratch-the-... Snap is the only extra install and you can quite easily alter the haskell platform version in the Vagrantfile. I'll be updating this tonight when I…

   Comment linking /2011/03/05/snap-setup-from-scratch-the-vagrant-way/

   on “The Haskell Platform 2011.2 is out: GHC 7 for all ”
4. johnbender · 2012-11-29

   Submitted Math Envy and CoffeeScript's Foibles as a story · 69 points

   HN discussion
5. crazygringo · 2013-07-28

   Well the original post is one example, obviously. But, lots of examples below, all from the first few Google results of "coffeescript ambiguity": http://ruoyusun.com/2013/03/17/my-take-on-coffeescript.html [section "full of surprises"] http://ceronman.com/2012/09/17/coffeescript-less-typing-bad-... http://johnbender.us/2012/11/27/math-envy-and-coffeescripts-... [this is a more formal analysis]

   Comment linking /2012/11/27/math-envy-and-coffeescripts-foibles/

   on “Scoping in CoffeeScript and JavaScript”
6. johnbender · 2013-04-30

   Submitted Reasoning About the Heap in Rust as a story · 64 points

   HN discussion
7. noelwelsh · 2013-07-28

   Relevant is this blog post: http://johnbender.us/2012/11/27/math-envy-and-coffeescripts-... The gist of it is that Coffeescript's syntax is fragile, and a more careful design could avoid these issues. Also, can we erase the word "transpile" from our vocabulary, please? It has no meaning beyond that of "compile" and so, like Coffescript's syntax, adds complexity and confusion where none is needed.

   Comment linking /2012/11/27/math-envy-and-coffeescripts-foibles/

   on “Scoping in CoffeeScript and JavaScript”
8. johnbender · 2013-01-09

   Submitted Math Envy and CoffeeScript's Foibles, Part 2 as a story · 57 points

   HN discussion
9. johnbender · 2012-02-29

   Submitted Faster JavaScript Through Category Theory as a story · 41 points

   HN discussion
10. johnbender · 2011-07-20

    Submitted You got your type class in my jQuery: Applicative Functors as a story · 19 points

    HN discussion
11. johnbender · 2011-07-12

    Submitted You got your type class in my jQuery: Functors as a story · 17 points

    HN discussion
12. johnbender · 2012-02-22

    Submitted Leveraging Your Insecurities as a story · 14 points

    HN discussion
13. johnbender · 2011-02-08

    Submitted A guide for contributing to jQuery Mobile as a story · 8 points

    HN discussion
14. johnbender · 2013-01-18

    Submitted System F in CoffeeScript as a story · 5 points

    HN discussion
15. johnbender · 2011-11-25

    Submitted JQuery is just a browser API as a story · 4 points

    HN discussion
16. qdot76367 · 2012-06-30

    Submitted Faster Javascript Through Catagory Theory as a story · 3 points

    HN discussion
17. johnbender · 2011-03-06

    Submitted Single Command Haskell Platform / Snap Framework Setup as a story · 3 points

    HN discussion
18. johnbender · 2013-11-04

    Submitted A Better SQL, Part 1 as a story · 2 points

    HN discussion
19. luu · 2013-09-15

    Submitted Faster JavaScript through Category Theory as a story · 2 points

    HN discussion
20. jergason · 2012-06-30

    Submitted Category Theory - A Natural Transformation in JavaScript as a story · 2 points

    HN discussion
21. johnbender · 2012-03-22

    Submitted Natural Transformations in JavaScript (category theory) as a story · 2 points

    HN discussion
22. johnbender · 2012-07-19

    Submitted Splitting jQuery in Two, A Proposal as a story · 1 points

    HN discussion

Search all of HN for johnbender.us

Linked by the same people?

• MMatt Mightmatt.might.net