Dave Menendez’s Personal Web Site

Recent posts

  1. 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)

  2. How Apple secures iMessage

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

  3. 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)

  4. 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)

  5. 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)

  6. ZedneWeb 2013

    After ten years, it’s time for a new content manager here at ZedneWeb. And after 12½ years, it’s time for a new look. You’ll probably never experience the former, and you can already see the latter, but here’s a blog post about it anyway. (2013-06-06)

  7. Stop helping me!

    When I tried to enter that last post, it crashed my content manager. Turns out, my ancient code was using the wrong kind of string substitution, one which “helpfully” interprets the replacement string. Works fine until you try to post an entry containing the text \g. (2013-05-27)

  8. Free Applicative Functors in Haskell

    Can we find a way to make an applicative functor for any type constructor? It turns out, methods are already known—but I didn’t know that when I started, so I found my own way. One that turns out to have much better performance. (2013-05-27)






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

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