One VM to Rule Them All, One VM to Bind Them (a 3-hour Truffle/Graal tutorial)youtube.com·2 pts·pron·0
Computation and State Machines: Use math, not PLs, to think about computation [pdf]research.microsoft.com·5 pts·pron·6
The Blue State Model: How the Democrats Created a "Liberalism of the Rich"tomdispatch.com·141 pts·pron·211
Lamport on Real World TLA+: Who Builds a Skyscraper Without Drawing Blueprints?youtube.com·2 pts·pron·0
Biting the Silver Bullet: Toward a Brighter Future for System Development (1992) [pdf]citeseerx.ist.psu.edu·3 pts·pron·0