I just checked the web page for this course I am taking, called Numerical Methods. Now most engineers will jump up and say “it’s easy, what’s the fuss all about?” Well, turns out I decided to take the Computer Science version of the course, which is much more theoretical, much more in-depth and much harder. I took it against all advice from past students. But it fit in my schedule, and what the heck, I thought… I was up for a challenge. As a result of this I was locked in studying all of last week for that, and it paid off, I just got the results from the test and I did pretty well! Now all I need to do is walk in class next thursday night, and accept my grade for the course, which would probably be an A or a B. In spite of all, I am happy I took the course. It gave me an opportunity to flex my math muscles!
Today was a bummer. I went to school to work on the Requirements assignment. The first question was someking of a joke on Propositional Logic. OK, got that nailed down pretty well, especially given the fact that the practically gave the answer out during the tutorial two weeks ago.
The next question was on Isabitch, err… Isabelle, pardon me. Isabelle is a theorem prover. No, don’t rejoyce kids, it won’t be easier to use it to prove your COMP 238 theorems. I finally got a hang of its syntax by looking at some examples scattered over the web, and our prof’s slides. HOL, what they like to call Higher Order Logic must be a parody of some sort, because it’s anything BUT that. Basically, it’s got some sort of “record” type, similar to what a struct is in C. But that’s where the similarities end. For one, you’d expect to address that kind of thing for a date as date.year, date.month and date.day. Or perhaps something like date -> day. Turns out it’s day date. To increase the day, one would go day date + 1, and don’t dare do day date -1, it treats -1 as some other token so you have to do day day - 1 (put a space between each token). Speaking of errors, it seems that it’s designed to throw out the most obscure error messages it can… So, I got the syntax down, run it, wow, what a beautiful waste of CPU cycles, and human time. Well, if it had some of that “Higher Order Logic” it claims, well, I’d expect it to know that yesterday’s tomorrow is today. Good job wasting your time and government grants, whoever it is that made this crap ever see the light of day.
OK, so onto the next problem, Rational Rose RealTime. Rock on! Problem is… what exactly do I have to do? Complete which state diagrams? Make what run? Am I clueless?
Looks like another day of plowing through assignments at school tomorrow! We still have to do our last design assignment. We also have our information systems security assignment, ugh, did I forget I had to read up on iptables? Frankie, you better run your so-called exploit quickie quickie before I play around with these iptables :p BTW, u guys figured out what pwn3d means yet? Oh I gotta show you the video of the gamer getting pwn3d… let’s see if I can find it and link it here :p
Edit… here it is : http://pwned.nl/
unhandledexception.net 

