skysight-inc/HackerNews huggingface dataset:
That means the bots were real too.
It's a muddy situation but your insurance may cover the cost. I explicitly called my insurance provider and asked if they cover the testing required and they said learning disorders weren't covered for adults at all. It was getting to be a big enough issue that I was willing to part with the money out of pocket so I got tested anyways. Insurance ended up paying 100% :/
Quixey Launches Deep View Cards
i actually view it more like the standard age old pricing model for goods with massive supply. "Content" is drastically higher in supply than demand, you are simply paying your market price for content. Ads would of course exist, but largely yahoo and early portals acted as print media companies selling advertising instead of content because 1) it was a new dist model, 2) there was nothing close to the ecomnerce and payment tools.

So basically, you are just paying for the goods you use, you set your price and this is beneficial to companies because the marginal cost of serving a webpage is almost nothing so if you opt to pay anything it is profit.

Unfortunately, taking time to pay for something has more friction than just not paying for it as well as being cheaper.
Yeah, it is, but you aren't likely to find your keys in the dark, so what's the problem?
No we would not. IPv4 with NAT can scale for a very, very long time. If we had been politically bold 20 years ago, or 10 years ago, we'd not have a problem for a long time to come. Instead, the cost of replacing software and devices for IPv6 is staggering and will depress other investment.
And IPv6 doesn't even solve any other, modern networking proverbs any better than v4.
thewirecutter.com also has ads
Most people do not behave as you claim to. Advertising really does work. It's rational and has well-demonstrated ROI.

You're either an outlier in terms of behavior, or you're not offering an honest representation of how you react to ads.
See also https://news.ycombinator.com/item?id=10247329 . Same URL but without the '?curator=MediaREF'. 4 comments.
Cannot because they can understand it or cannot because they haven't been shown it?
If the price of advertising goes up, Google will be incentivised to water down Contributor. An equilibrium might form, but in the long run it probably won't be "ad free". Google can't get away from the contradiction.

> I'm not sure that's a "walled garden" in any meaningful sense.

Hence "semi-walled". It's walled in the sense that only Google's ads are affected. They can somewhat reliably track users on sites that belong to Google's network. They can't do so otherwise. I imagine they solve fraud with their existing tools.
Only avaliable to subscribers.
Evaluate the veracity:

Poor people view professional advancement as unequally attainable, but more desirable.
Giving one person the power to force media organizations to broadcast his words sounds really strange to me!
Cookies set via HTTP may be used to bypass HTTPS and reveal private information
> to the point where a man expressing apprehension about walking alone are often ridiculed

Citation needed.

If someone expressed apprehension about walking in a perfectly safe area for no reason, I'd tell them I was concerned for their well being. Just as if they expressed nonchalance about walking in a demonstrably dangerous area. It's called consensus.
I don't like the current proposition: you pay for seeing less ads, but there's no tier guaranteeing no ads. Even if they guarantee 99% less ads, I still wouldn't sign for it.

Paying for seeing less ads does not change the incentives for tracking and targeting, and may even worsen them: surely Google will start by cutting the less targeted ads and will keep the most targeted ones. The more I cut the ads, the more targeted the remaining ads will be, and stronger will be their incentive to track and analyze my behavior.

Only by a policy of no ads and no other revenue stream besides my money would avoid some of these perverse incentives.

Of course, Google Contributor would still have to track the sites I visit, so I wouldn't be able to prevent tracking with a technical tool if I signed for it. This adds even more to the argument that Contributor is only an option if no ads are allowed, so that he incentives for targeting and analysis are now removed.
> #1 I might be completely wrong, but I think this might be doable in Haskell with a monad that tracks total time + maybe STM would help for the rest of the requirements (for a subset of the problems)

I don't think you can have a monad that tracks total time at compile time without dependent types (you might be able to do something like what I think you're suggesting with C++ templates, but even that would be rather limited), and STM is neither a verification mechanism nor an artifact of the type system -- it's an algorithm providing a useful abstraction, not unlike a GC (don't get me wrong, it's a great solution in some cases -- Clojure has it, too -- but it's orthogonal to Haskell's other abilities).

> #2 ... then updating your data access layer to only allow...

That's architecture -- not verification -- and no different from saying we'll keep X and Y as private members of a Java class, and only allow modification through a single public method which we mentally "prove" to preserve the invariant.

Obviously, people write software that fulfills similar specifications all the time and those systems work, so we know how to write them (using architecture, care and appropriate algorithms). Formally verifying them is a different story.
2015 Container Summit notes and learnings, Part 1
Ada does most allocation, including local dynamic, on the stack. From there, for the heap, you get to choose whether to manage individual pieces of memory, work from whole pools, or do GC. With these, you get help from the type system in catching or preventing errors. Past that, there's the usual risks. Requires a lot less memory management and runtime overhead than Java while preventing way more problems than C.

And, as I often say, the empirical studies all showed C doing far worse in terms of defects introduced. Ada benefiting safety & productivity over C is a proven fact rather than an opinion. So, questions are: (a) should we use it for this project? (b) should we build on a proven solution and make it better?, and especially (c) should we borrow anything in this that made it effective when designing a new language? I especially push for (c) to be applied any time new tech is built. Ada is my reference for safe, systems programming because it did what it promised and is the oldest one still updated/used. Also turned out almost as future-proof as COBOL with a lot safer, easier maintenance. Such longevity, along with safety, benefits enterprises writing mission-critical software.

Details on various safety mechanisms:

http://www.adacore.com/knowledge/technical-papers/safe-secur...

Far as replacements, Rust is looking promising. Needs to mature a bit and better tools for various situations. A great design, though, with a lot of potential. Not sure how it would fare for embedded, though: Ada was used in microcontrollers and stuff.
I've been trialing Contributor for the past month and there's two reasons I'm going to continue...

1. It works anywhere I can log into Google, which means I see less ads on my mobile device or in browsers where I might not have been able to install an ad blocking extension.

2. You can configure what you see in place of most ads. Thus my browsing now has more cats: http://imgur.com/fqF0YJb

The only reason I'm thinking about ditching Contributor at this point is because I'm more of a dog lover.
True, someone else pointed out that this could all be done as compile time checks, which would have no runtime/ABI impact.

There are interesting stories from the early days of C when it was first codified that say a lot about the whys and hows of the language that we have today. In particular I'm thinking of the fact that the compiler and what we now think of "compiler warnings" came from two different warnings (cc vs lint). This is because the C compiler was the largest C program and generally took every bit of memory available to do it, there was no room for any kind of sanity checking on that code. I've heard it said that to include a new feature "n" in the language, they generally had to rework at least some of the existing compiler code with feature "n-1" to simplify/shrink it enough to fit the new feature.

In that kind of environment you get a language with very little input checking, beyond the rules of the grammar itself (which was as small as possible).
for text messages: Telegram Messenger

for audio messages: Telegram Messenger

for (near) real-time audio/video: Hangouts
More importantly to me: I don't want to login to a Google account. $10 - $15 is a fair price, but I don't want to login.

I feel that if I pay for something and it now requires me to have an account I'm getting a worse experience. This is especially true in this case where a free product like uBlock will yield a better result.
It's been posted pretty often the last few days. https://news.ycombinator.com/item?id=10257305 from two days ago has 138 comments.
JavaScript as default language and software stack
I'm not sure I understand the question. It's up to each publisher to decide if they make enough on AdSense to justify putting its ads on their site. The success of Google's ad business suggests that even net of fees, many people still think it's worth it.

Now, personally, I don't think Google pays me enough to run AdSense on any of my sites. It's frankly not even close, so the fee isn't the issue -- it's just a bad fit for the volume and type of content I produce. I can see why it's great for many other publishers though.
Besides the obvious abortion debate, what is still missing concerning american women's reproductive rights?
I'm a maker. Tell me more about this $700 Shenzhen laser cutter? I googled it and I'm coming up with a few things, but only very small $400 units and very big expensive units.
I'm probably one of the few willing to buy a SPARC computer that is completely free, even at the likely 500% markup or more required to build it.

But I also imagine it would be impossible to build due to how few of us even care.

You would need chips, which are pretty much not being manufactured anymore. Good luck buying fab time as TSMC, and having enough volume to justify it. You also need a design, thankfully the SPARC chips have open designs, but they are still really old for old fab tech. Good luck getting the engineers to update it.

You need mainboards, assembled somewhere (expensive) and fabbed (again, expensive). You could invent your own or reuse a published ancient print if any exist.

You would need open designed DRAM, and good luck trying to support modern iterations like ddr3 or 4 on old SPARC boards. I'm not aware of any DRAM being sold with open blueprints, but also have not looked much into it.

You would need open storage devices. No SSD or HDD qualifies today, since they all have proprietary microcode controllers. No open designs or firmware to be found there.

You would need a graphics accelerator. While there are some purely free software GPU drivers (Broadcom for the Raspi) none of the designs are open. Again, good luck.

All combined the cost of just getting these five core components in a firmware free / open design state is insane. It would be on the order of tens or hundreds or probably a billion or more USD just to get a few thousand units. And at those kinds of costs (lets say we are optimistic and sell 10,000 fully open computers) and say it cost only 100M to build them, they would be $10,000 each for what is probably as powerful as something proprietary you could pick up today for $50-100.

One day I'm absolutely certain there will be a sustainable market for such a computer, because with proprietary hardware and software you are guaranteed to eventually be screwed over. Its only a matter of how deep in the rabbit hole you want to get before you wake up and realize how bad an idea it is. Eventually, I am certain all hardware and software design will be open, its just a matter of how long we want to slow progress and risk our individual prosperity on proprietary tools until enough wake up to the problem.
Yes, FTP has an atrociously bad design. The difference is that SIP wasn't made in the early 80s, so what's their excuse? VPNs typically do OK, except IPSec because the IETF didn't want to admit that NAT existed (though I believe they cleaned that up with an add-on and things are mostly fine now.) As an end-user, hopefully your implementors have solved most problems for ya. As an implementor, SIP is a curse. (HTTP, which SIP drew its nutty parsing rules from, recently ditched the entire format in preference of a binary format. Not related to the IP-embedding-galore that SIP added, but still interesting to note.)

SIP does not "work fine" in an IPv4 only environment, as any NAT user will attest to. It can, by ignoring the RFC and hoping that no middleware gets involved. (Middleware only gets involved because the RFC makes it a juicy target.)
yep. satellite radio too.
First paragraph:

"The Journal of Criminal Justice has been on a roll. Once considered a somewhat middling publication — not in the same league as top journals like Criminology and Justice Quarterly — it is now ranked No. 1 in the field according to its impact factor, which measures the average number of citations a journal receives and is meant to indicate which titles are generating the most..."

It sounds like the tl;dr is: the incentives created by how 'impact factor' is measured caused the journal to game the system by citing itself ad nauseum.
I found a bit of an answer. According to this EPA document, it detected a test by sensing the position of the steering wheel, vehicle speed, duration of engine operation and barometric pressure.

http://www3.epa.gov/otaq/cert/documents/vw-nov-caa-09-18-15....
It calls itself a 3D laser printer. It's a 2D laser cutter.
>The nuclear family is part of patriarchy, for example.

You are presuming that traditional behaviour is pathological. Why? Why exactly is the nuclear family pathological? Two people in a partnership raising the children they love together using division of labour? This seems pretty rational. My mother did this. Was she a victim for doing so?

It is good to offer people the freedom to choose, but when they choose something other than what you would do not blame it on brainwashing.
I am literally a worthless view to them

Maybe that's true, but I'll bet you're influenced by it more than you think. When you consciously notice an ad and get irritated by it you won't buy, but there will be times when you subconsciously notice an ad and do nothing about it. Many advertisers are smarter than people give them credit for.
There's another way ... it may sound a bit crazy at first, but I think it's the only approach that will work.

* Advertisers must start paying visitors to view their ads *

Not just for clicking on ads, but simply for loading them into your browser and looking at them or listening to them.

I read somewhere yesterday that the ad business is $40 billion/year. None of that money goes to the people who are being abused daily by the onslaught of mental pollution that this "industry" produces.

What should be troubling to all advertisers, is that almost all of this stuff is displayed to people who will never buy their products.

Luckily, we have the mechanisms now to efficiently do this: Bitcoin etc.
I foresee a payment system, probably mostly run by Google since they are the most connected to the current system, to mediate between ad-viewers and ad-producers.

There's the problem of detecting bots vs. people, but that already exists.

This system would also be good for website owners (content creators). A website owner would benefit by providing a reason for people to visit, thereby also gaining a percentage of the ad revenue.
People visiting a website would be, in a sense, qualified-buyers of the products that could be advertised there, resulting in more targeted ads, perhaps by using the bitcoin addresses and the associated browsing history (something that's also already tracked but without consent).

I think it's the only way out of this mess. I don't have all the details worked out, I'm sure someone out there knows how to make it work.
Could you use this for single sided PCB printing?
Quick note on 3.b - Go 1.5 didn't introduce cross compilation, that's been around for much longer.
Boeing publishes photos of 1960s stealth plane experiment
Ask HN: SaaS tools for building 100 person sales center?
A company that I have an investment in is building up a sales center that will shortly have 100 reps. I can't stand the idea of having premise based solutions in 2015.

Right now we use Shoretel cloud with Zoho CRM but that is combo is missing some key functions including: skills-based routing, business integration tools, dialer. I'm looking for feedback from folks who have actually set up a sales center (not just vendors) that have found good tools to help us efficiently run a sales center.

Talkdesk seems to be the closest to what I want but I've heard they sell smoke/mirrors.

Here's a good list of features I looking for: http://blog.talkdesk.com/the-most-common-call-center-software-features
Good question for somebody on the GF team. My last company was Cloudant so my biases are pretty obvious.
When Bush was in charge, Republicans apologized for him and Democrats blamed him personally for destroying the country.

While Obama is in charge, Democrats apologize for him and Republicans blame him personally for destroying the country.

The truth is, the president is never the one pulling the strings (at least not all of them), but both sides insist it's the case when it's to their advantage to attack strawman positions of the incumbent party.
Even if everything and everyone fails to learn the lesson of 240.0.0.0, and ignores the standard, and hard-codes the assumption that 7/8's of IPv6 is unusable forevermore, 1/8 of 340 trillion trillion trillion is still unfathomably huge
You can always order a Chinese made laser cutter which has 80% of the features and 100% of the most important ones. If you go this route, get it from a dealer in your country with a good reputation so you can get service and support.
Of course there is no "mysterious male cabal", that's a very gross (and unfortunately common) misinterpretation of patriarchy. Patriarchy is the cultural structure which preserves and reinforces traditional gender roles. That's not patriarchy being synonymous with them, just as Buddhism isn't synonymous with the cultural practice of meditation.
I'll join elorant. There, there's a "we".

But I'd go a step further than "BuzzFeed". Any of the "[something] via [somesite]" web sites are in the offending category. They literally make money from the content of others by (sometimes) rewording the original title and giving it a slightly more clickbait title so that their 'via' "articles" look more inviting. Often, this is a chain of evil. I do not want to support that chain, even if it is just for the one visit. I would like to support the original writer, but none of the reworders. Now, the sad part is, there is only a very small list of real content creators.
I'm sure it does work across populations, but I'm also pretty sure I'm part of a growing demographic who are finding every way they can to opt out of it because they're sick of it.

As I say, I do find this and patreon interesting, and may sign up. I already get most of my tv and movies through subscriptions to streaming services where I don't have to see any ads.
> If the price of advertising goes up, Google will be incentivised to water down Contributor.

The Contributor model, as I understand it, intrinsically scales costs (or effects) to the cost of advertising, with participants effectively bidding against advertisers for their own views. So, no, they wouldn't be incentivized to water it down if the price of advertising goes up, rather, the fact of Contributors success would drive the market-clearing price of advertising up while driving up Google's revenues from its ad networks, simply by increasing the market for its ad networks from "advertisers" to "advertisers + contributors".

> An equilibrium might form, but in the long run it probably won't be "ad free".

It will probably be ad free for the users willing to pay the most money to avoid ads, and less so for those willing to pay less.

Which, ultimately, is a pretty reasonable market-based solution. You choose the content you wish to consume, and you choose the degree to which you'd prefer to pay money vs. viewing ads.
ASK SQLAlchemy Lovers: Flask or Django for a web app (not API)?

I'm building an app to facilitate more code giving to nonprofits, and help nonprofits move to the open source world. It will match GitHub coders to nonprofit projects based on skills, interests and other things. It will provide an interface for less-technical people at nonprofits, many of which can't afford tech salaries, to communicate needs and requirements. It will do as much as possible via GetHub (e.g. Pull Requests) so for coders there will be no added friction over the already low friction giving GitHub enables.
CamFive sells a variety of machines. You might try them.
Show HN: Large – Get anything your team needs via Slack
...yeah. I was just thinking the same thing.
For... building software? I thought dependent types haven't escaped research languages.
Usually it's hunger and restlessness. I'm pretty sure most of my disposable income is disposed of on food, drink and travel. I don't aspire to own vast amounts of stuff, quite the opposite.
Pretty sure they are talking about the K40 "blue box" laser. I have heard they require some mods to get working properly but for the price some think they are worth it.
Laser cutters generate smoke (with possibly toxic particles). They have air extraction attached to them for that reason. No air extraction on this model?
"Whenever a change is made, that is 7-10 seconds the watch command is running"

Wait, is that 7-10 sec with "tsc --watch"? Or like, the whole shebang for the production build?
In OO terms, I’m talking about having N classes—which for the sake of argument are not related by inheritance—one interface, and M functions implemented in terms of that interface. Clearly it’s cheaper to implement the interface once for each class than to implement each function for each class.

That part has nothing to do with monads. The advantage of monads is the actual functionality they provide, of first-class effects and easy EDSL creation.
In theory this process should work (it still requires etching as you can't cut copper with this laser):

http://www.instructables.com/id/Custom-PCB-Prototyping-using...
I thought it says that women desire several different things, so sometimes they prefer other things over holding positions of power. No need to call it strife, it's simply a decision between several desirable things that you can not all have at the same time.

Otherwise you could also say the co-existence of chocolate muffins and blueberry muffins is causing women strife (and other people, too), because it forces them to decide.
While I do find ads very mildly annoying, I don't tend to visit too many sites that have very intrusive advertising. My primary reason for using an adblocker (I don't use an adblocker actually, I use uBlock which is more general) is to reduce tracking and increase privacy.

I would previously have assumed that this was the same motivation most technically proficient adblocker users, but the comments here on HN seem to bely that assumption completely.

Are people really that bothered by ads that they would pay Google to continue to track their every move on the web silently???