Hackernews posts about TSLA

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