as we dance to the masochism tango

[tiedyedave]

I didn't get the draft done on Friday. In fact, on Thursday night, I discovered an error in the semantics of super types that basically prompted me to scratch the entire approach I'd been taking for the past month. It seems like every step forward is two steps back, but each mistake helps me understand the underlying problems a little bit more. Besides, the setup of my proof (mutual induction for a handful of important relation-preserving lemmas over the structure of a derivation) still (mostly) works regardless of the way I express super types. My current plan is to slowly increase the expressiveness of the rules, and reprove their correctness each time I do.

I love my white-green-(black) deck; it seems to represent one of the stronger build strategies for a Limited deck. Now all I need to do is replace these damn glory bears with something that actually has an ability, and then every creature in my deck will have an ability. All of them are unique, too, except for that indispensable pair of Giant Spiders.

Oh, right: I got back into Magic. Most of you probably didn't know that. :)

Serendipity of the day: I was organizing my grab bag of bookmarks into something resembling folders. In the process, I decided to gather up all of the websites I check daily or pseudo-daily, such as webcomics and news sites, so I could quickly run through them. It turns out Firefox has a built-in mechanism specifically designed to make this easier for me to do: the right-click menu for bookmark folders has an "Open in Tabs" action. So with a single click, I can now lay out all of these sites as tabs simultaneously and comb through them. I less-than-three Firefox.

Also: Dance Dance Ritalin?

Comments

[dr4b]

You replaced WoW with Magic? Dork :)

RSS

[adamch.livejournal.com]

I used to read a boatload of sites every day, but then I discovered RSS aggregation! Have you checked if all or most of these sites offer RSS feeds that you could add to your LJ friends?

[gwillen.livejournal.com]

Is any of your type-wankery posted on the web where I might look at it? I've taken 312 now, but not done any type wankery since, if that gives you some idea whether I'd be able to parse it or not.