whattheheckheck on The Eternal Return of Abstraction: Why Programming Was Never About Code · Hackerly

Comment on The Eternal Return of Abstraction: Why Programming Was Never About Code

whattheheckheck 9mo

Lamports been banging this drum for a while.

Highly recommend seeing how a state machine in C can be converted to TLA+

https://lamport.azurewebsites.net/video/videos.html

https://lamport.azurewebsites.net/video/video2-script.pdf