3 ms·
Anything that can be handled by a compiler can be hacked to interface with anything that can be handled by an interpreter. That’s the kind of fundamental daoist
by timeagain 3y ago
Anything that can be handled by a compiler can be hacked to interface with anything that can be handled by an interpreter. That’s the kind of fundamental daoist “code is data is code” that underlies the power of computing.
- bqmjjx0kac 3y agoIt also turns out that code is mathematical proofs and proofs are code, thanks to the Curry-Howard isomorphism. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
- agumonkey 3y agoyeah but so far these are all separate microcosms with no clear common model