Posted this in the Move category but since there’s not so much traffic yet I’ll try to start a broader discussion.
Here’s a clip in which I go through and discuss one of the technical whitepapers and some of the code base. I came across it two days ago and my angle to it is an interest in linear logic.
Hope to start a conversation and prompt for more questions and potential elaborations. If there’s interest, I might go through the other two as well.