Comment by physicsgraph

This post is well-timed.

I'm aware of many previous posts on HNews and the main documentation [0]. Does anyone have suggestions for getting started from a non-CompSci perspective? I am comfortable with Python but I'm not confident that suffices.

0: http://lamport.azurewebsites.net/tla/hyperbook.html