[derangedHorse]

I feel like this ties back to making general abstractions that anyone can make for any field. Software engineering is littered with abstractions to the point where 2 similar functioning applications can look wildly different when looking at their respective code bases.

Even the abstractions we build into programming languages invites a certain way of thinking which is why there’s so many different paradigms like functional, imperative, logic, declarative, etc.

[jkhdigital]

Turing machines all the way down... for every Turing machine there are an infinite number of alternative descriptions that provide the same result.