Was thinking about how I'm going to get a linux box running. I've got a feeling that I should leave it till after the exams to start messing around with the boxen. Probably going to write an article for linuxnetmag about resurrecting deadhead. (It's a headless thin-client I've been messing with). I need to decide whether I should put a graphics card in it or use the on-board graphics memory & stick something more useful inside...
Got the topics we covered last term in Maths. These are all potentially on the test on friday:
- Tree proofs
- Referential Transparency Proof
- Modelling Arithmetic
- Modelling boolean algebra
- the Substitution Lemma
- Existential Equality
- Consistancy & Completness
These are all Lambda-calculus topics. Not exciting.
Went to the gym today. First time since going back to college. I'm quite sore, but it's a good soreness. Last time I was in the gym was February 9th. That sucks. Thinking of changing over to the 2nd of the 10 workout plans I have.
To do:
- finish reading The Abs Diet
- start actually eating to that (what I've done so far is good, but not enough)
- sort out college stuff
- secure a job for the summer (that pays decently)
Oh yeah, the Trinity Ball was launched the other day. Lineup looks sucky enough, here's hoping for a good one next year.
No comments:
Post a Comment