skysight-inc/HackerNews huggingface dataset:
I haven't got up to proving things about floating point numbers in Coq. But my guess would be probably not.

But Haskell's quickCheck doesn't seem to find a problem.

λ quickCheck @(Float -> Bool) $ \x -> 2 * x == x + x
+++ OK, passed 100 tests.
λ quickCheck @(Double -> Bool) $ \x -> 2 * x == x + x
+++ OK, passed 100 tests.

It doesn't like associativity though.

λ quickCheck @(Double -> _) $ \a b c ->
(a + b) + c == a + (b + c)
*** Failed! Falsifiable (after 6 tests and 4 shrinks):
20.0
3.5741489348898856
2.894651135185324
I think you vastly underestimate how wasteful 3rd party JS API implementations work. Especially for advertising, analytics, and other injected widgets.

Build systems exist, but that doesn't mean they are used everywhere or that all features can be integrated into them. The same goes for static analysis tools, dynamic analysis tools, perf optimization tools, security vulnerability testing tools, unit testing, automated integration testing, etc. -- they exist, but their coverage is far less than 100%.
Kubeaudit
Maybe minio.
Is that exaggerated or do you really have confirmation of somebody serving time in prison for minor pot dealings? I would be willing to be most serving time in prisons for pot were moving quite a bit of product, which would still be illegal even in legalized pot states today.
From 2014: "There are only 4 billion floats - so test them all!" https://randomascii.wordpress.com/2014/01/27/theres-only-fou...
Privacy is important, but breaking the functionality of cookies is the wrong way to address it.

Apple wasn’t the one that broke the “functionality” of cookies. Though I’ll allow that one could think that third-party tracking cookies were part of the original intent.

Be prepared to start losing your settings in web apps or being logged out after 24 hours if you use Safari.

Be prepared to start reading articles on how this actually works before sharpening the pitchfork. I’ll give you a hint: none of what you describe will come to pass.
Because that doesn't attract viewers like nudity does. How many times have you seen a half naked chick as the thumbnail, yet never appears in the video?
Are they really stealing it? The US Forest service seems to think they have a valid permit:

Yet the firm's permit to operate this seven-mile pipeline in the mountains expired in 1988, though since it pays its yearly $524, the licence is still considered valid by the US Forest Service and by Nestle.... However, activists consider the permit expired and the US government is now reviewing Nestle's licence. A public comment period has just closed and this month a federal hearing will consider the legality of the permit.

Later that year a federal judge sided with the Forest Service and declared the permit legal:

A federal judge on Wednesday ruled in favor of the U.S. Forest Service, declaring valid Nestlé’s permit for water-bottling operations in the San Bernardino Mountains, on a motion filed by three environmental groups that sought to shut down the company’s efforts until its effects on the environment could be evaluated.

http://www.sbsun.com/2016/09/21/why-nestl-can-continue-to-bo...
let us keep in mind that these balances can be inflated by the final recipients
I can't say I'm surprised; stuff like this ALWAYS happens when you have a large platform and you sell things based on what a set of algorithms observe. The problem is most places that I've worked at will at least review the algorithm generated items to make sure they're appropriate. It sounds like Facebook completely lacks this which makes me wonder how long have categories like this existing on the platform?

Facebook is one of the most effective, wide reaching places for advertising so it begs the question: with enough money, how much can you manipulate a group of people?
Seems like you're striving for equality of outcome, instead of equality of opportunity. And I'm the first person to concede that there is no real equality of opportunity per say, a lot of individual factors come into play. At the same time, say if your parents had the foresight to save money for you to go get a good education/etc (personally I had to take loans), does that mean that those people should be taxed and their money redistributed to those who did not save for their children? Think about this as a software developer, what kind of incentives would that provide, what kind of behaviors would that encourage?
The best Company I ever worked for
This book is incredible! I read this book twice cover to cover and then hand copied a version to fully grok it. I make every member of every team I work with read it before I have any indepth conversations. It's that good, and an absolute nessecity in helping to get everybody operating from the same place.
It works in the sense that there are finite number of them on a finite-size machine, but exhaustion would be infeasible in almost all possible cases.
Ummm, Crimea has been majority ethnic Russian for over 100 years, Ukranians weren't even the dominant minority in the region for most of the last two centuries. You really should learn some history before commenting
For C the first approach I would try is just using a general software verification tool. Write a test driver which feeds the two functions two different non-deterministic inputs and assert that their results are the same. A verification tool will attempt to prove that the assertion can not be violated. The yearly software verification competition (SV-COMP) [1] has some very capable tools for verifying C programs. If I remember correctly, SMACK [2] and Ultimate Automizer [3] both do very well over all.

[1] https://sv-comp.sosy-lab.org/2017/index.php

[2] https://github.com/smackers/smack

[3] https://monteverdi.informatik.uni-freiburg.de/tomcat/Website...
Maybe this isn't a problem we should be trying to solve with computers right now, then. We've managed to survive as a species and as a western society for years making these kinds of determinations using people, maybe we should continue to do that.
> Uh, it's the ads that are hurting the user experience

Amen to that. Not only do they slow down page loads by several orders of magnitude, they also frequently slow down the website after page loads. The shenanigans some of them try is really infuriating and blatantly disrespectful to the end user. Embedded cryptocoin mining, firing off HTTP requests rapidly and endlessly, changing the page's scrolling behavior, loading right in the middle of the page's main content, etc.

Any change to a web browser that interferes with or defeats online advertising is one that I welcome. Until online advertising becomes unobtrusive and malware-free again, I, along with millions of others, will keep the adblocker enabled.
> What I will say is that it has become trivially easy to increase my wealth since selling my company. ... largely by doing nothing.

If you have a moment, I wonder if you could expand on that.
Free Basics and Internet.org were two of the most disgusting moves i have seen from fb. I wonder if any of Indian workers working at fb questioned zuck about it at one of the his town-hall meetings ( if it is possible to do so).
What are your arguments against inheritance?
Do Google ad tracking cookies actually live on the google.com domain? Seems like an ethical violation of some kind if so.
Bodega Apologizes for Upsetting Everyone
Document Object Model (in the browser) has been a topic of heavy discussion on HN since I found it half a decade ago.

perhaps you just misjudged the composition of topics frequently posted to this site.
What happens when ... we've got multiple or even dozens of smaller networks serving regions and niches?

I think there are already more than two dozen smaller niche social networks.
More context for Jio, they offered free cell phone coverage for anyone in India for a few months (LTE, great coverage everywhere, very fast) and now are offering it very cheap.

I'll leave it to you to figure out how/why. :)
It is a problem I've seen in the real world.

For example, I've seen a project where upper management tasked a team of developers with writing software and didn't give the team specific direction nor did they communicate clear goals for the software. The team asked for more details, and the management told them to "do it agile". The team wrote good software, but they solved the wrong problem.
You can also get it for free from (at least) American Express and Discover if you have a credit card from them. I'm sure there are other card issuers that give it to you for free as well.
Open Source Darwin could be useful for Mac OS builds of F/OSS software eg. daemon-like and command-line apps without native GUI.
Articles like this remind me of how far we have come in a relatively short time. From a world where gay people had to invent a secret language to afford them some sense of security in a harsh world, to a world where gay people have significantly more rights is a wonderful development. Good job to everyone who fought to make this change a reality...
Software developers wages have stagnated for at least the last 10 years.

http://www.theserverside.com/discussions/thread/81424.html

So I'll ask again, since developers are in such high demand, why do you think wages haven't increased?
GNU Octave lead developer hired by ESI Group
Linda Crawford comes out of retirement as CEO of Helpshift
In contrast to humans, who have the right to live, companies have the privilege to exist.

I agree with your sentiment, but I consider being alive the greatest privilege.
Eastman Kodak was a technology innovator. Where are they now?

Unions were/are a huge drag on them.

In order to 'protect' workers, unions define job functions. This prevents an engineer from being moved over to bathroom cleaner. However, it also locks people into job descriptions that may have made sense at one time, but no longer do. It also makes the business unable to respond flexibly to new conditions.

A friend of mine worked at Kodak. It took months to get a photocopier installed because the movers were unionized, and they wouldn't move the old one because it was plugged in. Only the unionized electricians were allowed to unplug it.
In the `Normalized Global Results` table, Pascal is used as the reference (for memory use) and everything else is reported relative to it.
Is that still going to work? I have the impression that Apple is simplifying iTunes and removing everything but audio and video.
This follows up on this story:

https://news.ycombinator.com/item?id=13603575
The cleaning staff won't envy your $6 bread if you're also spending twice as much as strictly necessary on your cleaning staff. That is, if you buy $6 bread instead of $3 bread, you should also be paying $21/hour to your cleaners instead of $10.50/hour.

If the judgment you fear is "this person values bread more highly than people", then just make sure you value people more than bread.

Don't peel the price tags off. They know how much they're paid. They can guess how much your bread costs, because poor people are required by economic necessity to know what consumer goods are worth, and often also how much it costs for market substitutes and DIY ersatz copies. If you buy a fancy leather couch for $12000, the maid will know that you could have haggled the salesperson down to $8000, and maybe also that the same factory makes a similar fabric-upholstered couch under a different brand name, and sells it for $2250, or $1500 if you rent a box truck and drive to North Carolina to pick it up yourself. $500 if you ask Shady McLoadingdock about "damaged goods". $350 if you also give him some of the finer varieties of cannabis grown in your state. Poor people build and upholster all the couches. They drive all the trucks that move them around the country. They work retail and sales in the furniture showrooms. They have to hustle for everything just to make ends meet. Don't think you can fool any one of them just by yanking off a price tag.

The only thing rich folks should be embarrassed about is assuming poor people are stupid.
I wouldn't be surprised if they're playing with one; they're regularly sending out "how to grow your audience" suggestions to creators that want everyone to make video content, regardless of how appropriate it is to their craft and/or personality.

That said: making a YouTube is a hell of a lot of work and a huge investment. Yes I'm sure you can kludge up a simple clone of the basics in Your Favorite Language in six hours, but can you build the infrastructure to deal with the inevitable copyright infringement, avoid falling foul to widely varying obscenity laws across the globe, hire people to screen for that sort of thing, there's a whole bunch of stuff above and beyond "managing some AWS virtual storage for video files".
I wonder if Apple is protecting its customers from everyone except Apple.

I really can't trust any closed-source OS, and very few closed-source applications.
Do you use Stripe's risk evaluation API? In my experience, a lot of chargebacks come from people who have had their credit card info stolen, then file a chargeback when they see the unknown transactions in their statement.

You could also try using the two step auth and capture method to allow more time for the victim to realize their info was stolen and do an additional fraud check with potentially more up-to-date models right before performing the capture.
IANAL, but isn't champerty permitted (or not prohibited) in almost every state? I don't think there's any remotely recent precedent for state-level champerty statutes (the few that still exist) being enforced in a commercial litigation context, and I think this situation is one in which the plaintiffs (Equifax data breach victims) are already planning to file suit, thus not rising to the level of "champerty and maintenance" being applied to frivolous litigation that such statutes aim to prevent.
> Isn't a shortage technically defined as when supply can't meet demand?

It is, yes, and ultimately says the same thing. I prefer the alternative phrasing as I think it more clearly explains the mechanisms, especially when people sometimes confuse demand to mean 'I want something'.

> Capped prices is one potential cause, but demand also isn't always very elastic and this can cause shortages on it's own.

I don't see it being contradictory. In an ideal model of inelastic demand, the demand never wanes no matter how high the price goes. However, price cannot continue to rise infinitely, so you have technically created a situation where price cannot rise again. It is still the price not being able to rise that characterizes the shortage in this case.

I did not mean to suggest that the government is the only thing that can cause prices to stop increasing. It was just one example.
It's not working Should I blame caching?
>Facebook is akin to McDonald's not only spreading internationally but also replacing all other restaurants once it gets in a country.

Sources for McDonlads replacing all other restaurants. Maybe you haven't traveled as much but for me I always check out local McDonalds, hardly actually eating there. One of the reason they have been successful is adopting local tastes. Costa Rica has Gallo Pinto in addition to fries as options. Serbia has this crazy Crispy meat thing.

With McDonalds I know what the product is and I pay for it. With Facebook it's a little less clear what they are doing. One certainty with FB, we are the product.

With FB they are a little nefarious, especially the Free Basics thing. Google is doing similar things with Google Fiber and the defunct ballon idea.
Maybe by dollar amount spent?
Are you ignorant to the fact that the port of Sevastopol is host to Russia's Black Sea Fleet? Do you realize that Sevastopol was founded as a Russian naval port in 1783 and that Crimea has been Russian for over 250 years?
On of the things with the C set is they didn't use Intel's icc. On our main application (which involved a lot of heavy duty number crunching) it speeds up our application by 100% over the best we can get out gcc.
Not sure I really buy this reasoning for the rise in cannabis startups; if you follow the logic, it should bring you to "prescription drug delivery" pretty quickly, and yet the focus is all on weed.
You can open your eyes but not look at the phone.
> Tech workers are not unionizing -and I can't imagine they would, given their pay compared to other sectors.

You know, the big pay-fixing scandal with Google and Apple didn't happen that long ago.
https://cs-syd.eu/posts/2016-01-17-function-equality-in-hask...
Admittedly that is a U. S.-centric viewpoint incorrectly extrapolated to the world. I'm calling"literary license". Thanks for the correction.
The point you don't seem to realize in that string of comments is that the amount of extorsion that happens in an unregulated market becomes so large over time that it eventually leads to the dominant player stripping the dominated player of any hint of dignity and reduce him to total dependence. You cannot just look the other way and pretend there is still free choice when these people are captive and not even able to search for a new job.

This inhumane treatment inevitably ends up with physical violence, because it is the only resort left when the dominant's autnority is questioned.

You don't need to trust me, just look at the events of labour-related violence in the US at the turn of 20th century. Observe what happened before the situation became violent, and you will realize that in dozens of examples, the mechanisms that led to violence are the same: a class of workers that were dispossessed of so many rights that physically removing them did not look despicable as a business option.

Here are a few examples to start with:
https://en.wikipedia.org/wiki/Ludlow_Massacre
https://en.wikipedia.org/wiki/Bisbee_Deportation
https://en.wikipedia.org/wiki/Colorado_Labor_Wars
Ah, so that means it doesn't mean what I also took it to mean. :)

Know a good reading on this?
Drivers and many KEXTs (equivalent of linux kernel modules) are closed-source.
Hacked Headset Brings VR to the Commodore 64
Non-unionized workplaces can also have ridiculous, bureaucratic rules.
Boyan Slat’s Giant Ocean Cleanup Machine Is Real
... what the hell did I just read. Let me correct the record so those that end up here don't actually buy into this.

> Not all cookies are used for tracking.

No, but third-party cookies are basically used for tracking. A legitimate site does not depend on a third-party cookie to handle features or login. At all, full stop no ifs, ands, or buts.

> Be prepared to start losing your settings in web apps or being logged out after 24 hours if you use Safari.

Again, not going to happen because those are not associated with third-party cookies.

> They're deliberately trying to hold back web technology so that people will be forced to create and use native apps instead.

God no, or there would be no icloud.com, online shopping app, or their other web offerings. There is no conspiracy or holding back, this is purely to protect the user.

> I say this as a die-hard MacBook user.

Then you should be prepared with more research and have your homework done ahead of time on this matter. This is all nonsense and just false.
> So Hacker News has code blocks, but doesn't strip the indentation that is required to introduce them. So you'll have to lead the 2 leading spaces in each line if you want to try this out for yourself.

Your example is good, but the technical issues experienced in posting your example are perfect.
My point was that `auto` was introduced in C++11, not "since C++11".
This is not a software development process issue. If management is bad, doesn't understand the process, and there isn't buy in then the project will fail. Take that same team and same management and do it waterfall and I doubt the outcome would be any different.

But it is not just management that is at fault. Those developers did not have enough backbone to push back. Instead of educating management about the process or telling them it can't be done they just sulked back to their cubicles and coded. There is no surprise it turned out wrong.

I see where you're coming from on this; you cannot build any product without communicating with the stakeholders. That communication can be rough scribble diagrams, notes, detailed requirements, meetings showing off prototypes -- really anything. All software development processes are about communication.
3rd party cookies are not really required for most apps, they are mostly for ads.
Safety disconnects let you keep the house powered without sending power onto the grid, though.
Ya, I've heard stories about people getting in trouble for moving a printer because it's a union job. Like I said before, not all unions are the same, just like not all developers are the same.

BTW, unions didn't kill Kodak. Executives love to blame unions for their own ineptitude.

https://www.theatlantic.com/business/archive/2012/01/what-ki...
First Google Assistant-Powered Headphones Demoed in Video
Put your multiple personalities in Firefox Multi-Account Containers
In house marketing can be just as aggressive as third party, so I don't think we can fault one more than other.
My best guess is that something on the unencrypted Mac Pro was referencing files on the encrypted drive. I'm not sure what kind of metadata macOS stores or what a third-party app would have, but it wouldn't be hard to imagine that something had hashes for files on the external drive.
There are many cases of extended time served for small personal amounts of marijuana. Especially after "tough on crime" effort and 3-strikes laws that permeated throughout the country starting in the 90s. Obama vacated many federal sentences before his term ended, but that didn't cover prisoners in state and county prisons.

Plenty of press and articles around this over the past few years.
The graph really should be U-shaped.

There is a bit of manufacturing philosophy that I find relevant here.

You can build an efficient factory that makes a large number of identical widgets at a price competitors can't beat, or you can make a factory that makes small batches of custom order widgets at prices competitors can't beat.

However, when you try to build a factory that does both well, you'll end up with a price point that is no longer competitive.

In software, it is very similar. You can stick to a model, or you can spend your time customizing, but if you try to do both you'll end up with an unmanageable code base. This will eventually lead to rising costs and a lost competitive edge.
Mechanism behind calorie restriction, lengthened lifespan revealed
I understand build systems cannot solve every problem, and the mechanism described in the article is certainly useful. I was merely responding to the concern about third-party scripts with links copied-and-pasted mindlessly, and which would be better handled using a build system.
GitHub vs. Resume: Why Bother with a Resume in the Age of GitHub?
I've had friends enter information into that form and it said they weren't affected. AFAIK the Equifax backend is complete garbage and they've been very careful to disclaim a positive match by saying your information is "potentially impacted." Seems like they have no idea of knowing/proving whether someone actually has your specific information, but can check whether your information resided at one point on the specific server/database that was compromised?
The tests come from the benchmark game. If you want to see Forth, implement the tests in Forth:

http://benchmarksgame.alioth.debian.org/
Economics of Artificial Intelligence
I don't think they've ever released code with version history, so it would provide little benefit other than a famliar UX.
There Are Only Four Billion Floats, So Test Them All (2014)
A lot of macOS is open source.

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

https://developer.apple.com/opensource/