Log in

No account? Create an account
color cycle (slow)

Kistaro Windrider, Reptillian Situation Assessor

Unfortunately, I Really Am That Nerdy

Previous Entry Share Next Entry
color cycle (slow)
To anybody ever planning to take a course on Formal Foundations of Computer Science, including a unit- or the main point of the course- on proofing programs: Do everything you can to avoid writing nested while loops. The proofs get ugly, painful, painfully ugly, and uglyly painful.