> The Stoics talked about the hidden costs of luxury. “Every new thing excites the mind,” Seneca wrote, “but a mind that seeks truth turns from the new and superficial to the old and deep.” Were they talking about LLMs? Obviously not. Were they talking about JavaScript frameworks? Almost certainly.
LOL
Rendered at 05:31:21 GMT+0000 (Coordinated Universal Time) with Vercel.
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
LOL