vlion - a pursuit of the ineffable

I graduated, M.S.C.S.

I am beyond thrilled and excited. K and I went and got a very nice meal tonight.

I am now laying plans for writing papers on my Master's work, along with future research plans.

Finals are all over but teh grading. I have to do that tomorrow and Saturday.

I am /worn/ out. I passed out last night and slept some 10rs, I think I'll wind up doing similarly tonight.

I had my birthday cake today. 2 weeks late but that's OK.

Tomorrow I give a demo about $work_project at $work. It'll be nice; I think it's near 8K? 10K? lines of Perl code at this point. I should find out. Essentially it's a final check-off before we go into integration testing and then to production. I came up with a spiffy idea to help out our team mission today and my boss liked it. Maybe that'll be a spring project.

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.