skysight-inc/HackerNews huggingface dataset:
Have you considered there is no possible skill that will establish a societal middle class for the population, no matter what effort or resources are put behind it?

In less than ten years you'll be talking about vanishing coding jobs, and the word is they're not coming back. What then? There is nothing we can't optimize to require less human labor. There is no possible skill that will translate to 'humans as a class' remaining relevant to productivity and a labor pool that's increasingly nonhuman. It's like expecting people to hammer in railroad ties, or dig through rock with pickaxes. Absurd, unreasonable, insane.

I quite agree with 'adjust', but I'm shocked by the idea that 'acquiring skills' is your notion of the standard to apply to all humans. There is no skill or skills that will do what you think is going to happen. All that will happen is, desperate people will obliterate the labor value of coding and thinking, during the final phase of human-centric thinking as a type of labor.
Is this considered an open alternative to LexisNexus case search?

If anyone is curious what this system offers, I suggest searching Facebook -> all categories
You've got that backwards. Verizon is trying to extort Google by getting them to pay for interconnects and Google wants nothing to do with it. It's the exact same thing that was going on with Comcast and Netflix. It's complete and utter garbage that they continually double dip, and is the EXACT reason ISPs shouldn't be allowed to own ANY content. It's a direct conflict of interest.
If you configured an alternative DNS provider, such as Google Public DNS or OpenDNS, that could possibility cause something like that.

Or maybe they are throttling it...
What incentive do the funders have to agree that the product was shipped?

I mean, it's pretty obvious that such agreement on the part of the funders increases the likelihood that they will lose their money. So why agree?

I guess the person shipping the product could hope that the funders aren't assholes or theives and actually will agree that the product was shipped when it ships, but isn't the smart contract supposed to make such human signs of good will unnecessary? Otherwise, why have a smart contract (or any contract, really), as you can just rely on the good will of the participants?
You do have an option. Under the event page hit the little three dots and then you realize you have all of these options:

Notification Settings
Close

All Notifications
Any time posts are made in this event

Highlights
Important notifications about this event, such as posts from friends and hosts

Host Updates Only
Any time a host posts in this event

Off
No notifications about posts in this event
You need to seriously think through every level of what you are suggesting. You want us to revamp the way we handle the complex interactions of individual autonomous groups from one in which your worth is tied to the value you contribute to society (The rapper 50 cent has a lot more money than a brain surgeon because like it or not the value he created for society was much greater than that one surgeons contribution) to one in which you are rewarded simply for existing. Do you truly believe that is a sustainable system without fully automated existence from resource extraction all the way to finished goods ( which we are not even remotely close to achieving)?
Unless this is referring to a different house, no, the parents do own it:

>When Victor was growing up, his father was able to buy a small house in Menlo Park with his earnings a [sic] landscaper.
> I mean, if the CompCert C compiler can be as thoroughly verified as it is (http://compcert.inria.fr/compcert-C.html), there's no reason why it shouldn't be possible to verify smart contracts.

Hmm, so from the smart contract examples I've seen, I would have thought writing them in something like Coq would be quite feasible. The code examples I've seen tend to only have simple loops if any, basic conditions and the code is short (e.g. compared to something like web development or mobile apps). Writing anything inside a theorem prover is very challenging though but it seems a compelling application.

If you were implementing a smart contract in something like Coq, I'd be interested to read about what kind of specifications you would typically want to verify. I guess properties like "the owner of this wallet cannot be changed" and "the owner of this wallet can only accept money but not give it away" would be good ones.
I'll just set the environment variable thanks.
>>I'm on Windows 8

Genuinely curious, why?
> "Working at a Facebook cafeteria is an enviable job in many ways. Nicole earns $19.85 an hour as a shift lead, while Victor makes $17.85 – well above the $15 per hour minimum for contractors that Facebook established in 2015."

Assuming they work 40-hour-weeks, for 49 weeks every year, they make a combined family income of $74k/year. I've volunteered with low-income families in SF. I've seen families just as big as theirs, getting by in San Francisco, with half their salary. The way they are demanding attention, and comparing themselves with others in far worse situations, makes them sound really petty.

I've personally met people who are truly struggling in horrendous ways. If Mark Zuckerberg wants to use his personal time to help those at the very bottom, good for him. Someone making ~$18/hour really has no business chiding him for doing so.
"And yes, I still miss my 1/8" jack on my iphone. Every single day. And stay off my lawn, you whippersnappers."

In my case so that I can use, with appropriate adapters in some cases, reasonably nice over-ear headphones (Beyerdynamic, Grado and Seinheiser). Do I really need several stages of modulation, propogation, reception and demodulation between me and my signal?
Cancellation of Richard Dawkins Berkeley Event Baseless and Unconscionable
John Deere (I work for John Deere but do not speak for them) freely licenses all safety patents except for ones that we think any competent engineer can work around. We figure we make more money from someone who buys our competitors product and because of a safety feature survives to make the decision on what to replace it with when it wears out; than we make from the person who buys something without a safety feature and as a result dies.

I used to work for the company that published rfc 1223, giving away private information. The motivation is a competitor reversed engineered the protocol, and some customers had both. There was now a need to change the protocol but we knew our customers would not accept having to throw out the competitors equipment to take the upgrade. By publishing the protocol we ensured the competitor understood it and thus when the bit that was "always 0 apparently unused" changed to 1, with a change to the meaning of all following bytes they understood why it was always 0 and why the change happened and how to read all the following bytes.
What kinds of Show HNs are you asking about? What do you mean by how is a site doing?

My Show HN (https://news.ycombinator.com/item?id=14778497) made it to the homepage, but I don't think its what you're asking about. My site is just a personal site with random content so its no different than before my post.
Silicon Valley/the broader tech scene is going to look pretty empty if we do that to every employee of every company that has done shady stuff.
Learn Machine Learning with Josh and Micky
Agreed. At one point in time I really, really wanted my hobby and passion to be my work. But it didn't work out. And honestly, I'm kinda glad it didn't.

It's important to keep the thing that gives you drive in life separate from what drives every other decision in life (money). When they are intertwined, relationships and mental health tend to suffer.
Running an AI Startup and the Future of Deep NLP – Interview
Unbelievable. He is a harsh critic, to be sure, of beliefs that deserve criticism... of all religions, not just Islam. I guess KPFA has been cowed.
FB worker living in garage to Zuckerberg: challenges are right outside your door
I'm a weird optimist, but I don't see Windows 10 on mobile devices "dying", even if it is in a zombie state, precisely for these reasons that they've been making a lot of the right moves. With Windows 10 on mobile just being another SKU of mainline Windows now and with Windows 10 S being a very similar SKU, it doesn't make sense for Microsoft to "kill" anything so long as there are devices that want to run it.

So too with x86 on ARM emulation there's a bridge for that gap that "ARM Windows is not real Windows" now.

I expect Microsoft will continue to make plays in the space for Windows 10 on mobile/pocket PCs, especially when the timing is right (the right hardware combo, perhaps; or more of the mobile-intended "Redstone" features finish out, maybe).
"in order to search the whole document you have to put the cursor at the start"
Yep, but we all know to do this. Better to keep it with this quirk, than remove this indispensable software. Notepad and Paint are so simple and work fine, long may they remain.
Since the main page is a bit slow, here's a mirror:

https://archive.is/8wYHe
> I think this issue deserves a more thorough response because there are a lot of misrepresentations in the article.

From the article:

> Smith also said that most of the negative reaction was due to confusion around what the tools actually do. (Connor pointed out that it’s not possible to review what Kite does, since it itself is not open source.) Then he blew this reporter off. “I apologize in advance that I can't answer any further questions,” he wrote. “I need to focus on other parts of the business, including continuing to improve the product for our users, and conflict like this is always doubly distracting.”

The above sounds like you were given the opportunity to explain things but shrugged it off as a distraction.

If it deserves a more thorough response, why hasn't that been given? Even in this reply you only "quickly highlight" one point.
"90s cypherpunks that pioneered this ideas had considered Turing complete design and discarded it for cryptographic state-machines that allow for formal verification" - are you referring to Bitcoin?

Or some other ideas that aren't currently implemented?
One of the major reasons DK interests me (other than just being good in itself) is that it's sports-only. I don't live in Pittsburgh anymore but still follow all of the teams. Having DK allows me to get the local sports media without being bothered by things like local politics, news, etc.
Hi, Kite founder here. If you uninstall right after removing the whitelist directory then the removed files may have not have been synced to the server before the uninstall, particularly if you have a lot of files on your machine. We will address this by adding a "remove all whitelisted directories and log out" link to the local settings.

Something different was likely happening in bfirsh's case (sibling comment). If you delete the files from the kite.com/settings/files page but Kite is still installed then they will get synced up again. The most fail proof way is to uninstall and then wipe files from kite.com/settings/files. We will make the wipe files link log Kite out on that machine.

Sorry about the edge cases. We've been working on it, and will continue to do so!
> It is not a matter of how many children they have either because families used to be a lot more numerous in the past and it was not considered a problem at all.

I think in theory you could raise an 1800s-size family today, but you'd have to settle for 1800s-level quality of life, which nobody is likely to do. And in practice you can't just set up a shed on unclaimed land, because there is no unclaimed land left and NIMBYs wouldn't want a slum anywhere near their property. If you tried making your children useful as labor, you'd quickly lose custody for your child exploitation. And so on.

The things our society expects and accepts have changed, so you can't always point to the past and say "it worked then, so it will work now"; because if the social structure enabling it has changed, this may not be true.
> Should Ethereum not have been launched until it had solid methods for auditing and proving? Maybe, but that's not how the world works, typically. Worse is better and all that.

As a platform for experimentation that's fine. As a platform for doing real things with meaningful amounts of money, it's madness.
Uh oh, someone invented Java-style "generics" again...

Seriously, static typing without proper parameterized types isn't going anywhere; just do it and get it over with. Watching the Go-community is like a flashback to Steve Jobs arguing for the one-button mouse.
I've been looking to move from San Jose further up the peninsula.

There are apartments under $2700. Even under $2000. However, there are differences of quality. A unit around $2000 won't have in-unit laundry, a dishwasher, a/c, a pool, etc. A place about $2700 likely will have those things, new appliances in the kitchen (oops, forgot "newly renovated"), etc.

It's definitely tough to find a good, decent quality place.
Necker Blockchain Summit
It doesn't though, it takes a screengrab of your current window and let's you annotate, but only if it's a win32 app or UWP not the win8 apps. I just ran into this issue last night (to be fair snipping also doesn't work).
Yes. The business model is primarily kit sales and children's programs. The latter benefits the former -- maker junior kits are the result of thousands of hours of research working with kids to understand what works.
"It was also written in Perl, a language that's "archaic" for malware"

Perhaps why it's good at running under the radar.
Why shouldn't Verizon and Google split the bill?
You might be interested in switching to Greenshot. The workflows that you described will go much quicker since it pops up a menu of quick actions to take after you press Print Scrn.

For screenshots that you want to review later, you just tell Greenshot to save directly to a file that it automatically names with a timestamp. To do quick edits, you can open your screenshot in the built-in editor. Or, you can open them in Paint.NET or any other editor.
I would argue that they used cygwin, and now they have the option of using WSL- which I have been using for the last two months, and thus far has met my CLI needs.
I hate immutable variables because I'm lazy but I would definitely use them as a feature in a system like this. Maybe I should reconsider using erlang or my position on immutble variables... Nope that's enough self discovery for today... Carry on.

Edit: And again erlang people can't take a joke. I'm literally making fun of myself for having an invalid bias and erlang folks take it as an attachment on the language.

It's also a commentary on how long it takes for devs to mind shift and incorporate new ideas.
Why? I'd understand not wanting AT&T or Verizon to buy either of them, but I don't see how a T-Mobile & Sprint merger would make things much worse. Seems like that would make them a more viable 3rd alternative to the big two, which is something I'd really appreciate. I just went back to Verizon because the service I was getting from T-Mobile just wasn't good enough.
A look at the recent commits would suggest they are correct: https://github.com/ethereum/solidity/commit/e506129aee5745e2...
Self-assessing Your Agility
Make a backup for them first too, just in case they don't have one..
I've found shelter dogs to be more resilient. It seems that's because they're almost always mixed, instead of bred in less-than-ideal conditions with possibly less-than-ideal genes.

The genetic lottery a mutt has tends to make it a better dog.

This is only my experience with 5-10 adopted dogs, though, and 3-5 pure-bred dogs.
> Ethereum software has security hole, gets hacked

The exploits so far were NOT security holes in ethereum, they were poorly written smart contracts by third parties.....
Altera, an Intel subsidiary. [1]

1. https://www.bloomberg.com/news/articles/2017-07-24/quest-for...
How to break your blockchain
Two interesting recent items on the sex-based differences in brains.

1. An article from Stanford Medicine: "Two minds: The cognitive differences between men and women" [1]. There was some interesting discussion of this on /r/science [2].

2. This month's issued of "Journal of Neuroscience Research" is on the topic "An Issue Whose Time Has Come: Sex/Gender Influences on Nervous System Function". Because of the importance of these issues, they have removed the paywall for this one issue. It is available here [3].

[1] http://stanmed.stanford.edu/2017spring/how-mens-and-womens-b...

[2] https://www.reddit.com/r/science/comments/6o6n8a/stanford_me...

[3] http://onlinelibrary.wiley.com/doi/10.1002/jnr.v95.1-2/issue...
Then how do you explain this? https://user-images.githubusercontent.com/4001044/28342719-3...

Don't weasel your way out of this Ruben.
But is forcing infrastructure upgrades via legislation really going to be a value add for the economy? Is hi def video streaming really that important?
I liked the part about it being encrypted and secure. Uh-huh. At least until one of these employees picks up something with an embedded RFID cloner... Even if the underlying data in encrypted and considered unusable by the 'bad guy', they can still use it in the encrypted form to impersonate the employee... sooooo....

¯\_(ツ)_/¯

Implants are great for both the novelty and the convenience, but I don't like it being pitched as somehow being inherently more secure than a standard access card or whatever (beyond it being more difficult to have your hand stolen or misplaced).
Book Recommendations by Top Venture Capitalists
To keep up what. His own expectations?

The angle of your comment, to me, doesn't take into account basic incentive differences between contractors and employees.

Employees are provided with certain benefits, but those benefits are paid by the employees themselves, not by "the company" or "the state". PTO is paid by the employee, simply because any job in existence has a salary based on perceived value by the employer. There isn't really a fundamental difference to an employee (in general)between paying 110 a year with 1 month time of, or paying 10 monthly without pto and allowing 1 month of licensing.

There is a difference to the employee though: he perceives, falsely, that the time off he gets is "free time, paid by someone else" and so he is way more inclined to use it. Specially when there are rules like expiration on them.

A small business man that runs his own shop or contracting work, knows that the time he does work he doesn't get paid. Because the cause and effect are so close together, the contractor is way more unwilling to take time off, because he wants that money.

Contractors work more not because they don't have worker rights, but because they can more clearly see what the effect of not working is. Now figure a law that says that contractors shouldn't work more than 40 hours a week: what a disaster it would be for them and for society, that people that want to work are prohibited from doing so.
I really wasn't happy until I had a kid. The more I had, the happier I got.

Giving life gives purpose, in a way.
Which are different because the result of a particle/antiparticle collision is the emission of photons so the quantity of photons is not changed by collisions.
We closed. Company was called Koalah.
"willing to work"

This pretends there is actual choice for most folks, when the truth is most folks are just choosing between jobs that pay around the same. The alternative is to not have food, shelter, and such things. That is hardly a choice - of course folks will be willing to work for that amount.

Theoretically one can go to college or work their way up, but all those take time. College takes money. I don't know where one is supposed to get that without taking such jobs in the meantime, nor how one is supposed to afford it if they can't afford basic things. Promotion? good luck.
Hmmm... I had no idea. I think I've run into that bug many times without knowing. I would still rather they don't touch it than start adding features, because we know the first thing they'd add is the ribbon which has no business being on a text editor with 4 options.
Well, for outbound you'd presumably want an "authenticated smarthost" with setup details on your side varying by what mail server you're using locally.

For inbound, you'd presumably want the server using fetchmail or getmail to then push them into your local mailboxes. Should be plenty of documentation on those projects.
I'm not sure static typing is tied to formal verification. In fact if you think about it most proofs are basically typeless I a lot of cases.
Pretty much sums up the state of Ethereum/Solidity development right now;

Step 1, install wallet.
Step 2, deploy contract.
Step 3, learn about Solidity.
...
Testing? Nah.
Does Solidity really matter, though? "How's the VM" is the real question. I haven't spent more then 10 minutes looking into it, but it seemed reasonable to me. No heap and 256(?)-bit addressing seem like good ideas to keep execution complexity down.
I may as well shamelessly self promote an alternative: https://danielx.net/pixel-editor/

It's simple, fast to start up, and you can drop images in from your desktop.
That is your prerogative. Of course contracting has to pay enough for the difficulty of finding clients and the sort, but in principle, you are not limited to how much time you want to work.
Looks great! One thing that would be nice would be the ability for Raneto to act as a static Docs generator. Looks like you have to use nodejs as the server as it stands. I'd like to be able to use a simple static http-server.
At the very least, I'm a little surprised Facebook isn't offering more subsidized healthcare.
Side note in case anyone at MS happens to read this, but the only actual content on this page that appears above the fold for me (viewing on a Surface Pro 4) is the headline, which is pushed nearly to the bottom of my display by all the headers/nav/whitespace. This strikes me as remarkably bad design.
Why is the USA the center of the developed world from post WW2 until whatever future point that it transitions to China?

Why is New York where all of the large financial players are?

Why was Rome so much more magnificent then the corners of the empire?

Why does your group of friends all meet at te same bar to watch the game on Sunday?

Why does the top streamer for a game on twitch have 10-20 times the viewer of the rest of the streamers for that game?

There is no conspiracy at work. Just a large disparate group of humans engaging in human nature when faced with the same core set of principles.
This is awesome! I don't understand why this hasn't got more upvotes. I've just created a forum for my project:

https://gitq.com/etewiah/property_web_builder

Now time to get people talking about it ;)
Yeah, I came here to say exactly this.
And Netflix is blocking VPN's. The original reason was it didn't have licenses for certain regions, but then what of original content?

I'm tired of being used as a pawn in this bullshit game.
Now that BIP91 (SegWit2X/NYA) is locked in, we will be getting BIP141 (original SegWit) activated in a few weeks, so the BIP148 (UASF) fork should not happen.
Aren't the high wages already a response to the high cost of living? If cheaper housing was available, what would stop wages from (slowly) going down?
This is why Open Governance is just as if not more important than the actual OSS License. Foundations such as the ASF can protect from these situations https://www.apache.org/foundation/how-it-works.html
It's somewhat ironic that he feels so strongly about privacy but when I hit his site I get this message: "This website uses cookies to ensure you get the best experience on our website - More info" that links to Google's policy.
Regardless, as folks point out, you're notified https://news.ycombinator.com/item?id=14837097 so it's not clear when he missed this.