Dave Menendez’s Personal Web Site

Recent posts

  1. My least favorite phrase in The Adventure Zone

    I really enjoy the McElroy podcast The Adventure Zone, but I don’t always like the way Griffin tells the story. (2017-08-03)

  2. Arrow is more than Strong and Category

    Several people have claimed that Haskell’s Arrow class is exactly the intersection of Category and Strong, but this argument ignores the Arrow laws. I demonstrate a type which is has lawful instances of Strong and Category which cannot be made into an Arrow in a consistent way. (2017-07-18)

  3. 2016: Not entirely bad

    I don’t have much to say about the awful stuff that’s happened this year, so here are some good things that happened to me. (2016-12-31)

  4. Amber alerts and the boy who cried “wolf”

    In principle, alerting people to missing children using cell phones seems like a good idea, but people won’t react well to a jarring alarm in the middle of the night that they can’t reasonably respond to. (2015-02-25)

  5. How Apple secures iMessage

    Apple has explained how iMessage’s design protects your messages from third-parties—even themselves. (2014-03-01)

  6. Hemingway and software-assisted writing

    Two recent apps claim to help improve your writing, but their advice is based on misapplying questionable rules. (2014-02-27)

  7. More on Free Applicative Functors

    Since free applicative functors are free, does that mean they are monads over indexed types? Also, can we squeeze out any more performance? (2013-06-12)

  8. Prompt Monads are Free

    A brief look at Prompt monads, showing that they are free monads, that Prompt is a monad over indexed types, and how it can be used to build composable components. (2013-06-07)






  1. 2017
  2. 2016
  3. 2015
  4. 2014
  5. 2013
  6. 2012
  7. 2010
  8. 2008
  9. 2007
  10. 2006
  11. 2005
  12. 2004
  13. 2003
  14. 2002
  15. 2001
  16. 2000
  17. 1999
  18. 1998
  19. 1997
  20. 1996

ZedneWeb is hosted by The Eyrie, a repository of Internet fiction (among other things).