skysight-inc/HackerNews huggingface dataset:
I don't think you are interpreting my claims in good faith (moreso in your other post where you are nitpicking about the syntax I am using when talking about cross-language concepts to make a high-level point), so I am not going to address all your statements. But to clarify the specific example I had in mind:

?- \+ (member(X, D), \+ (X < 2)).

fails with an instantiation error on X, as it ought (since </2 requires ground arguments). That's not an "implementation detail", that's how Prolog works. Core Prolog can't handle constraints outside of term structure. There's no way to express "declare an infinite vector D, whose elements are all less than 2" which is trivial to express in FOL.

You can't "write your own version of \+" to cause the above program to give the answer one would expect from FOL, without changing the language, and I'm not making claims about "YeGoblynQueenne's Imagined Prolog".

Your example on naturals breaks down as soon as one tries to make a statement ranging over the domain of all naturals. Even something simple like:

?- forall(s(N), (N = 0; N = s(M), s(M))).

dives headlong into infinite recursion. My only claim is that, it's much easier to understand why this happens if one thinks of Prolog as a search language over structural terms, rather than as a logic language where such a statement could be expected to be useful (if not necessarily decidable). It's beyond me why anyone considers this contentious.
I've still got my AMD Athlon 64 3200+ in a bin somewhere. I remember being in sheer awe that i could just drop in a dual core cpu into my nforce4 based mobo. It felt revolutionary at the time.
This made me think, what is a jackdaw? Turns out...it's a kind of crow.
> As long as I'm seeing ads, I'd rather them be relevant.

Fair enough. My preference is different. I don't care about seeing ads, and I couldn't care less if they're "relevant" or not. But I strongly object to the data collection required to target ads and want it to stop.
Hmm. By that standard, chunks of the US are also tinder waiting for a match - the coastal cities because costs (housing in particular) are too high, and the heartland because incomes are too low.
1st example: 10 symbols: (){=,=(,)}
2nd example: 10 symbols: ([]([]()))
I’d be all for that if we could sort out gun control first.
"I identify as a podcast."
Animals have behavioral differences between males and females, I also don't understand why it's so hard to believe that humans will have differences between the genders as well.
Consider the reverse. A female boss, and a male being aggressive in wanting a pay rise. How do you think she would respond? Or even just consider a woman going to another woman for a pay rise. Do you think being more aggressive would work or not?
I would love something like this for ibus
I'm not sure what you are criticizing really. npm is by far better than what we have in the C world, and why npm in particular? Because it's easy to bash?
Why phone number? My phone number has no association with my google account lol. I swap sims and phone numbers on a whim. My email address is the most constant thing about me.
There aren't titles of nobility in the US. Supposedly everyone is equal (under law), but as we often are witness to, some people seem to be more "equal" than others (under law) and this spreads to social class. Money and connections are the American titles of nobility.
I'd bet there have been more bugs related to implicit operator precedence compared to ( ) explicit. And given that it's numeric operations, I'll bet some were very costly...
Patents are a joke. Fancy CGI is overkill considering that patents are based on black and white line drawings. The best way to prevent a patent is probably to file an application yourself then don't pay the issuance fee. AFAIK the first thing patent examiners look at is previous patent applications.
It feels like a hack, because it is a hack.

MobX does the same, automatically and under the hood. Vuex from Vue.js, likewise, but (currently) using Proxies. Svelte goes around the limitations of the language at compile-time.

Meanwhile hooks seem to be an attempt to write with performance in mind which in JS often isn't very effective and results in less readable code - unless you really know what you're doing.

I've noticed that even proponents of rewriting everything with hooks often don't fully understand how this thing works and because of that eventually write both less readable and less performant code.

My take is that this is the swan song of React. It solves a class of problems in React that are unheard of in other frameworks.
Also prison populations. Women are severely under represented there.
The cameras should be hard wired or at least hosted locally. Allowing open connection to the internet is a serious security issue.
I love seeing this, and I was dying to try it out, only to find that there appears to be no such option? :(
> I think the phrase "warrantless encryption" should be outlawed. What is that even supposed to mean?

I believe it means: encryption that does not have a built-in backdoor such that anyone with the backdoor key can break the encryption at will including, for example, law enforcement agents in possession of a wiretapping warrant.

At one point, the NSA heavily promoted a similar scheme ...

https://en.wikipedia.org/wiki/Clipper_chip
> That is not a First Order Logic statement. I think perhaps you mean "forall X, P(X)" or "∀x: P(x)".

You seem to have had no trouble understanding what I wrote. What's the point of this comment?
A good packaging system for C/C++ would go a long way. CPAN, php pear, pip, go get, etc, etc. all have at least decent package management, support for third part repos, and ways to add a package without using the manager for things you've manually downloaded / coded yourself.

Trying to get multiple C packages from third parties all working together is rough compared to other languages. Rust has me a little spoiled, I guess.
It's a "webcast".

https://en.wikipedia.org/wiki/Webcast
Because I'm of the opinion that Free Speech is important to protect speech that most people do not like. Not really to protect speech that most people have no problem with in any case.

Why do you think it's important if not to protect speech that most people do not like? I mean, if it's speech or behavior that no one has a problem with, why does it need your protection?
Discovery of intelligent alien life would cause a brief flurry of interest. And then most everyone would lose interest when they realize the aliens are too far away for any type of meaningful interaction.
We've banned this account for using HN exclusively for ideological battle. Doing this will eventually get your main account banned as well, so please don't.

https://news.ycombinator.com/newsguidelines.html
FBI lets you submit your fingerprints for an identity history summary check
Moving a Website from Wordpress to GatsbyJS for Better Lighthouse Scores
Netflix was in the business of sending video to people’s home. Sending video electronically was a natural evolution. They didn’t have a choice but to create their own videos or they would both be beholden to studios and be a commodity.

The Apple TV was introduced in 2006. They kept pursuing it for over a decade and it still hasn’t gotten that much traction.

The difference is that all of the other hardware choices are slow, ad ridden (Roku has hard coded buttons on their remotes that go to the highest bidder) and privacy invasive.

They also have another avenue to push Apple Arcade. The AppleTV is much better integrated with Apple’s other offerings from the phone to the watch to the HomePods.
The curious case of personal data abuse of Quora bots
Congratulations Google, you did it! You killed the User-Agent header.

The HTML spec already requires all browsers to report themselves as Netscape in the Netscape-era `navigator` object:

appCodeName - Must return the string "Mozilla".
appName - Must return the string "Netscape".
product - Must return the string "Gecko".

So a few more "oopses" from Google products and the next spec will end up saying:

User-Agent - Must be equal to the string "Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.79"
Dang beat me to it
> Disney's attack on culture through the lobbying of copyright extensions

Nitpick: that should be "a copyright extension", not "copyright extensions". There have only been two copyright extensions that have affected Disney: the Copyright Act of 1976 and the Copyright Term Extension Act of 1998.

I haven't been able to find any evidence that they lobbied for the 1976 Act. Probably because there would have been no need for lobbying, as the 1976 Act had near universal support.

That's because it was a major overhaul of US copyright law, which went a long way toward making US copyright law compatible with the Berne Convention. (There was still a lot to do to actually allow the US to join the Berne Convention--those final changes were in the Berne Implementation Act of 1988).

I'm not sure how the popular notion that Disney is constantly getting copyright terms extended arose.
Object Composition
Maybe it's the my personal bay area bubble, no one cares about hunting and fishing.
I have to think that over time squirrels must be evolving due to cars. I do see dead ones, but I often see them running across the road, and notably not zigzagging. They still don't seem to have a sense of how close and how fast a car is moving though. I've seen a coyote not only assess the trajectory of my car, but change its mind about crossing the road in front of me once I demonstrated I had no traction in the snow.
Can symbolism be defined as a reductionist approach? Did symbolism fail because it did not acknowledge computational irreducibility of intelligent systems?
> not informing anyone of the projects you're working on?

This is the exact opposite of what you should do. As soon as you start working on a side project that doesn't overlap with your day job, you need to tell your company to get it added to your contract's list of excluded projects (meaning they've verified it has nothing to do with them, and you're free to do whatever you want with it).

Issues happen when you leave your job and launch a side project not long after, creating a bit of a surprise. But if you had disclosed it previously, your previous employer is shit-out-of-luck.
I wonder if there's anywhere you can see if sales of burner phones are rising.
Here's the thing. You said a "jackdaw is a kind of crow."

Is it in the same family? Yes. No one's arguing that.

Ask someone who is a scientist who studies crows, and he'll tell you, specifically, in science, no one calls jackdaws crows. If you want to be specific, then you shouldn't either. They're not the same thing.

If you're saying "crow family" you're referring to the taxonomic grouping of Corvidae, which includes things from nutcrackers to blue jays to ravens.

So your reasoning for calling a jackdaw a crow is because random people call the black ones crows? Let's get grackles and blackbirds in there, then, too.

Also, calling someone a human or an ape? It's not one or the other, that's not how taxonomy works. They're both. A jackdaw is a jackdaw and a member of the crow family. But that's not what you said. You said a jackdaw is a crow, which is not true unless you're okay with calling all members of the crow family crows, which means you'd call blue jays, ravens, and other birds crows, too. Which you probably don't!

It's okay to admit you're wrong, you know?
It isn’t smoke and mirrors, it might just be idealism or trolling.
Selecting a BSD comes with an implied social contract regarding its mutability across versions. If you go into OpenBSD believing code from n-3 runs on version n+1 you misunderstood the social contract. FreeBSD or NetBSD or DragonflyBSD might have a different social contract.

Selecting OSX used to imply much more attempt to handle this, maybe n-3 is outside the goal but n-1 and n+1 kinda works usually. Except when things like "we don't want 32 bit any more" hits, after 2 or more years of heads-up. Turns out vendors don't want to incur that cost. Stuff which people want and "depend on" as Kext don't work.

Consider how python2 dependencies are going in a world of Python3, and thats userspace, not ABI. Its not the OS, but.. its similar.
You realize that Apple products have costs much more than competitors for well over 30 years? If Apple’s business model was a fad, they would have been dead decades ago.
The fact that I worked in ad tech doesn't automatically make an advocate for ad targeting. I don't like being tracked either.

As to your question on why it's being done if it isn't effective, I believe there are two reasons for it:

1. A vast % of digital ad spend goes to a few companies that have personally identifiable information and very effective tracking. Google, FB. I did point of this exception in my comment. Frankly, these companies don't need to target you to be effective. They gather their richest data from your usage on their service.

2. As for the rest of ad tech: Media buyers at agencies tend to be fresh out of college grads. They don't fully grasp the capabilities/limitations of ad tech products, targeting effectiveness, etc. Agencies want to spend their digital budgets and not exclusively on FB, Google. They want to show that they're diversifying, innovating, etc. This IMO is how the rest of ad tech stays afloat.
I'm not in favor or against it, but I think you misunderstood the point of the post you replied to.

> Why do you need a camera facing outside from your door to deter or help solve burglaries? Burglars generally steal things inside houses

If the police tells you they're looking for a suspect and that if you could help by supplying some of your footage of the outside, I think it's probably not burglars trying to steal from you. They could be any kind of suspect that the police at least have good reason to believe passed through the front of your home. Maybe they committed a crime at a neighbor's home. Maybe they're driving from far away, and the police heard that they might have passed through your street.

> If you start using ring-style cameras en masse to solve crimes, the criminals are just going to adapt to the expectation that there's a front door camera and commit crimes in ways that circumvent that single point

They'd also need to circumvent the points of maybe a few other homes nearby that cover the whole of the house the criminal is trying to get into.
Think there’s a third underlying factor which is the addictiveness of Instagram. That Instagram becomes so important in your life that you end up changing your body for likes. That’s a terrible tragedy. You might argue that some are making a living of Instagram as influences but that’s a small percent; many more will be doing it for a desperate need for validation.
Are connectionist / neural network models commercially more successful than symbolist approaches have ever been? Or is the current AI decade comparable to the 80s culminating in expert systems?
The DK2 was the last Oculus device I owned precisely due to this. I would have absolutely purchased the CV1 were it not for the FB acquisition.

There is something subconsciously intimate about the movements of my head. The idea of FB getting off to that (obvious to everyone, except the willfully ignorant, that they eventually would) is incredibly creepy.
> People visiting her office have done things like assume she is a secretary and ask her to fix them a coffee this has happened in last 5 years so I think there are still some strides to be made in the engineering world.

Absolutely, but the question being debated is whether this is worse in STEM than other professions. Every profession still has strides to make for true equality.
Note that the while the linux kernel does maintain ABI compatibility indefinitely, the same is not true for glibc, so any dynamically linked applications (i.e. most applications in the past 20 years) have very poor ABI compatibility.
DoD Hiring announcement for computer scientists
This comment is underrated. The theory is solid but piped piper doesn't exist in reality. Striping content across the network is the way to go. STORJ apparently is working on it as is the Interplanetary internet idea. It reminds me of FidoNet back in the day.... The internet we have exists because of low latency networks.. the question is how do we maintain that illusion?

https://www.wired.com/2017/06/pied-pipers-new-internet-isnt-...
In the case of such closely related populations the distinction is rather meaningless. We're arguing over semantics, not genetics. Calling Neanderthals a different species doesn't change what happened.
Couldn’t you openly carry booze into a Marriott? It would never occur to me to worry about it in the least.
In California the legislature ande courts have historically not considered that worthy of any consideration at all.
We practice constant pruning.
This is really cool. And it's all written in Go? Interesting.

Do you have any plans on releasing the static JS/HTML? Or is there a way this could be run on standard Apache/Nginx/IIS web servers?
Soundcloud has an endless supply of great music to listen to while working. There's a podcast from the Netherlands known as "Deep Electronics" that has gotten my attention recently. Give the latest episode, #257, a try: https://soundcloud.com/deep_electronic
That's really cool! How did you figure this out and what does this representation look like?
The HTC privacy policy had some glaring issues in it years ago. Is the new vive different?
Lab chimps were dumped on Liberia's Monkey Island – their caretaker saved them
> everyone who is not of sub-Saharan decent is part Neanderthal.

Has this been proven? I mean both conditions, ie: that everyone of sub-Saharan descent having no Neanderthal DNA? Also, the percentages are really low, eg: my friend from China did 23andme and his Neanderthal percentage was 0.1%.
You're taking an idea, that there are differences in preference between men and women and calling it sexist. Why is it sexist? Do you not think there are difference in preference between men and women? That perhaps the different levels of hormones would result in a difference in temperament? For example higher levels of testosterone leads to more risky and aggressive behavior.
SWIMMERs: Potential and Limitations of Propellantless Interstellar Travel
Gabe has verbally explained the woes of pissing off customers on multiple occasions. It's why he replies to many of the weird emails people send him.

No. They won't. They have far more than proven it at every possible occasion.
Things to Know About Arthritis
Realistically, on a social site without additional evidence, the default assumption on the modern web should be that a given account is being compensated for what they're posting. An account's history might allow us to adjust that prior.
It can be the result of programming in the style of

> if(browser == firefox) {new_feature_chrome_does_not_support()} else {old_feature()}

instead of

> if(new_feature in navigator) {new_feature()} else {old_feature()}
Annoyed- Google's Neural Matching to Degenerate Search Results
> 2000 years ago people were on the right track that the Earth is round but couldn't "test it" but going around it.

2,200+ years ago, and while they couldn’t test it by going around it, still, they could test it with a prediction of measurement differences which would be found if it was round and would not be found if it was not, and, as a bonus, whose magnitude would also tell the size of the earth if it was round. Could—and did. The prediction was not untestable, even with the technology of 194 B.C.
I don’t use Robinhood anymore, but it’s definitely had an effect on retail brokerages. Foremost, it has attracted a younger crowd than most other brokerages have been able to.

The $0 commission is now pretty universal, and most brokerages are pushing better mobile apps. I don’t really trade from my phone, but you have to admit it’s convenient for when you’re not always near a desktop.
Some of them are even protests against measures that may improve the environment, such as raising fossil fuel prices, or the farmers' protests against measures to reduce nitrogen run-offs in the Netherlands.
I've been a cyclist for around 30 years and have been a victim of plenty of accidents in that time. So I don't make my comments without regard for cyclists.

However my cycling experience is limited to UK roads. It might be the case that roads in the US are, in general, more dangerous for cyclists -- I'm not suggesting that is true but I'd be interested to know if that was the case.
I mean if you build it, they will come. They really have nothing to lose asking gullible trusting people to willingly forfeit fingerprints to the Federal Bureau of Investigation.
Excellent tutorial for person familiar with React lifecycle learning basics of hooks... but mostly came to comment on the exceptionally high quality of the teaching and format of the tutorial. I especially love the "diff view".
So facetune is photoshopping magazine images of models given to the masses?
Ok, we'll change to that from https://www.newyorker.com/culture/decade-in-review/the-age-o.... Thanks!
Can we take a moment to appreciate how obtuse UA strings are? I mean really, the user agent

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.3904.99 Safari/537.36 Vivaldi/2.9.1705.41

is almost laughable for a strange collection of historical reasons. The history of UA strings has come up before here:

https://news.ycombinator.com/item?id=16525559

When is a browser going to just ditch the cruft and present something sensible?
One of the current maintainers here, which installation method are you using and how is it working for you?
I was surprised that they were not already doing this.
I set up a small custodial account that my teenager can trade stocks in. Yes, I know it is smarter to invest in ETFs.. Buying an individual stock gives a kid a reason to read balance sheet, a P&L, understand what a dividend is, a share is, and so forth. Also, he learns what risk feels like, that it is really hard to outsmart the market. Better to do these things with small amounts of money.

So yeah, I do want to encourage my teenager to buy stock in individual companies. Mostly because he doesn't have a lot of money to lose, and its a great way to learn.
There's no proof of your assertion. In fact the fossil record shows evidence of interpersonal violence during the paleolithic.
It's actually pretty easy to put together a theft worth more than the time you spend on it, especially if you forget not to get caught.
Search for an Airbnb apt on desktop, get mobile FB ad for same village and date
Actually, the vast majority of traffic collisions require 2 parties to not be paying attention, but only one of whom has to actually make a mistake; I wouldn't consider the 2nd person failing to avoid the accident as a matter of luck.
> Do you think direct mail should be banned too?

It should, but only because it's incredibly annoying.
C# is also the language behind Unity, which beyond games now powers 70% of all AR applications. Since Unity is now expanding into Automotive, Architecture and other verticals, there is a ton of demand for non-game C# devs for Unity.
What’s wrong with apt?