March 20, 2007

Its been a long time since I blogged…

... 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.


- One comment Not publicly viewable

  1. Slawekk

    >if you are doing anything maths related thats >expressible in HOL/Isabelle – why not?

    Most of mathematics is (officially) based on the ZF set theory rather than HOL. I found that Isabelle/ZF is a much more comfortable setting for doing formalized mathematics than Isabelle/HOL.

    22 Mar 2007, 00:56

Add a comment

You are not allowed to comment on this entry as it has restricted commenting permissions.

March 2007

Mo Tu We Th Fr Sa Su
Feb |  Today  | Apr
         1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31   

Search this blog



Most recent comments

  • Apart from the plea "can I have your old one?" (the yearning never diminishes) I'd like to leave you… by Sue on this entry
  • Unfortunately I still haven't seen a film for which you have to read up on quantum mechanics as I mi… by Sue on this entry
  • I've never been to watch a film before when it's been recommended that you first read up on quantum … by Sue on this entry
  • Well this is very interesting, i really liked reading this blog, this was very informative and very … by Mio Navman Spirit S300 on this entry
  • I thought it was fascinating. Griffin isn't like any other, media–trained, polished politician, and … by Tim on this entry

Blog archive



Not signed in
Sign in

Powered by BlogBuilder