Guest lecturer

Date: Meant to post it yesterday, but I'm just too tired and I forgot...

On Monday Danny was away to UTM doing some... fictitious research? Either way we have a special lecturer from UTSC, named Nick, to start on proving the correctness of your program.

It's something not that hard I guess, having seen precondition/postcondition everywhere when coding programs, yet I find it intriguing to prove how a program is correct.

It was... overall extremely interesting, Nick was a wonderful lecturer despite not many people shown up to this class (I assume they are away studying for the stat midterm, which is a killer). Wish we could have him again (or someone else) someday.