Hello, this is the site of one reality, where I put some things what I wrote.
Here are some new pages:
Here are some pages which are heavily in-progress:
Here are some logic haiku:
I have also written and worked on some software projects, which you can see on my GitHub Profile, but the most notable of which are:
- aberowl - A framework for reasoning-based ontology access.
- alsuti - A simple file upload/rehosting/shortening/linking tool, which supports client side encryption, and you can host yourself. I also run a hosted service for Alsuti.
- dbot - A rather expansive IRC bot in NodeJS.
- galcq - A simple ALCQ description logic reasoner in Groovy.
- identicurse - A console-mode StatusNet client inspired by vim, written many years ago with psquid and moggers87.
- jsbot - An IRC bot library in NodeJS (upon which dbot relies).