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 plates, or even the involvement of a vehicle. Start a fight on the street and they'll find you. Is America really this incompetent that they can't match a 10+ year old system?
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 could even see a legal requirement for code repositories to run one themselves, constantly scanning for compliance. That way the compute cost is offloaded properly on the citizenry :)
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 publicly espoused a different and more informed opinion. There's certainly a large amount of very low-quality journalism engaging in bad-faith interpretations of things he's said in other contexts, though these aren't serious characterizations, only hallucinations manufactured by professional scheisters to fulfill unspoken agendas. At this point dredging it up and holding it against him in-perpetuity is a bit wrongheaded.
Of course restrict it to his opinions on software licensing. I think that is the sort of thing people mean when they say he was right.
Lots of people made similar claims. Most notably The National Council for Civil Liberties (now called Liberty), the UK's leading civil/human rights organisation made submissions to parliament claiming that sex with minors was not always harmful, had a pro-paedo organisation as an affiliate and give them a representative on the gay rights subcommittee: https://www.thetimes.com/travel/destinations/uk-travel/scotl... The people involved were unaffected, some reaching fairly high political permissions.
A lot of other people whose works are respected have actually had sex with minors. Eric Gill and Oscar Wilde for example.
None of that makes Stallman's opinions defensible in my opinion. On the other hand I am happy to ignore his opinions on that topic and still value his opinions on other things.
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 matter: I think adults should not do that.
Obviously I am glad he has abandoned his opinions.
I do think it is terrible that the politicians, activists, teachers etc. who held such opinions in the past did not suffer severe career consequences even if they subsequently changed their opinions. I think they cannot be trusted in those areas. However, Stallman is not in such an area.
I'm not following - are you implying that handing a contact card to someone is a sexual pass? Or is it only considered sexual when the recipient is underage?
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 there's a certain intractability to it because of just how complex the language is.
What would be some applications it handles better than regular Prolog? Something that naturally requires second or higher order logic rather first order logic?
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 itself more or less means we get contextual reasoning and scoping rules baked into the grammar for free.
Implementing other programming languages and proving theorems are the low-hanging fruits since you get variable binding without name management, but I genuinely think it has profound implications for expert systems since it essentially removes a massive amount of complexity from contextual reasoning. Being able to account for patient history when providing a diagnosis, for example.
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 these massive conglomerates absorb operational complexity on the cheap, and that's attractive. Moving away from them means we take on the responsibility of doing it ourselves.
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 categories.
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?
Very bad truism that's not even compatible with the first half of your post.
reply