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.
-
-
-
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.
End of conversation
New conversation -
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!