All 1 entries tagged Forking
No other Warwick Blogs use the tag Forking on entries | View entries tagged Forking at Technorati | There are no images tagged Forking on this blog
March 20, 2007
... and without good reason. I look at planet compsoc and the top 4 entries are all by Tim, and very HURD orientated. Consequently I have to blog. A lot has happened sicne I last blogged too much that is compsoc related really. Holidays used to be a nice break and a time to reflect over the term, but that isn’t the case as a full time PhD student. Nonetheless a few thoughts spring to mind:
1. Subpixel Smoothing on font looks really good on TFTs.
2. RHEL 5 is out now – DCS have no excuse not to upgrade over the summer, which would allow me to use TomBoy and sync my notes up to home. Goodbye paper. Tomboy is a simply note taking program that allows you to do awesome things. Like embed Latex in your notes, or link them up like a desktop wiki.
3. Reseearch is progressing, albeit at a slower pace than I had hoped. I have discovered the wonders of machine checked theorem proving. I mean if you are doing anything maths related thats expressible in HOL/Isabelle – why not? The only problem is that I really want to fork someone else’s theorem and expand upon it, but its just not polite. And unlike a noted Venkman developer I can’t simply tell people to ‘rant and rave in ignorance’, because I’m not dealing with ignorant people.
This has been a boring blog post, but don’t worry, I’ll be back – and it’ll be more fun.