A new era of peace-of-mind dawns...

Posted by avsm Thu, 31 Jul 2003 17:47:00 GMT

... since I've figured out what to submit for my thesis proposal :-)
I'm going to argue that language research has failed to make life easier for operating systems developers, and that there is a requirement for real high-level languages to make the structure of operating systems fundamentally better by use of type-safety and other such things that have been around for a very long time. The topic leaves me with plenty of breathing room to wander around playing with OCaml, GHC, and also work on the ideas of better web languages with Scotty and Sharpy.
I committed the privilege separated syslog daemon to the OpenBSD repository as well; it proved a lot harder than I expected (Theo de Raadt gave me an awful lot of help with it), so that's another area to think about ...