Jason (jcreed) wrote,
Jason
jcreed

Having a crummy day on a gut level for some reason, but over lunch break I worked out some more sweet, sweet math, continuing the same line of thinking that I've been mumbling about lately. Basically I think I'm getting awfully close to achieving a personal holy-grail sort of goal that I've had since around the end of grad school, namely, figuring out a nice way of blending all the modal and substructural things I've heard of into one snappy encoding down into something that is neither modal nor substructural.
Tags: logic, math, modal
Subscribe

  • (no subject)

    ljdump finally managed to get all my posts, after about 24 hours continuously downloading them at a slow enough rate to not anger livejournal, but it…

  • (no subject)

    Anybody still here have any decent solutions for lj backup? I've tried pieces of code I've found in ruby, javascript, perl, go, and python, and…

  • (no subject)

    Aha, I thought that LJ was failing to send me comment notifications, but what actually happened was CMU's spam filtering started catching them all as…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments