Nov. 15th, 2009

tim: Mike Slackernerny thinking "Scientific progress never smelled better" (science)
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?

Profile

tim: Tim with short hair, smiling, wearing a black jacket over a white T-shirt (Default)
Tim Chevalier

December 2018

S M T W T F S
      1
2345 678
9101112131415
16171819202122
23242526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags