zlacker

[return to "Notation as a Tool of Thought"]
1. derang+UW[view] [source] 2020-11-30 12:50:11
>>mafaa+(OP)
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.

◧◩
2. jkhdig+UU6[view] [source] 2020-12-02 13:32:17
>>derang+UW
Turing machines all the way down... for every Turing machine there are an infinite number of alternative descriptions that provide the same result.
[go to top]