"What are you reading about?"
"What's nominal unification?"
"Okay, so, in regular first-order logic, you have logic variables, right? In nominal logic, you have those, but you also have these things called noms."
"...I know what you're think--"
"BEST LOGIC SYSTEM EVER."
Shoebox Full of Tapes #35: Bigger Plans. One not-so-great thing about always playing music by yourself, or even with one other person, is that…
Shoebox Full of Tapes #34: Leaving Chicago. You know, that whole "monthly podcast of songs I'm working on" description is just getting more…
Shoebox Full of Tapes #33: The glass, all empty. (And so is this one, it turns out. And this one's close, just missing a couple lines out of…