paper - final essay

I finished 95% of my final essay for graduate Programming Language Theory. Whoo. I reviewed the development of the seL4 operating system, with attention to how the language affects verification. Still have to rewrite the conclusion. It's groady.

6 page paper, 28 citations. Waugh. Lotta fun reading though. I think I'm a born reader/nerd. It seems to be part of stuff I enjoy, digging around and finding out things. Problem is, someone else already knew those things.

seL4 is pretty spiffy. Pretty much fully verified, working on an ARM11 uniprocessor, x86 port on the way. Not really a desktop system, but you could use it as a hypervisor.

If you're into geekery & heavy math, I'd suggest reading up on it. The organization that sponsored it is NICTA in Australia.

All right then. Bedtime.

Web browsers

I don't like Safari 4 on the Apple. Too slow, too much memory usage. Plus flash has a hard time being blocked. Flashblock is pretty important to me. Firefox has a similar problem.

Camino has flashblock built in. Teh Yay. HOWEVER. I found that the OmniGroup, who makes absolutely amazing Mac software, has a webbrowser for free: OmniWeb. I'm giving a spin, and frankly, on first impressions, it blows me away. Fast, fast, fast. Only problem is, I prefer the Firefox tab approach. I may be able to swap to that. I'll keep people posted, because I think good web browsers are of interest to everyone on the Web.