ux266478

19 ms·

361.
by ux266478 8mo ago
Actually it is physically impossible to have any wireless comms at all without giving away a unique identity that can be tracked. Not unless you're going to replace your phone's radio every time you send some data. Every single tr
362.
by ux266478 8mo ago
In what world did Prolog not work out commercially? It's still used where it makes sense to do so.
363.
by ux266478 8mo ago
> Free RAM is wasted RAM. Very bad truism that's not even compatible with the first half of your post.
364.
by ux266478 8mo ago
So they're useless for crimes not involving a reported license plate? Sounds like a pretty worthless marginal gain. The Chinese have done it better since their mass surveillance apparatus isn't contingent on reported license plate
365.
by ux266478 8mo ago
I'm almost certain we will live to see "they can't fine all of us" get torn to shreds in real time as government language models patrol the 'net for software projects that lack an age verification call. Why, we coul
366.
by ux266478 8mo ago
The entire point is of my post is that it's no longer his opinion. > Through personal conversations in recent years, I've learned to understand how sex with a child can harm per psychologically. This changed my mind about the m
367.
by ux266478 8mo ago
The only instance in which he's ever engaged in "publicly defending pedophilia" was in remarks he made 20 years ago about the innocuity of "voluntary" sex with minors. He has since retracted those statements and pub
368.
by ux266478 8mo ago
> the only people whose personal birth date information can be leaked by its implementaiton are minors. "Well it appears protecting privacy only harms the children, so I guess we have to do away with that now don't we?" Co
369.
by ux266478 8mo ago
Lambda Prolog isn't a "pure" HOL. It's a very restricted form of HOL using Higher-Order Hereditary Herrop formulas, granting us pretty solid generalized mechanisms of implication and universal quantification, which itsel
370.
by ux266478 8mo ago
Not at all, it's a completely different language with a very different computational foundation. It's an SML-Haskell type situation.
371.
by ux266478 8mo ago
> It's a really weird language to reason with IMO I know you likely mean regular Prolog, but that's actually fairly easy and intuitive to reason with (code dependent). Lambda Prolog is much, much harder to reason about IMO and
372.
by ux266478 8mo ago
Owning things isn't free (and a VPS isn't owning things, either) I absolutely agree with the concept, but people have to be ready to do their own work rather than delegating it to other parties. Consolidation has happened because
373.
by ux266478 8mo ago
That would be the domain of logic programming languages like Prolog. SQL and its dialects are more for very specific and restricted applications of relational calculus, not general languages for expression of relations, conditions and categ
374.
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)
167 points by ux266478 8mo ago|39 comments
375.
by ux266478 8mo ago
And in your mind moral objectivism fixes this how? You equate these things to post-modernism, do you believe disloyalty came to exist in the world for the first time during 1950s?
376.
by ux266478 8mo ago
> In the latter, if you see `foo` in the body of a function definition you have no idea if it's a simple computation or some sophisticated and complex control structure just from what it looks like. All control structures are reser
377.
by ux266478 8mo ago
It's not any different than having 153 steps in any other computational sense. Even limiting ourselves to elementary arithmetic, horrendous opaqueness arises with 153 operations spanning the whole set. Are we going to pretend like arit
378.
by ux266478 8mo ago
It's the only way to live. Strict aliasing rule? Always disabled.
379.
by ux266478 8mo ago
What's the point? If you want a framebuffer, ask the windowing system for one. Why go through a terminal emulator?
380.
by ux266478 8mo ago
That hasn't been true for a while, it's easily the best of the bunch at this point. It's also always been trivial to change, which can't be said of the others.
381.
by ux266478 8mo ago
> The AI identifies unconventional metaphors or visceral imagery as "noise" because they deviate from the training set's mean. That's certainly a take. In the translation industry (the primogenitor and driver for much
382.
by ux266478 8mo ago
TCL's typicing discipline comes from shell languages and awk, which are decidedly not dead. The overwhelming majority of programmers have less than no taste, so language usage rates in general don't really mean much.
383.
by ux266478 9mo ago
TBH I don't agree with the idea that sarcasm is exclusively the friendly variety. It also serves the role of being patronizing, scornful or even outright provocation.
384.
by ux266478 9mo ago
> That sounds more like irony than sarcasm I only mentioned forms. They're sarcasm because they're explicit mockery. I've read plenty of foreigners in Japan who comment on how it's weird they won't get praise fro
385.
by ux266478 9mo ago
> sarcasm is simply not a thing in Japan, and people aren't (I'm tempted to say can't be) sarcastic. It doesn't occur to them to be it. Japanese culture absolutely has sarcasm, it simply manifests in an unfamiliar wa
386.
by ux266478 9mo ago
I don't think NIMBYs have much of a community to begin with.
387.
by ux266478 9mo ago
He not implying impermanence is an effective primary argument for killing a community, as in "This community is impermanent, therefore we must destroy it" in a vacuum. Additionally, humans and communities occupy different ranks in
388.
by ux266478 9mo ago
What do you mean? America has 2 offerings from Chevy, and now the Slate truck as well. Japan has the Nissan Leaf. Korea and Germany produce a few cheap EVs too. None of these vehicles are large and all of them are focused on being cheap for
389.
by ux266478 9mo ago
> I’d rather have an ev with a diesel generator in the pickup bed as my “range extender” than a vehicle with constant maintenance needs. You realize you still have all the same maintenance burden with that generator, right?
390.
by ux266478 9mo ago
I'm not really sure that holds up. Why would I only consider the electric range on a hybrid?

More ›