And this just in:<div><br></div><div><a href="http://research.swtch.com/acme?utm_source=feedburner&amp;utm_medium=twitter&amp;utm_campaign=Feed%3A+hnycombinator+%28HN+-+hnycombinator%29">http://research.swtch.com/acme?utm_source=feedburner&amp;utm_medium=twitter&amp;utm_campaign=Feed%3A+hnycombinator+%28HN+-+hnycombinator%29</a><br>
<br><div class="gmail_quote"><br></div></div>