Will future AIs program blub languages, or languages with the LAMBDA nature? Will the two exist, and the latter complain about how the former are stupid yet crowd out the market?
-
-
Replying to @Ngnghm
If future AI takes shape as agents augmenting human agency, then I'd imagine human-user-level specification will be declarative and high-level in terms of embodied/grounded abstractions. Immutability of histories of shaping data-situated pure functions seems to make that clearer.
1 reply 0 retweets 0 likes
Replying to @rplevy
Pure deterministic transformations and explicit encapsulation of side-effects in monads are also more suitable to audit by humans and automata. And such audits will be dearly needed.
6:58 PM - 17 Dec 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!