https://tim.dreamwidth.org/ Tim's journal - Dreamwidth Studios Mon, 16 Nov 2009 06:32:21 GMT LiveJournal / Dreamwidth Studios tim personal https://v2.dreamwidth.org/6843885/234887 https://tim.dreamwidth.org/ 72 100 https://tim.dreamwidth.org/1668454.html Mon, 16 Nov 2009 06:32:21 GMT https://tim.dreamwidth.org/1668454.html I think next time I give a talk, I'm going to <a href="http://www.youtube.com/watch?v=a9y9lgu8PTI">hold up a baby</a> 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."<br /><br />Does anyone have a baby I can borrow?<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=tim&ditemid=1668454" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://tim.dreamwidth.org/1668454.html babies politics babbling computer science public 6