All 1 entries tagged Research

View all 510 entries tagged Research on Warwick Blogs | View entries tagged Research at Technorati | There are no images tagged Research on this blog

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.


January 2022

Mo Tu We Th Fr Sa Su
Dec |  Today  |
               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

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

RSS2.0 Atom


Not signed in
Sign in

Powered by BlogBuilder