<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Feb 18, 2009, at 17:21, Matthias Felleisen wrote:</div><blockquote type="cite"><div>Is 12 mins [Matthew's] record for fixing a bug and committing it? :-)<br></div></blockquote><br></div><div><div>I calculate a speed of 2.9 bug-miles per second or 10492 bug-miles per hour: &nbsp;nearly orbital. &nbsp;There could be adjustments for bug severity, time zone difference, location of servers...</div><div><br></div><div>P.S.: &nbsp;The first time I composed this message, my Mac had a kernel panic. &nbsp;No, it wasn't PLT. &nbsp;According to the crash report, that blame belongs to <font class="Apple-style-span" face="Monaco"><font class="Apple-style-span" color="#FF0000">com.symantec.kext.internetSecurity</font></font>. &nbsp;Every time my Mac has crashed--several times per year--it's been traced to Symantec.</div><div><br></div><div><font class="Apple-style-span" face="Monaco">(define bos-slc-nm 1823.5)</font></div><div><font class="Apple-style-span" face="Monaco">(define bos-slc-sm (* bos-slc-nm (/ 6076 5280)))</font></div><div><font class="Apple-style-span" face="Monaco">(define (bug-miles-per-t bugs miles t)</font></div><div><font class="Apple-style-span" face="Monaco">&nbsp;&nbsp;(/ (* bugs miles) t))</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">(bug-miles-per-t 1 bos-slc-sm (* 12 60))</font></div><div><font class="Apple-style-span" face="Monaco">;=> <font class="Apple-style-span" color="#008000">2.9144533880471384</font></font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">(bug-miles-per-t 1 bos-slc-sm 12/60)</font></div><div><font class="Apple-style-span" face="Monaco">;=> <font class="Apple-style-span" color="#008000">10492.032196969698</font></font></div><div><br></div><div><img height="480" width="644" apple-width="yes" apple-height="yes" src="cid:58C67407-8F90-423C-B216-BDF3BF8B1272"></div></div>
</body></html>