1 Nov 2002 RyanMuldoon   » (Journeyer)

Hey gabe and BenFrantzDale - How's it going? I have been pretty busy these days. At work I have been working on getting a test instance of Shibboleth up and running, which has proven to be a bit annoying. I'm also working on trying to improve the general level of security of authentication for all the various enterprise apps that require it on campus. A hard problem, because of the huge user demand for convenience.

My thesis research is going well. I am working on multi-valued logics and vagueness in logic. Looking at these in higher orders, and trying to get a reasonable mental model of what is going on without being able to really rely on classical logic is tough. But it is rewarding. Doing a completeness proof for any of these systems would be rather messy. I really don't like it when I find typos in papers though. I recently read an article by Kit Fine, and in a key paragraph, he apparently made 3 typos. Until I realized this, I was utterly confused by his argument. Once I realized that there were mistakes, it became much easier. ;-)

Applying to Grad schools is a reasonably slow process, as my home computer continues to be dead. But I took the GREs, did pretty well, and am gearing up for the LSATs. I need to start writing personal statements and purpose statements. Fun fun.

Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!