Appointment With The Therac-25

http://en.wikipedia.org/wiki/Therac-25

wank jam i recorded last nite.

if you're short on time and want quality, check out Clorwl instead. if you like, uh, an aural sushi roll made out of sh101/mfb502(fish) and ms2000/paia fatman/delay(rice) and mixer (seaweed) recorded to minidisc (bento box) then give it a spin

fun

Oh yeah, we studied that thing at uni in the course wher you do a formal algebraic proof that your software has no bugs.

They tell you about this thing in the first lesson to try and motivate you that this is a good idea.

Then you spend the rest of the course formally proving the cabin lighting software for an Airbus A320 ftw

  analogue wings said:

Oh yeah, we studied that thing at uni in the course wher you do a formal algebraic proof that your software has no bugs.

 

They tell you about this thing in the first lesson to try and motivate you that this is a good idea.

 

Then you spend the rest of the course formally proving the cabin lighting software for an Airbus A320 ftw

if suitably rigorous, most any comp sci degree program is bullshit past two or three years. i reached a point where stuff i got paid to program during the summer would happen to be my next course in the fall... i spoke with the department, tried to get myself placed out, into other classes etc. and they were total jerks about it, snobby really! like i had nerve to question their program. i dropped out 5 or 6 classes from a degree.