alt.hn

12/9/2025 at 11:57:19 PM

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

https://generativeai.pub/the-eternal-return-of-abstraction-why-programming-was-never-about-code-18412033b517?1

by JelteF

12/10/2025 at 7:23:00 PM

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

by whattheheckheck

12/10/2025 at 12:04:57 PM

That was a delicious read.

by 6510

12/10/2025 at 5:51:16 PM

> 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

by nwhnwh