Such stuff as dreams are made on

[pozorvlak]

Yesterday morning I spent some time darning the holes in one of my favourite T-shirts. Thanks to mi_guida for teaching me how, but I can't say I rate it too highly as a leisure activity. But then when I tried to go to sleep, I was tormented by visions of thread being darned. Something similar happens to me almost every time I learn a new formal system: at least this one wasn't as bad as the nightmare in first-order predicate logic.

Sorry, that was a spectacularly dull entry.

Comments

[johnckirk.livejournal.com]

I remember dreaming in Prolog a few years ago (during the first run at my MSc project), which was pretty bizarre. Not dreaming that I was writing a Prolog program, actually expressing the dream itself in Prolog...

[antoniabaker.livejournal.com]

I'm dreaming in binary at the moment, and when i learned to type I dreamt that I had to type everything I said. Theres proberbly a special name for it.

[pozorvlak.livejournal.com]

Yeah, it sounds like you two have had the same sort of dreams as mine. It's very strange, isn't it?