tmptmpgo

3 ms·

1. 1.▲
   by tmptmpgo 4y ago

   Oh you mean like how Trump invited crackpots to the capitol? You seem to want to both ways.
2. 2.▲
   by tmptmpgo 4y ago

   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.
3. 3.▲
   by tmptmpgo 4y ago

   I assumed this was going to be SAT solving as a service.
4. 4.▲
   by tmptmpgo 4y ago

   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é, des
5. 5.▲
   by tmptmpgo 4y ago

   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.
6. 6.▲
   by tmptmpgo 4y ago

   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 o
7. 7.▲
   by tmptmpgo 4y ago

   It’s a fair point. I suppose the distinction is whether the robot makes the decision to fire on its own.