HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tmptmpgo

no profile record

comments

tmptmpgo
·4 anni fa·discuss
Oh you mean like how Trump invited crackpots to the capitol? You seem to want to both ways.
tmptmpgo
·4 anni fa·discuss
That is incorrect. I have definitely noticed that the haptics do not activate if the iPhone is turned off. Unless this is something they’ve started doing with newer versions of iOS that I have only used on a buttonless iPhone.
tmptmpgo
·4 anni fa·discuss
I assumed this was going to be SAT solving as a service.
tmptmpgo
·4 anni fa·discuss
Yes, I’m well aware of tabling. But high performance Datalog implementations will fundamentally be very different than the usual Prolog implementations. But sure, it isn’t impossible. Just long a ways from ISO Prolog.

Consider Soufflé, designed for large scale program analysis. Or LogiQL, designed for efficient incremental evaluation.

You also failed to disclose that you are not exactly unbiased individual here.
tmptmpgo
·4 anni fa·discuss
Because syntactic doesn’t mean semantic subset. Datalog uses bottom-up evaluation by default while Prolog uses top-down. As such they are computationally very different.
tmptmpgo
·4 anni fa·discuss
That was kind of my point. When a “robot” with a gun controlled by a human, is it really fundamentally different from an efficient Rube Goldberg machine that fires a gun gun.

Some commentators are saying that by removing the safety of the operator from the equation changes things. Sure, it alters the ethics, but that doesn’t change the nature of machine itself.
tmptmpgo
·4 anni fa·discuss
It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.