lindseykuper: Photo of me outside. (Default)
lindseykuper ([personal profile] lindseykuper) wrote2022-01-31 03:47 pm
  • Add Memory
  • Share This Entry
Entry tags:

CAREER: Building Reliable Distributed Systems with Refinement Types

New blog post, in which I share some of the secret history of my CAREER project!

  • Add Memory
  • Share This Entry
(0 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.