skysight-inc/HackerNews huggingface dataset:
> I do understand that. I'm not so sure it's so important

It absolutely is, even more so because of Go's interface. The difficulty of properly discriminating between interfaces extending one another is a reason the FAQ gives for rejecting union types.

> compared to Just being able to say that a box can contain either A or B or C.

I'd argue that this is by far the lesser use case, and furthermore trivially and completely subsumed by the alternative.

> Sometimes though you need to carry around one out of N types of something and currently all you can do is to use an interface{} and deal with the possibility of a runtime error if somebody breaks the invariant.

And sometimes you need to carry around one of N values some of which have overlapping contents and currently all you can do is get bent.
I suspect it's a material science issue. You want the bubbles to be very small and closed. Which requires additives and equipment to mix the stuff. Combine that with the building industry for good reason is very conservative. Progress is slow especially for fundamentals.
Mind posting some screenshots?
I wonder, if I play this video during a walk in the nearby mountain in Japan, will the song be picked up by the local species? The scientists would have a new mystery on their hands lol!
Slight correction:

The USA made and shipped most of the materiel that Britain and Russia used

(Ironically, Stalin supplied Germany via rail with around 1/3 of their supplies until the day of the invasion. Part of the reason that Germany lost was they never fully-mobilized their economy for war. For example, they were still making passenger cars until the end. Love to hear conversations between Hitler and Speer about that.)
Some of these seem reasonable, or at least unobjectionable. But 'dummy value' and 'sanity check'? Really?
This reminds me of stories over the last years(?) of afghan/iraqi translators that worked for the US under the promise of citizenship that got massively delayed at least (with immense risk to their lifes).

In general, the final granting of citizienship in this story seems mostly symbolic, similar to the exoneration of Alan Turing, just that at least some of the ill treated are still alive. It's good it happened and it should be encouraged to make amends for past wrongdoings. But it needs to be accompanied with a change in attitude. Otherwise, it's a hollow gesture, like a child saying sorry after hitting someone, because it learned there won't be consequences like that.

I think that's where peoples onlook on this differ. Is it a symbol of a nation going forward, internalizing the values it claims to build upon - or a mostly meaningless gesture in a system that hasn't really changed and would do it all over again.

Personally (as an outsider perspectice), I feel the US is changing, but the forces are pulling in many directions and it's slow. The current US seems to pay lip service only to human rights but embraces it for propaganda, I hope it works someday and the citiziens will hold its own country accountable to that.
Presumably because the ads are already hyper targeted, because the site is written in Dutch! Now imagine you run an English ad for say, a local micro brewery in LA. It's totally obvious that you don't want to waste money on people who don't drink, don't live in America, or are 12 years old.

Clearly there's significant diminishing returns to how specifically you target, but it's completely ridiculous to claim that untargeted ads are even a fraction as good.
Ask HN: Should you give unsolicited advise?
As I have become a more senior developer and started to manage, mentor and influence junior devs, I often wonder whether you should only give advice or information when asked or whether you should offer (unsolicited) advise.

This also extend for scenarios like being in an "all-hands" meeting and you see something you might know or think it won't work in another department (sales for example). Should you jump in and give your opinion?

Specially when you join a new company, sometimes it could be useful to show you do have knowledge but often you end up in a unidirectional conversation with a junior dev or not making any friends in the sales team.

So how do you handle this balance professionally (and personally)? Do you give unsolicited advise?
great work, hope to see it finished one day, I really like the transparent UI
And if you're willing to take the risks yourself, you can skimp on health & safety
There are principles of arm's length and equal treatment among equals for contracts to be enforceable. Copyright licences are treated like contracts of adhesion in many jurisdictions (though not in USA). By-attribution share-alike , non-severability and non-revocation clauses in a share-alike licence attempt to make the parties equal, but it does not arrive quite in there, still leaving the copyright owner privileged a bit.

IANAL, YMMV
How is google.com cookieless?
> the only source is the company itself

Then don't report it as fact. With all blatant editorializing going on right now, simple "we've been told by company representatives that X but we have no independent verification of this" would already do. And also maybe give company the incentive to actually make their claims verifiable.

> How do you propose Casey should have challenged or verified whether the Aquila flew as well as claimed

Maybe he couldn't verify it. Then he should have told "we don't know what happened, only thing we know what biased sources told us, so that's all we have for now". Maybe less sensational but more true.

> Reporters do this work too - it's not all cloak and dagger stuff, whistleblowers and top-secret dossiers.

True. But just refusing to parrot the press release would already be a step forward - if the company knows their unverified press releases would always have asterisk next to it, they'd have an incentive to make them more verifiable. Or at least the honest ones would. And thus we'd get a way to distinguish between honest companies and cheaters.

> That's an interesting story that should be told

Sure, what should not be told is what actually didn't happen except in company's press release - and the reporter reported it as something that did happen, because they wanted to juice up the story and pretend they have more access than they actually did. As a human, I can understand that weakness, as a consumer of the press I can not forgive it.
Looking at the examples here, with one small exception I don't see any problems. Using primary/replica instead of master/slave for databases is overdue anyway - not just because of inclusive language but because "replica" is actually a more accurate description of, well, a replica.

The small exception is I'd like to know the context for the "avoid gendered pronouns" one. I'm absolutely fine with using they for a generic unnamed person (e.g. "the user") but when referring to a named individual, if their preferred pronoun is he or she, I hope Twitter will continue to use that.

I'm sure someone could reply with a list of over-the-top examples of trying-to-be-inclusive language, or controversial ones (e.g. the kind JK Rowling complained about) but the ones in this list all look like boring, uncontroversial, won't-hurt-anyone examples.
That's the best idea I've heard! Rather than Yale changing its name, change Elihu Yale's name to something else, like Elihu Shitbag. Yale can get abstracted out and maybe become an acronym. Young Angry Leftwing Elitists, or something.

(Class of '03 -- I love Yale)
Not ironic at all. The more writing that was done, the more we know and don't have to guess from trash heaps, building foundations, and graves.

This seems patently obvious.
Not a solved problem.

nailgun doesn't solve it generally.

leyden is not released yet; its proposal into JDK future is validation of the approaches projects like GraalVM/Mandrel and Quarkus are doing.
I’m curious what people here think would be the better solution here and why?

1. Delete the books anyway but notify
2. Don’t delete the books/apps, notify user that memory is running out
Show HN: Privilege Escalation with Docker
Anatomy of a WebRTC Video Conference
It seems to me that's what's happening in this thread is privileged people with no experience of systemic racism telling Filipino veterans how they ought to feel about the country they fought for. The people with the concrete experience are speaking, and HN commenters are telling them they're bad and wrong and should be more mad. Seems strange, in light of the prevalence of the word 'listen' of late.
I seriously can't believe how short sighted people can be. That's bad business.

I worked at a big bank too, you'd think they would understand about investment? No. They simply leeched off open source in the same way.
Comparing (R) dplyr vs. (Julia) DataFrames.jl
About this paper Simon Peyton Jones (Haskell, ...) mailed me:

"It makes sense, yes, but it’s not clear what is new. This is just the untyped lambda calculus and church numerals, isn’t it? All good, but not new. Of course, old is good – it has stood the test of time. Lambda calculus is fantastically small yet it is Turing complete. Sometimes the implementation makes a difference."

And my answer was: " Yes "Sometimes the implementation makes a difference" and here we are, the implementation of metatalk is absolutely different. As it can be seen at the end of this page http://lambdaway.free.fr/lambdawalks/?view=meta3
in the "Annexe" section. Nothing but a hundred of vanilla javascript lines, which are the kernel of lambdatalk.

Your opinion is welcome.
Rust on the ESP32 (2019)
1938 :-(
Thanks for posting the last article. I recently found an interesting post from Jeff Atwood about the Uncanny Valley of User Interfaces (2008)[1] where he explains how web apps that mimic desktop UI conventions is rarely a good idea.

[1] https://blog.codinghorror.com/avoiding-the-uncanny-valley-of...
Social Media Monitoring Tools for Non-Profits
To answer the second part of your question, if you modify code released under GPL, you need a way to provide a machine-readable copy of your modifications to your users.

So, it doesn't need to be publicly available (as in, you and me are not Onyx users, therefore we don't need to have access to it), just to its users. Screenshot shows their user requesting it and being denied the request, hence, GPL violation.

https://www.gnu.org/licenses/gpl-faq.en.html#GPLRequireSourc...
Show HN: Forum - A New Agile Progressive Framework
You can a have a quadcopter drone clean every panel with a soft brush/microfiber cloth and return to base at recharging station and repeat.

Have a swarm of these and cleaning will not be an issue.
> Like altruism, ethical behaviour is ultimately an expression of enlightened self-interest.

I somewhat disagree on a generalized form of "altruism is in the individual's interest" (as in "always"), but for ethical behavior, this essentially means that their is no ethical behavior for companies, only a mirroring of the perceived values of customers.

You need very different actions to not tarnish your reputation when you're dealing with very different customers. Since large companies typically do, there would only be very localized ethics, and they could be diametrically opposed (e.g. "expose & hunt down gays" in Riad, "expose & hunt down bigots" in Berkeley). Ethics is the wrong term here, as the company's actions are not based on principles but on the expectations and principles of the environment, their values are reactive.
Yes, I was impressed by Rocket Lab telemetry too. The picture is freezing and I can see by numbers that vehicle gone ballistic...
Ask HN: Who Earns a Living of Betting?
Specifically advantage betting in soccer,NBA etc.

How did you get started?
Do you do it full-time?
What's your experience during corona?
Thanks, could you name your browser and OS?
> Harry Potter would not have been written

That's not clear at all. Many people create things for vanity purposes. And some people just like telling stories.

> and published

Printers published books with abandon before there was copyright. In fact, the motivation for copyright laws was to put a stop to that.
That makes sense and is a valid reason to allow removing 2FA without having your (lost) 2FA. However there's still the fact that there was no notification that it was removed.
I find fault with “dummy value”: “placeholder” and “sample” each can overlap in meaning with “dummy”, but broadly mean two fairly different things. And that’s a common thing in these discussions—they routinely replace words with other words that lose either substantial meaning or nuance.
Releasing salary statistics to get rid of pay gaps, adding a concrete avenue for handling any discrimination incidents, quitting contracts from oppressive governments and agencies, committing to privacy and data policies that can protect vulnerable groups...

I really do wish we got anything at all than this token gesture. These changes are good, but what good does not calling the main branch "master" do for a programmer still getting paid way less than her colleagues?
Computational equivalence doesn't include things like networking and resource access if you run in a sandboxed environment.
Inches are in fact an international standard to which multiple nations have formally agreed

https://en.wikipedia.org/wiki/International_yard_and_pound
Depression Is a Fickle Beast
> I get the impression that what we have now is not "culture" but "cultures"; rather than a single convenient for historians "scene" per time period, all sorts of scenes exist at once.

I believe this has been true for some time. I remember noticing it in the late 90s, but I suspect that it may have always been so, that the stereotypes of a particular era may have been our simplifications rather than their truths.

If there are any real historians here, I’d be interested if my belief is true or false.
From the FAQ of the linked page:

> In general, people are sent to solitary not by a judge or jury, but solely at the discretion of prison staff. In many prisons and jails, solitary confinement has become a control strategy of first resort, although it has never been proven to reduce prison violence.

> Incarcerated men and women can be placed in complete isolation for months or years not only for violent acts, but for possessing contraband (including too many pencils or postage stamps), testing positive for drug use, ignoring orders, or using profanity. In some states, anyone who is believed to belong to a prison gang can be placed in solitary indefinitely. Other people end up in solitary because they have untreated mental illnesses, are children in need of “protection,” are LGBTQ, are people of color, are Muslim, have unpopular political beliefs, or report rape or abuse by prison officials.
They’re pulling info from all the other search engines, not just DuckDuckGo. FYI DuckDuckGo is also pulling their results from other search engines, the only difference is that DuckDuckGo aren’t being blocked/rate-limited by them, presumably because they’re paying for API access.

If you hosted your own instance then it would be a lot more reliable since the IP wouldn’t send a suspiciously high amount of requests.

As for your trust argument, I couldn’t disagree more. You choose to trust DuckDuckGo, who happens to be closed source, because of their branding. The same way people trust/trusted Google/Apple/etc. because of theirs. This thread is a perfect example why being open source is the most important thing for any privacy service (because otherwise this privacy leak likely wouldn’t have been discovered, and people wouldn’t have known that the company so carelessly violate people’s privacy and fail to correct it when people point it out.. it should really make you wonder what’s happening in the search engines codebase).
Launches with payload numbers 5 through 40: https://en.wikipedia.org/wiki/Delta_IV#Delta_IV_launches_in_... I wonder if the trick is something like "launches in the same configuration" because that would really penalize older rockets that used to undergo upgrades once in a while.
There’s other things Apple’s doing that are even worse imo. I didn’t realize until yesterday that if you receive a phone call on your iPhone (on the number) that if you’ve used your Apple ID on an iPad (used by family members) it also receives the call and can be answered via FaceTime, I kind of considered that a massive invasion of privacy but after searching around online seems no ones bothered by it. I have now turned that “feature” off. I had already been careful to turn off syncing that takes place all over the place too on these devices. iCloud and the like shouldn’t be turned on by default and I had no idea about the call option, it didn’t occur to me a phone call to my phone number could be received by someone else using a shared iPad. The problem is someone has to sign into these shared devices that family/kids sometimes use in order to download apps. It should really be limited to the store though. Now I’ve tried signing in just for the purpose of purchasing and we’ll see if that works, I think the iCloud/call features are off now.
While they indeed don't use resolution directly, DPLL/CDCL is in many ways equivalent.

Most modern SAT solvers will still have trouble with the pigeon-hole style problems (although some have inbuilt explicit detection, or symmetry breaking, which will let them solve it efficiently).
It precisely does mean that mean income isn't useful.

Governments don't (or shouldn't) quote it, because it tells you more about the richest person than it does about the population as an aggregate measure.
You'll notice that they are defined in terms of SI units.
You have again fallen back on your omniscient assumption that these kids are hardcore racist. How do you claim to know just how terrible everyone is with such little context or data?

But then again if you think things haven't gotten better since 1960 then I'm not sure what there is to discuss. I'd tell you to lookup something called the Obama presidency but I'm afraid that wouldn't cut it against your ever-shifting sense of moral superiority.
If the software is embedded, they can be sued elsewhere. Like that time BusyBox sued over the GPL and won ... a pile of TVs! http://www.groklaw.net/article.php?story=20100803132055210
so you're thinking being cryptic acts as a natural filter to keep the noise away ?
I watched a vid of your The Most Annoying Website talk a while ago. I'm not sure which of the many versions it was:

https://www.google.com/search?q=annoying+site+feross&tbm=vid

Highly recommended! It's very funny, and safer than actually visiting the site, by the sound of it.
Definitely the second of those options. Inform the user, educate, talk, get consent, before any action "on behalf of the user". But then again some people like such decision being made for them. Still would be an ethically better way to inform before action.
Original journal: https://www.cell.com/current-biology/fulltext/S0960-9822(20)...

Watch the video at the bottom. It says:

> A hypothesis suggests that, female birds may habituate to the common songs over time, and that drives the male bird to adopt novel songs to maintain female's interest.
Ask HN: Why master/slave name change post got removed?
I've noticed the post [1] about a dev leaving OpenSSL after having his (among others) master/slave => parent/child naming change[2] rejected and started reading it. To my surprise, after finishing I noticed the HN post got flagged and removed from the list without any reason.

[1] https://news.ycombinator.com/item?id=23737266

[2] https://mta.openssl.org/pipermail/openssl-users/2020-July/012677.html
about clearly being the most successful and powerful country in the world

And this to the rest of the world is typical America arrogance. I am sorry to be blunt, but I have to call it out.

I won't debate that the US is the most powerful country in the world. But 'most successful' is very debatable. I have been in the US often, and found that most Americans are far less well off than in other Western democracies. Most Americans have very few vacation days, poor healthcare, and are in a spot where losing their job means a large probability of falling into poverty. Plus your political system (democrat or republican) completely fails to serve most citizens.

To add to the offense, the nationalism instilled in many Americans makes it so that they believe that these are not failings of the system. After all, everyone can live the American dream, and if you do not make it, it is your own responsibility rather than that of the system that puts most people at a large disadvantage.

I would never even consider moving from Nothern/Western Europe to the US. Canada, maybe. Australia, New Zealand, possibly. But never the US.
Sure! Just ignore my dwm desktop row on the top.

http://www.blunder.se/screenshots/s1.png
http://www.blunder.se/screenshots/s2.png
http://www.blunder.se/screenshots/s3.png
"I have no purpose, directly or indirectly, to interfere with the institution of slavery in the States where it exists. I believe I have no lawful right to do so, and I have no inclination to do so."

Damn, Lincoln! Makes me think we need those statues of Jefferson Davis (upside-down, for my taste) -- because now it seems clear that if the south hadn't seceded, emancipation would not have happened for decades if at all
Could users of the product also be sued by a Linux contributor?

If you can’t go after them, going after their customers would kill their business.

But this approach seems too cute to be feasible even on the long shot that the GPL would allow it.
It's lambda encoded as a unary vector, i.e. a vector (1, ..., 1) of lambda ones. It means KeyGen is parametrized by a natural number lambda, like KeyGen(lambda).

The notion is from computer science or complexity theory I think. The reason it's written like this is because the complexity of functions is described as a function of the length of the inputs, rather than the input itself.
Wonder what will be the new colors of chess. Cyan and magenta would look cool.
You can buy a cheap bluetooth dongle that transmits on the FM-band that your car can pick up, you can then pair the bluetooth dongle with your phone and have your phone play through your car speakers.

That's a nice inexpensive upgrade, and can be an alternative to having a digital radio installed.
They are cheaper only for nano satellites. From your first link it costs 295k$ for 10kg to LEO. With spaceX you can send up to 200 kg to LEO for 1M$. It’s 20 times the payload for ~3 times the price.
GitHub should show lines of code, dependencies and frequency of releases
I guess the lack of comments could be interpreted as uneasy silence considering TFA is about justifying the bureaucratics of a "process" that never comes to an end, never produces a coherent final result, and puts sustained access to the digital information of two or more generations at risk.

Maybe someone should tell W3C it's time to come to an end with CSS standardization (with only one and a half implementation left). If they feel like there's not much anything more to do after 25 years of job security by inventing a thousand microsyntaxes, maybe they could start cleaning up their mess and provide profiles and formal specifications for at least core CSS specs such that, you know, coming generations will want to even consider maintaining their stuff. The precious few attempts at a formal semantics for even basic CSS box layout are certainly discouraging:

> Even for a seemingly simple language like [ours covering a fragment of the CSS box layout model], we see scenarios where constraints have a surprising or even undefined interpretation in the CSS standard and browser implementations [1]

[1]: https://lmeyerov.github.io/projects/pbrowser/pubfiles/paper....

But maybe CSS is a lost cause at this point. I'm certainly more than open to a more formal (constraint-based or whatever) spec that covers significant portions of CSS (like GSS which seems abandoned however).