HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tmptmpgo

no profile record

comments

tmptmpgo
·قبل 4 سنوات·discuss
Oh you mean like how Trump invited crackpots to the capitol? You seem to want to both ways.
tmptmpgo
·قبل 4 سنوات·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 سنوات·discuss
I assumed this was going to be SAT solving as a service.
tmptmpgo
·قبل 4 سنوات·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 سنوات·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 سنوات·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 سنوات·discuss
It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.