ZedneWebDave Menendez's personal web site. (Summaries only.)http://www.eyrie.org/~zednenem/summaries.atom2019-06-10T15:44:57-04:00Dave Menendezhttp://www.eyrie.org/~zednenem/about/dave.htmlDo not open until release datehttp://www.eyrie.org/~zednenem/2019/06/preorders2019-06-10T15:44:57-04:002019-06-10T15:44:57-04:00
Automatically downloading pre-ordered games makes technical sense, but it’s
frustrating to have something and not be able to use it.My least favorite phrase in <cite>The Adventure Zone</cite>http://www.eyrie.org/~zednenem/2017/08/taz2017-08-03T23:45:08-04:002017-08-03T23:45:08-04:00
I really enjoy the McElroy podcast <cite>The Adventure Zone</cite>, but
I don’t always like the way Griffin tells the story.<code>Arrow</code> is more than <code>Strong</code> and <code>Category</code>http://www.eyrie.org/~zednenem/2017/07/twist2017-07-18T21:07:30-04:002017-07-18T21:07:30-04:00
Several people have claimed that Haskell’s <code>Arrow</code> class is
exactly the intersection of <code>Category</code> and <code>Strong</code>,
but this argument ignores the <code>Arrow</code> laws. I demonstrate a type
which is has lawful instances of <code>Strong</code> and
<code>Category</code> which cannot be made into an <code>Arrow</code>
in a consistent way.2016: Not entirely badhttp://www.eyrie.org/~zednenem/2016/12/20162016-12-31T18:08:14-05:002016-12-31T18:08:14-05:00I 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.Amber alerts and the boy who cried “wolf”http://www.eyrie.org/~zednenem/2015/02/amber2015-02-25T22:00:39-05:002015-02-25T22:00:39-05:00
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.How Apple secures iMessagehttp://www.eyrie.org/~zednenem/2014/03/imessage2014-03-01T12:08:10-05:002014-03-01T12:08:10-05:00
Apple has explained how iMessage’s design protects your messages from third-parties—even themselves.Hemingway and software-assisted writinghttp://www.eyrie.org/~zednenem/2014/02/hemingway2014-02-27T12:27:48-05:002014-02-27T12:27:48-05:00
Two recent apps claim to help improve your writing, but their advice is based on misapplying questionable rules.More on Free Applicative Functorshttp://www.eyrie.org/~zednenem/2013/06/freeapp-22013-06-12T00:57:42-04:002013-06-12T00:57:42-04:00
Since free applicative functors are free, does that mean they are monads
over indexed types? Also, can we squeeze out any more performance?Prompt Monads are Freehttp://www.eyrie.org/~zednenem/2013/06/prompt2013-06-07T22:18:42-04:002013-06-07T22:18:42-04:00
A brief look at <code>Prompt</code> monads, showing that they are free
monads, that <code>Prompt</code> is a monad over indexed types, and how it
can be used to build composable components.<cite class='self'>ZedneWeb</cite> 2013http://www.eyrie.org/~zednenem/2013/06/redesign2013-06-06T14:19:19-04:002013-06-06T14:19:19-04:00
After ten years, it’s time for a new content manager here at
<cite class='self'>ZedneWeb</cite>. 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.Stop helping me!http://www.eyrie.org/~zednenem/2013/05/27/cms2013-05-27T22:57:04-04:002013-05-27T22:57:04-04:00When 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 <code>\g</code>.Free Applicative Functors in Haskellhttp://www.eyrie.org/~zednenem/2013/05/27/freeapp2013-05-27T01:37:11-04:002013-05-27T01:37:11-04:00Can 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.Parameterized monads vs monads over indexed typeshttp://www.eyrie.org/~zednenem/2012/07/29/paramonads2012-07-29T02:25:45-04:002012-07-29T02:25:45-04:00Parameterized monads are a known way of extending the monadic interface. As an alternative, Conor McBride suggested using monads over indexed types. How do these approaches compare?Ronald C. Menendez, 1949–2010http://www.eyrie.org/~zednenem/2010/08/17/obit2010-08-17T17:43:50-04:002010-08-17T17:43:50-04:00Ronald C. Menendez, of Chatham, New Jersey, passed away peacefully on Wednesday evening, August 11, 2010.So that was 2008http://www.eyrie.org/~zednenem/2008/12/31/20082008-12-31T17:49:56-05:002008-12-31T17:49:56-05:00What a year this has been. Despite the silence at <cite class='self'>ZedneWeb</cite>, America elected a new president and I got a new niece.