yay visits!

Andrew sault came to visit for the weekend. It's always good to see him, but it was especially nice of him to make the journey all the way across our very large time zone, from North Carolina. I think the kitties had missed him.

And now he's on the move again. Maybe he's coming your way.

Also: today, it's bright and sunshiny. And time for hacks. Those guys in France seem to have plugged their wiki server back in, which is heartening, because I really wanted to get at those wiki pages.

Did you know that INRA and INRIA are different research institutions?

a pure space, an abstract space...

Also!

An extremely animated guy, maybe in his early 20s, East Asian, just poked his head in my office. It was cartoony, even, how he peered around the corner -- and then breathlessly, almost gushingly, hopped into the room and asked whether I knew about logic programming, particularly in Scheme, particularly in miniKanren. It took a moment to do the linguistic handshake, which was interesting! It's rare to have people ask me, earnestly, whether I speak English.

Upshot: he's concerned that miniKanren can handle abstract sets of things, but that it doesn't do what he really wants: logic programming where your domain is objects stored in a database. I think he wants to hook miniKanren up to mysql or something.

"My AI is Lindsey. And Adam."

...

... and then he bounded off. Not sure who he's looking for, exactly.

We have seen the future, though: excitedly popping into other people's offices and suddenly telling them about our ideas.