langnostic.blogspot has moved to langnostic.inaimathi.ca (also, atom feed here ). The archives will remain for posterity, but any new po...

It's been a while. Sadly/happily, I've been busy working on the house write-up for AOSA 4 and thinking pretty hard about a cl-not...

No nuts and bolts this time. Here's a random collection of insights I've had while trying to put together the version 0.1 of a noteb...

So it's about time I talked about this thing , and what the hell exactly I'm thinking. Because I've been working on it for a whi...

So I put together that thing I talked about last time , only to discover three things. Firstly , the only places I actually needed lazy o...

So it seems that a lot of people are into this logic programming thing I've been reading about lately. There's the already mentioned...