skysight-inc/HackerNews huggingface dataset:
> In an open letter expected to be published this afternoon, the groups describe the new standards as “opaque and arbitrary,”

Funny, "opaque and arbitrary" is exactly how I'd describe the web of 3rd party tracking of consumers these companies engage in. When all of these groups agree to openly disclose everything they do to track users, see the databases they maintain on us and allow easy opt outs like agreeing to follow the wishes of users who enable Do Not Track ... then I'll consider reenabling 3rd party cookies, etc.
When you add restrictions to make equalities like this decidable, it usually means less things are equal to each other if that makes sense so the problem is being pushed elsewhere somewhat.

For example, Coq has decidable equality which is crudely described as "simplify both sides as much as possible and if they're syntactically the same then they're equal". So this could be equal depending on how you define plus:

plus(1, plus(1, x)) = plus(2, x)

but this wouldn't be:

plus(1, plus(1, x)) = plus(x, 2)

Long story but "plus" is usually defined by recursion on the first argument and when you put the "x" as the first argument the type checker cannot simplify "plus(x, 2)" any further so it isn't able to simplify both sides to the same form, therefore they're not equal. So this makes equality decidability but now things you intuitively think of as equal aren't equal.
Nice!

I have noticed that there is a lot of high quality mathematical/numerical software coming out of INRIA; and have often wondered of late why we do not have an equivalent in the US. Do you have any thoughts on why this is the case; and what the closest equivalent in the USA may be?
If these guys are pissed off, you know someone is doing something right.
I think there is a basic Left/Right divide on this question where the Right is closer to "liquidate all social security programs and distribute the proceeds" and the Left is closer to "new handouts in additional to all existing programs, with price controls to prevent inflation."
It is. Any links higher than that are pretty much all Nx100G, though there are a few carriers with (limited) 200G waves in production.

For anything over 100G (currently) you're making some sacrifices on distance and may even need some guard bands.

(Short-haul/intra-DC may well be a different story but I doubt that it's very different.)
14+ hours a day? Really? How's that supposed to work when you have to factor in commute time?
"I had one executive say, "Exactly what part of effing Windows is confusing you.""

Reminds me of Dave Korn's story.

https://news.slashdot.org/story/01/02/06/2030205/david-korn-...

See Question 5

"I think this is symbolic of the way the company works."
They don't like to talk about it because it's entirely off the subject, here. It is extremely intellectually dishonest for you to say that, implying that a tech union would do such a thing.
Thank you! That's what I was looking for!
Cisco is unlikely to ever make chips like this available other than tightly bundled inside their products.
Talent is bought with pre-tax money. Same with investments.

And Facebook was barely making any money while it was becoming the dominant social network.
There's also Capstone, which is open source

http://www.capstone-engine.org/

https://github.com/aquynh/capstone
That's an interesting quote, but Steve Jobs was describing an industry with very little competition beyond its set format at the time. Look at the TV industry now: It's been declining for years, mostly because of rising prices and program line-ups that cater only to the lowest common denominator.

The internet media of today is a completely different industry from the television industry of the 1990's. Catering to the lowest common denominator isn't necessarily bad as long as it's not the only option. If, however, YouTube only monetizes crap and removes more thoughtful content, people will go elsewhere.
Kudos! I'd love to see the game logic.
https://en.wikipedia.org/wiki/Korea_under_Japanese_rule
The US economy was founded on tariffs. No such thing as a free market in North America.

https://en.wikipedia.org/wiki/Tariffs_in_United_States_histo...
> There's an interesting design problem there: how do you make a language that's powerful and expressive enough to be useful but simple and restricted enough to solve problems like this reliably?

See theorem proving systems like Coq which use languages that are total. The majority of loops you write while coding obviously terminate (for item in items...) and Coq lets you prove more complex forms of looping terminate so it's not as restrictive as you'd think.
Please! It's Brecht:

Would it not be easier
In that case for the government
To dissolve the people
And elect another?

Poem in Die Welt (1959)
"Yes there it. If a union takes over the workforce of your company, now you have to follow the union rules."

Yes. Which they, as the union, would decide on.
One wonders how Kotlin (or other popular JVM languages) would compare. And also Objective-C or Smalltalk.
So between you, and the entirety of the company.
Because they patched it and they don't use it themselves, it's only for backwards compatibility. On top of that, it is not 'supported' by Apple, all programs for macOS use Objective-C and Swift libraries that abstract crypto to the point where it doesn't matter if under water some OpenSSL/LibreSSl/BoringSSL call is made.
I get Google ads on mobile that flash and mislead. Virus Scan! Battery Scan! Clean Your Phone! With yellow and red. So at least on Android, Google serves tons of shit deserving blocking.
Is it common for people to solve concurrency problems in the database by using serializable txn isolation? I'm genuinely curious. I realize you should always measure these things for your specific use case, but I've always thought that was a non-starter from a performance perspective. What are the real tradeoffs these days with it?
Democratically elected, and democratically deposed. The March 2016 demonstrations were the largest in the history of Brazil, and for good reasons.
But it's hard to understand what you're saying as .Net's not a language, which one are you talking about?

I feel like I should stick up for C# as it's probably one of the best languages available today. I'm biased as I prefer statically typed languages so none of my brain is taken up by utterly useless information like having to remember the names of properties, methods, method signatures, etc. which the computer should bloody well tell me.
So how would websites earn money?

Is everyone going to pay 3$ / month every website? Apple should have fixed that first, but is now blocking everyone because their own iAd failed. I think a lot is going to blow up, eg. Apple users requiring membership for websites + a subscription.

What if those companies suddenly require an email to read more content, then their backend syncs all the required data. ( yes, we will submit a fake email, but a lot of people won't)

Also, i see >1/2 of the frontpage from these "ad supported companies" that "everyone" hates, i don't want more paywalled articles appearing here...

I can understand blocking the ever cookie. But this is probably a bridge too far, i don't want to see more paywalled articles on HN.

And yeah, this will not be a popular opinion here... I'd appreciate responding with arguments instead of down voting :)

Edit: Failed, downvoting begins as expected
As I understand, the fork was more about architectural disagreements between Google and the WebKit team. For instance, in Chrome the multiprocess system is part of Chrome whereas WebKit does multiprocess within WebKit itself. This means that anything embedding WebKit2 automatically gets multiprocess, where to get the same with Blink you've gotta fork Chromium.

Now that I think of it, Google seems to take this approach with a lot of features. I guess that's why everything based on Blink forks or embeds Chromium instead of using bare Blink.
I am not trying to excuse rudeness. Only trying to point out that this was an extraordinary case.

I bet if it was a woman that got married and changed her last name, it would be super simple.
Maybe somebody needs to create a more palatable language, that'll transpile (I know, I know, compile) into pascal?
That's over. Now there will always be another cryptocurrency to take over money transfer for criminal activities.
TSA searches for air travellers are not done under the border search exception. They instead claim something called "administrative exception". It's a much more tenuous construct: it's basically saying that the search is reasonable, because "the primary goal is not to determine whether any passenger has committed a crime but rather to protect the public from a terrorist attack" - which is a valid and important public interest - and because the means used are the least intrusive that are necessary to secure that interest (are you laughing already?).

Here's some more on this.
http://scholarship.law.wm.edu/cgi/viewcontent.cgi?article=16...
So the moral of this story is that if you need to fix a bottleneck in the real world, you mainly use erlang then drop into C (port/nif) where necessary?
>candidate proposing such drastic redistribution of wealth to

Except this is unlikely and not happening now. Hillary could have exaggerated and talked about basic income but she didn't and lost a populist movement.
Overview of Machine Learning
"Silicon Valley workers are already the most overpaid workers in the entire country."

You're gonna have to provide evidence of that. And don't just quote a dollar amount, because that needs to be taken in context. That context being the amount of money the company makes, the value that the employee brings, the cost of living in the area, and other factors.

"A similar job elsewhere pays 50%-75% what I make here."

So what? It costs less in those areas. But that, to me, sounds like a bunch of people who haven't asked for what they're worth.

"If you try to unionize to force wages higher, all this does is causes the exodus of companies from Silicon Valley even faster."

Given the cost of living there, doubtful. And there are far more things to organize around besides wages.
The GPL is written with the idea that being able to write and modify software on your own devices is good; our devices becoming more personal only makes GPLv3's additions more critical.

(As others have said, there's ways to make GPLv3 work with the iphone's security model, mainly along the lines of requiring a factory reset whenever you want to add an allowed signing key to the device.)
> And no, "choose another provider" is not a valid option, as there is no alternative because no service allows me to transfer my identity (e.g. email address) so old contacts can reach me, unlike with phone numbers.

With a bit of foresight there certainly is, your own domain pointing at gmail?

gmail removes your account, your email still works you just have to point it at a different backend.

But therein lies the rub right? It costs money and people won't pay it, they'll take the free option every time.

Personally I find it hard to see how these companies can be regulated in the way that you want for services that they give away for free.
.io if you're doing tech, especially if you are targeting tech firms. Otherwise "getXXXXX.com" will be good enough.
Solid and liquid cats, didgeridoos and cheese disgust scoop Ig Nobel awards
There is literally zero reason for that overwork. None.
Congrats! Well done, seriously. I love it when things like this happen; settling on Prometheus as a standard will open access to so much more tooling.

(Which is also why I'm super excited to use timescale [http://www.timescale.com] once grafana gets support for postgres!)
The whole unwrapping the list sound like bugs I hit trying to implement a lisp interpreter.
1,2& 3 is already free is most countries and even in developing countries like India. Why are Americans so averse to universal health coverage?
I say this as someone who grew up in a poor, rural community in a single parent household with 5 siblings, and was a construction worker being paid an hourly wage until around 25 years of age:

If the labor you are selling to somebody isn't priced high enough to pay your bills, you need to ask yourself:
1) Is someone else willing to pay me more for this labor?
2) If yes, go work for them. If no, then the market has spoken, and the price for your form of labor is too low and you should find a new skill or move to a location where your labor's price point is more in line with the cost of living.
3) Paying people more than their labor is worth means that the difference has to be taken from others.
4) The energy being wasted on bitching and complaining and picketing would be better spent finding a new trade. There is a shortage of people in this country that can fix physical things with their hands. There is a surplus of people who can spoon food onto plates, because ANYBODY can do it.

I have empathy and compassion for people scraping by, but I also know that handouts undermine people's self-confidence and pride. Paying these folks more than they are worth just hastens the automation of their jobs.
If I may ask, can you expand on this?
Alphabet considers Lyft investment of about $1B
Sorry, bad wording on my part. By update issue I meant something where you had to have the version already installed prior to updating, vs. a fresh install (which worked for me).
I mean, any UNIX beard who isn't willing to configure his/her machine to use a different shell, probably really isn't a true UNIX power user...

I would not care either way since I just use ohmyzsh, their github page has a shell oneliner to install it, good enough for me
When I took a testing course, I was taught that Correlated Active Clause Coverage was good enough for most test cases. This term might not be as widely popular
Apple's New iPhones Have a Nasty Surprise
Hmm, can you explain further? What kind of error code? So Always Online only kicks in when there's no response and not e.g. 500 error codes?
Correct. By adding sufficient value that customers will pay (perhaps with the applepay integration). Or by adding sufficient value that a customer switches browsers.
Spaniard here.

Google tax was just a ploy from our crony capitalist government to divert money towards publishers aligned with them (i.e. most major news outlets). Actually, the publishers are the ones who promoted it (lobbying for it long before it was even a law proposal) and the government just followed its masters (the two large media groups who own mostly everything).

https://en.wikipedia.org/wiki/AEDE

> In response, Google announced that they would be shutting down the Spanish version of their Google News service.

>

> The AEDE reacted by lobbying the Spanish government to force Google to keep it running.

It would be funny if it wasn't so worrying.

__

Fortunately this just looks like public workers from AEPD (Agencia Española de Protección de Datos, Spanish Agency of Data Protection) doing their jobs.

AEPD is one of the few public organizations I'm glad we have.
If we oppose corporate monopolies, why could be support labor monopolies? Such a view is intellectually inconsistent.
The functions called "ceil" and "floor" shouldn't do banker's rounding - the very names describe what the behavior is supposed to be.
You'd probably be a bit surprised at both what I pay for taxes and what I donate.
> pacman is amazing

From a user point of view, how would you notice this "amazingness"? Having used yum, dnf, zypper, apt-get, apt, emerge and also pacman for a while I only saw very superficial differences and maybe formatting. (packaging is different,yes, but usage? Also speed is apples to oranges and "pretty" output I don't really care for.)

> no bloat at all.

_Any distro_ does that. Either use the netinstall or open the archinstall guide and replace pacstrap by debootstrap.
Heck, for opensuse you even get the full package manager during installation and can select/deselect any package you want. How is arch any different?

> surprisingly stable, though you should be careful before you upgrade.

So much less stable than, say, debian testing.
> They don't like to talk about it because it's entirely off the subject, here. It is extremely intellectually dishonest for you to say that, implying that a tech union would do such a thing.

Every time the topic of immigration and visas come up, the comments are flooded with racist comments and talk about how we need to make it harder for companies to hire people on H1Bs from Asia. The more overtly racist comments get flagged and removed, but the rest still stay.

If anything, it's intellectually dishonest of you to suggest that these same people wouldn't actually fight to do that, given that's literally what they say they want to do.
Sitting Too Long Can Kill You, Even If You Exercise
Because different languages have different goals, and most languages don't need the flexibility and power of many of C++'s features, and favor an easier language while sacrificing some of these extra language tools.
I don't think that would work; Darwin includes the XNU kernel, so it wouldn't make sense to run it in Docker, which is containers under a Linux kernel. A VM is the right solution here.
!$ is not merely the last word, but the last argument - particularly handy when it's a long path. Also love the way zsh expands these with a single tab press - great for clarity or further editing.
Serious question: Are the investors not at risk for being charged with a federal RICO case given that marijuana is illegal at that level in the US? Legally, it's no different than them investing in a heroin or cocaine ring.
Thanks! Shared tooling is exactly why we're doing it. If we can make it easier for our users and potentially easy for some Prometheus users, it's a win. That's one takeaway I have from the Graphite project and community. So much tooling was built up on that standard over time and much of it was very useful. Iterating and narrowing in on a standard will get us to that same spot so I think it's great.
Support Ubuntu Touch. Open Source linux!
Micro Generation Born Between 1977 and 1983 Given a New Name
>I still miss a few features of the gmail web interface, but in general I'm very happy with the switch.

Curious what features you miss from Gmail?
> I think we are better off with boost than learning this new stuff.

This new stuff actually comes from boost (like most new stuff in C++)
Zoho is a pain to use
Ubuntu touch is not dead yet. It has been picked up by UBports.
Fair points on the issues of standing — I would assume that a college-educated person with a decent understanding of the relevant case law (gleaned from some of the links below and other MSM articles about the data breach) could stand a decent chance of winning in court. Your mileage may vary, but if a 5 hour time investment could possibly yield a 4-figure settlement, I don't see a problem with filing a case and the worst-case scenario being a loss in court. That being said, since your chances of winning likely increase with how much effort you put into the claim, it's not Legalist that's doing the heavy lifting for you, which also begs the question of why you'd have them file for you in the first place.
Yeah. I learned LISP pretty early in my career, wrote a few LISP interpreters, and those are indeed the kinds of bugs that I was stomping. PowerShell seems to have turned those bugs into language features. Augh.
I use dropbox paper as well, and I have not looked back
BrandColors – brand color hex codes
You can delegate their education to someone disciplined and with lots of willpower, if you're up to it. Mind you that, though you made a non-hypothetical question, this is a hypothetical and speculative answer. I'm not suggesting that you send your kids to military school. But it's interesting to think that a lot of parents might have already faced this problem in the past and that that might have been their solution to it.
Linux drone controller has HDMI input and long-range WiFi
Good question, I'd also be interested in the answer.

I'd guess its a long-tailed distribution something like this (https://qph.ec.quoracdn.net/main-qimg-3b21f991d3f0446ce30b9b...) (quality on x axis, volume on y-axis) However, I know little about the complexities of coffee agricultural and manufacturing process, mostly just speaking in abstract armchair economics terms.
The problem with union negotiations is that members’ ability to earn isn’t related to the merits of the member’s ability. I don’t want to make the same exact wage as someone with the same seniority but perhaps less ambition. I am not an interchangeable widget.

Everyone is not equal in value despite being equal in seniority or experience.

A first year teacher might be amazing, but thanks to unions her wage is codified based on her position in the pecking order and not her merits.
Or, the language designer thinking he's saving programmers work by jus returning the value in cases where there is a list of length one.

However, he's really making it worse because now all return values from that function have to be type-checked to see whether they are scalars or lists.
The local impact is much greater though if the water is pumped out of the ground and then shipped out of state. All of your other examples end up back in the local water table. It's silly to argue that 30 million gallons of water being shipped out of range of the local reservoir is inconsequential -- especially in a state with constant droughts and rapidly depleting reservoirs.

(I've helped manage large aquaculture projects dealing with much larger quantities of water, so I'm not reacting to what seems like a big number. It's striking how differently the EPA treats the diversion of ground water vs. surface water)
What a crappy potential violation of the sovereignty of my country (Ireland) and others where Google holds data. It's a stupid and unnecessary slippery slope of extraterritorial power by the US. We and most other countries were Google has data centres, already have proven legal arrangements for coperation with the US.

I hope dozens of countries start issuing extraterratorial warrants for data that forces US companies to hand over data held in the US. Lets see what happens then...the sooner the resultant outcry and general clusterf*ck happens and this issue is binned, the better.
For one thing, piping being mostly text-friendly is limiting in many scenarios I stumbled upon. A modern shell should allow arbitrary objects to be piped and processed, much like the functional programming paradigma. The UNIX idea was and still is wonderful, but we're past the text-only thing.

In any case, I feel (and I don't have tens of facts, I admit) we're dragged by the past for far too long. Others have documented their gripes with the current incarnation of Ops / sysadmin problems much better than I could. Here in HN (but I think years ago).
The classic story of every interpreted language.
Mark Thornton on the Austrian Business Cycle Theory and Where We Are Today
Apple announced many years ago now that they were not going to update the version of OpenSSL, and that the reason they were not going to do that was because of binary (and source) incompatibilities that OpenSSL routinely causes in major updates.

This is very old news, and has been hashed out many times. The thing I don't understand is why no-one has created a shim on top of Apple's SecurityFramework to mimic OpenSSL, so things could be compiled against it. While it would be near-impossible to do this for all of OpenSSL's many features/modes (most people hate this), my bet is that it would not take much to completely cover what 90+% of projects need.
Nokia never had a real ecosystem. That's exactly why they failed.
Chromebooks are usually very handy, portable and have decent battery life. What exactly Windows models are competitive in this area and still in the same price range?
I'd be interested in reading that discussion if you have it handy. I've been looking into SSL recently for some personal sites and the easiest method has been a combination of GitHub pages / Cloudflare. I might be mistaken, but aren't EV certs just a cash grab by the issuing authorities?