Jason (jcreed) wrote,
Jason
jcreed

Today:

I finally nailed this new argument I think about getting around the effects of recursive types and recursive functions as concerns the differential privacy type system. It's kind of like step indexing, but the arithmetic doesn't infect everything.

I patched a hole in my left jeans pocket, where I keep my keys.

After finishing I knocked the tiny sewing-kit needle off my desk, fearing that I lost it forever.

But then, just after giving up on it, the light happened to strike it at the right angle and I found it.
Tags: pants, work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 3 comments