tim
I think next time I give a talk, I'm going to hold up a baby and say, "This baby doesn't believe in uncertified compilation. This baby wants type safety. This baby doesn't want to use an unverified garbage collector. This baby wants strong guarantees that her reasoning about the code she writes also applies to the code she executes."
Does anyone have a baby I can borrow?
Does anyone have a baby I can borrow?
(no subject)
Date: 2009-11-16 12:07 pm (UTC)(no subject)
Date: 2009-11-16 01:37 pm (UTC)You could just do a Google image search for "cute baby" and include one of the pictures in your slide.
(no subject)
Date: 2009-11-16 05:30 pm (UTC)(no subject)
Date: 2009-11-16 05:35 pm (UTC)(no subject)
Date: 2009-11-16 10:20 pm (UTC)(no subject)
Date: 2009-11-17 01:55 am (UTC)