Jason (jcreed) wrote,


Ah, did hear back about the kernel. Good, good.
Writing mkyfs.
Working on the `less-than-monad' stuff a little bit more carefully.
The logical interpretation is more unclear than ever.
Lacking the unbox term constructor makes things really weird.
I've decided to start with the dual of the original
construction, because it seems to be more transparently
related to the logic. Calling it a 'priority' because I
suspect the logical operator is something like noncontingency
('a priori' knowledge) and moreover you can construct
a comonad out of a priority, so in that sense it 'comes before'
the concept of monad/comonad. Eh, I suppose it's just a
bad double-pun wrapped in formal language, but I suspect
a good deal of terminology is no better... :)

  • (no subject)

    noms is a project apparently influenced by camlistore and git. Has a bunch of juicy buzzwords attached to it (Content-addressable, monotonic,…

  • (no subject)

    Great list of computer books from days of yore, with pictures: http://tedfelix.com/books/ I remember "BASIC Fun: Computer Games, Puzzles, and…

  • (no subject)

    One of two large (~$X00) purchases arrived today: a new desktop, since my five-year-old one is starting to show signs of dying. I already pulled all…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded