Hackernews posts about PhD

  1. The Future of TLA+ [pdf] (lamport.azurewebsites.net)