Next week I will be going to Brazil for a month. I'll be blogging the trip here.

Since the Xegesis page is a bit confusing and some of the papers seem to be scattered around the web, here's a shortlist of what I think are some of the key ones of Childs' papers showing the evolution of his thought over time:

Childs 1968 - Feasibility of a Set-Theoretic Data Structure (the original pre-Codd paper)

Childs 1977 - Extended Set ( Read more... )

I am really liking Extended Set Theory. It's putting some theoretical bones on my intuitions. This paper fills in some more of the thinking behind it and hints at how the relational operators are modelled.

From what I understand so far, here's the guts:

* Most of modern mathematics is founded on Set Theory (presumably the axiomatic set theories ( Read more... )

It's time to check Ward's Wiki again! Yay.

And I notice that the Extended Set Theory article has grown a bit from last year, with a few more hints as to what it might be in the discussion pageXST interests me because it seems to be dealing with the same kind of thing I am: adding nestability to the relational model, and adding scopes to logic. ( Read more... )

Happy New Year.

I've started playing around with I7 again and though it's great fun, once again I keep coming up cold against the syntax. I've also finally started reading Peter Norvig's Paradigms of Artificial Intelligence Programming and I'd love to play with some of the old classic algorithms like General Problem Solver, but I can't because of ( Read more... )

Merry post-Christmas ( Read more... )

This is sort of the idea I'm heading toward ( Read more... )

An extension of Nasty Joy Hack ( Read more... )

An idea for a nasty little hack of Joy which may or may not be interesting ( Read more... )

The BETA language (paper here) is intriguing because its concept of 'pattern' is articulating what I've been struggling to say about how objects and activation records are the fundamentally the same abstraction ( Read more... )