Archives for March, 2009

Not every OS can be as correct as OpenBSD

  • Posted by Tyler
  • March 4, 2009

Here’s a really impressive method to provide memory safety for your favorite kernel that so desperately lacks it: the “Secure Virtual Architecture”. See…

This 24MB 21min Quicktime video…
and the accompanying PDF slides…
and the research paper itself – Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems. See especially page 5 for the SAFECode features [...]

Christi Grace at Boulder Coffee

  • Posted by Tyler
  • March 4, 2009

I went to the new Brooks Landing Boulder Coffee Co. last night with Tessah and Jared to see my friend Christi play ukelele. She rocked it for at least and hour and a half seated, fittingly I think, in front of a wonderwoman painting.
She played most of the material from her new album, Snakeskin, and [...]