skysight-inc/HackerNews huggingface dataset:
Criticizing a person is negative. Criticizing something they have done or created can be helpful. In the sentence, there is no mention of what the person did, so the verb naturally applies to the person.

Also, "criticize" as a verb tends to be more negative and imply a more direct attack than "criticism of" or, even better, "critique" which both shade towards implying giving the person more useful feedback.
I googled a bit. The background is quite interesting. Johnson founded and sold Braintree which is where the money came from.

The main brain tech guy is Theodore Berger who has tested implants in rats, monkeys and humans with some success http://singularityhub.com/2015/11/15/first-human-tests-of-me...

Berger on video https://www.youtube.com/watch?v=bHubR09oKKE
Worth noting that site was built by those using the Adobe version (all smart developers, many of whom I consider friends from the season when I was going to many CF conferences) which has a few differences, mostly in setting it up, and it is 2 version behind.
Something seems wrong about this. Could you not describe the combination of all provers as a formal system? Would this system then not run afoul of Goedel?
And the tech is also very believable. Not overdone, nothing gimmicky, feels very real.
When I was in my twenties, I had a similar minor epiphany: there is no law of conservation of happiness.

When I do work to make others happy, it tends to make me feel better to. It's not zero-sum.
Not sure why they were, but I tried 6 different offline playlists and each of them said "can't play the current song", then cited internet detection... which hadn't been an issue.

Now (10:04a) all of my playlists are working again.
> Facebook needs to literally grow up, removing porn is one thing but clinical images, mothers feeding their children and such should not even be up for discussion.

But people are offended by seeing clinical images of nudity, mother feeding their babies, etc. And Facebook wants to placate all of their users so nobody has a reason to leave.

Of course, they can't please everyone, but they'd rather make a fool of themselves before they'd become a more morally/socially opinionated corporation like Starbucks.
I strongly believe that a national popular vote is exactly the wrong direction for the country; it'd be far better to eliminate the popular vote entirely and have the state governments allocate their electoral votes. I think the madness is that we vote for the president at all.

We are a federal republic, not a unitary state; the President presides over the United States, not the people of the several states, and should thus be selected by the states. As you might imagine, I'd like to repeal the 17th Amendment as well: the people are represented by our … Representatives; we don't need to also have super-representative Senators; right now, the states have no voices in the federal government, which just seems wrong.

I'd be open to a system in which the state legislature allocates two electoral votes and a popular election allocated the state's remaining electoral votes, mirroring the federal system of representatives and senators.
Or they could take it down for enough time for other parts of the government and/or international diplomatic system to do their work.

Remember, a data leak is not just a technical issue. They can resolve it in any number of ways - get a small team incursion into another state's territory for extraction, etc. All the outage needs to do is to hold open that window for enough time for all the different parts of the entire threat response chain to do each part's job.

A lot of technical people think tech is the end, but no - if you get a small team to go knock on the person's door, and get your internet response team to shut down dns, or to get someone on site at the telco to perform certain actions at the router/switch level, etc all portions working together is a powerful way to resolve or to accomplish certain goals.

Think bigger, especially with state actors - the resources are there, and this line of thought is probably really basic stuff that people came up with in the 1960's or 70's (even when the arpanet was being created, there was probably already a team tasked with taking such actions - it only make sense to have 2 teams working on such goals in tandem - one to create the network, the other to take it down)
AT&T Pushing for Time Warner Deal by Monday to Beat Rivals
I haven't looked at spacemacs before. Looks interesting as an option in the various vi variants.
I'm in NYC too. Github.com is resolving/working fine. Netflix.com is resolved but all assets (probably) weren't loading. Additionally Zendesk is also affected.
Are the other methods for reducing errors to one bug per 10000 LOCs measured to be less burdensome? I've read with interest about how Jet Propulsion Laboratory produces code with low defect rates for spacecraft (without formal verification), but it appears to be a pretty drastic departure from ordinary commercial practice too.
Would love to hear initial feedback on this.
Most comments welcome.
i seem to remember that dns has generally been reliable (until recently, i guess), probably nobody has ever thought that to be necessary.

you could write a cron script that generates a date-stamped hosts file based on a list of your top-used domain names, and simply use that on your machine(s) if your dns ever goes down. that's basically a very simple local dns cache.

if you feel like living dangerously, have it update /etc/hosts directly.
In typical Google fashion, I can't tell if this will actually work or not. Some of the settings were in-between "On" and "Off". WTF did that mean? And then some of them seemed to imply that I had to accept a cookie to make them not work. Well I browse privately and use ad blocking, so does that mean they'll track me across a single session but not multiple sessions? (I ask because cookies work in a single session, but when I quit, they are deleted.) It also seemed to imply that the settings were only for that one browser on that one computer. I want it always off for everything. WTF? I don't think a typical user can understand the implications of these settings and make informed choices about using them.
It's just the open source version of ColdFusion (akin to whether you'd see code examples on jRuby's site)
CA signed clearly not the same as self-signed

How is a certificate from Comodo any different from an self-signed certificate? There is actual evidence that they gave a certificate to a third party. That means you should treat any certificate from them as self-signed, because you cannot trust Comodo to do their jobs.
:checkHealth is awesome!
Star Trek TNG is as close to 'white mirror' as we'll ever get. A universe where human nature advances alongside technology. It's obviously way more far fetched and the show hasn't aged well though.
Correction: Netflix is "half" loading.
Twitter is still not loading for me, but just checked Hootsuite and it is up and running now. Hootsuite was down for a while also.
And it's back again. I'm on AT&T in Atlanta.

$ dig @8.8.8.8 www.paypal.com

; <<>> DiG 9.8.1-P1 <<>> @8.8.8.8 www.paypal.com
; (1 server found)
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 40999
;; flags: qr rd ra; QUERY: 1, ANSWER: 6, AUTHORITY: 0, ADDITIONAL: 0

;; QUESTION SECTION:
;www.paypal.com. IN A

;; ANSWER SECTION:
www.paypal.com. 266 IN CNAME www.paypal.com.akadns.net.
www.paypal.com.akadns.net. 29 IN CNAME ppdirect.paypal.com.akadns.net.
ppdirect.paypal.com.akadns.net. 299 IN CNAME wlb.paypal.com.akadns.net.
wlb.paypal.com.akadns.net. 29 IN CNAME www.paypal.com.edgekey.net.
www.paypal.com.edgekey.net. 20 IN CNAME e3694.a.akamaiedge.net.
e3694.a.akamaiedge.net. 19 IN A 23.73.8.114

;; Query time: 146 msec
;; SERVER: 8.8.8.8#53(8.8.8.8)
;; WHEN: Fri Oct 21 13:05:48 2016
;; MSG SIZE rcvd: 198
It would have to be kind of fixed point of bugs (like finding cryptographic hash that equal to the input value). It wold be incredibly unlikely.
Amazon is having an outage. Okta is also down because of this.
They also make the best free application firewall software for Windows. Its unrivalled for features in this space.

Nothing exists like this for linux (however https://github.com/subgraph/fw-daemon is getting close).

The quality of the software both good and bad doesnt' apply here.
prediction: in some time they will probe Google. That will be fascinating.
AWS may have updated this, I now see

$ host -t NS us-east-1.amazonaws.com
us-east-1.amazonaws.com name server pdns5.ultradns.info.
us-east-1.amazonaws.com name server ns3.p31.dynect.net.
us-east-1.amazonaws.com name server pdns1.ultradns.net.
us-east-1.amazonaws.com name server pdns3.ultradns.org.
us-east-1.amazonaws.com name server ns4.p31.dynect.net.
us-east-1.amazonaws.com name server ns1.p31.dynect.net.
us-east-1.amazonaws.com name server ns2.p31.dynect.net.
us-east-1.amazonaws.com name server u1.amazonaws.com.
us-east-1.amazonaws.com name server u2.amazonaws.com.
us-east-1.amazonaws.com name server u3.amazonaws.com.
us-east-1.amazonaws.com name server u4.amazonaws.com.
us-east-1.amazonaws.com name server u5.amazonaws.com.
us-east-1.amazonaws.com name server u6.amazonaws.com.
Dairy-free Canadian here. Two things you could do: vote with your mouth and wallet. Or support a very intelligent Canadian lawyer who is seeking to do what you describe: https://marthahallfindlay.ca/viewpoints/supply-management/
> But people are offended by seeing clinical images of nudity, mother feeding their babies, etc.

I've yet to meet someone like that. Are you offended by any of this? Is anybody else on HN offended by such images?
Runescape is also down
You have complex situation and you can't understand it, conspiracy theory offers simple answer.
which thread was it?

found it in the article:

https://news.ycombinator.com/item?id=12720636
In my limited experience (infosec for a big 4 firm), the answer is no. The audits are done as cheaply and as quickly as possible. I worked alone, in fact, and essentially did process testing (read: document review).
I think you are confusing trust with security. If only there was some sort of distributed cryptographic system that let you choose who to trust...
I managed to access twitter from Ecuador using Opera, activating the built-in VPN and setting it to Singapure.
"Reported" is a generic word; it has a journalism-specific usage but also a general usage.
Windows 10 is more like a new product than not. It's going to take some time. I think that's okay, as long as the fundamental features of the OS are good, the compatibility and stability will catch up.
Who the hell uses the word "cyber" and especially "cyber missiles" non-ironically these days? (Government people, for some reason, but yeah.)

Critical infrastructure MUST NOT rely on PUBLIC networks like the Internet. It's a TERRIBLE idea. If you're working on anything actually critical, build your own fucking ISOLATED network with your own fucking cables.
Hacking Capitalism Book Bundle
github is down for me in LES
Phil Collins, Lyft and a Stranger Named Gerald Can Teach You How to Be Memorable
Slight tangent, but if someone were getting started in JS today and wanted to build medium-complexity, async-heavy, web apps with decent-sized backend, what stack should he invest his time on? React, angular, node, elm, express, etc?

Let's assume he wants the skills/tools to still be relevant in 1-2 years time in a sizable percentage of the job market (noticed that many startups don't like people with web experience that isn't in React/Angular/Node).
But...that's old.

It's almost inevitable that old buildings evolve in strange ways. According to the wikipedia article, it was a monastery, cathedral, and palace. Parts were hit by lightning and rebuilt; I'm sure others also needed repairs from other disasters, wear-and-tear, and changing usage.

The fact that an old building ends up like that doesn't mean that new buildings should start looking like that. Imagine if someone said "this legacy code is an absolute mess, so this new project can be a spaghetti-coded disaster too!".
And this is an assumption that advertisers would be offended too!
A bit off topic but what does one need to know/read before doing the Udacity course on autonomous driving?
I've done a bit of research into your #1 and I'm convinced that Herman Miller did not design the Embody's back support with posterior pelvic tilt in mind[0]. I think this is why you see the phenomenon of individual buyers preferring Embody chairs after sitting for a bit in a showroom, using the chair for about a month, and then selling the chair or getting rid of it.

Awhile back I borrowed an Embody for the weekend from a dealer and noticed that after sitting in it for an hour or two my lower back would invariably feel like hell. I tried pretty much everything I could think of, and found two things that helped:

1. Stretching and doing other exercises to change my pelvic tilt from posterior to neutral or anterior.

2. Attaching zipties from the back support to the hole in the bottom middle of the "spine" of the chair. This reduces the pressure of the back support.

I ended up buying a Steelcase Leap v2 due to price, but I'm pretty sure that if I tried hard enough I could get the HM Embody to be the most comfortable chair for my body ergonomically. I think it's just unfortunate that Herman Miller seems to completely ignore this problem since it seems to affect a number of their customers. None of the Herman Miller reps or dealers I've talked to seem to really understand this issue.

[0]: http://www.hermanmiller.com/research/solution-essays/the-ben...

Linked is an article about how Herman Miller designed their posturefit system to try to push your hips forward. IIRC the Embody doesn't use the exact same system, but I think that they designed the Embody with similar goals. My theory is that if you have deeply engrained posterior pelvic tilt then the gentle nudging of the back support is completely ineffective at getting you to tilt your hips forward, and only digs into you and causes pain.
It depends.

As an housing architect is crutial to have all documents in a predictable order, specially when I don't work alone. A team of architects normally work in the same large set of files, so to simplify collaboration a good file naming system is mandatory.

https://github.com/galfarragem/hamster-gtd
I don't find Star Trek believable at all, starting with the 'Warp Drive'. As soon as you add a device like that to a plot it becomes impossible to see it as a possible future.
I completely understand. I'd love to live in such a place. Those aren't as common in modern buildings, though. The only one I've stayed in was a primitive cabin - no toilet or other running water and no power save for a poorly working older solar panel.

I actually asked about the mowing thing - some folks do go up and remove trees that start to grow, I guess, but no mowing.
Why spying your own citizens is bad then? What magical qualities person obtains through us citizenship that makes him/her harmless to usa?

If you justify spying by scary things you need to show why people you agree not to spy are not scary.
Oo oo, I know! Iran did it!
I find it surprising that this is newsworthy.

It appears that Facebook never argued that the image was in breach of its policies. Just that some software it runs had a bug that miss classified this image.

Then when challenged they apologized and approved the add.

So to me the summary appears to be "Software company has bug that effected one customer, apologies and fixes the issue" which must happen every hour of every day...

Am I missing something?....
I'd like to see proof of this attack from an outside network observer.

Is it possible the government could force a DNS provider to pretend to fall victim to a DDoS attack, as a form of a false flag cyber attack?
> I doubt you'd be able to get an in home trial, though.

It seems odd that every decent mattress store will allow you an in-home trial--some as many as 4 months. Maybe because the return rate on chairs would be a lot higher?
Time to invest in hyperloop technology? With robotized cars and cheaper and cheaper air travel, rails are becoming a thing of the past.
As an outsider to the community, I see it as a pathology that there are people you are supposed to recognize outside of the language creator. Not that a culture is a bad thing but in a healthy technical community recognition should come from decades of hard work - not from a nice landing page and a framework of the week.

IMO, social media and blogosphere driven complex work cannot be deep, just confused.
I just noticed it when I tried to do a bank transfer. Ebay was also loading slowly for a while but I didn't think anything of it. Hopefully this is resolved soon.
> i seem to remember that dns has generally been reliable (until recently, i guess)

Probably because people used to use long TTLs (1 hour, 4 hours, whatever) and now the default behavior in services like Amazon Route 53 is to use 5 minutes.
It was easier for me to be nice to everyone once I realized that they and their loved ones are all going to die one day. Puts things in perspective.
That was exactly my thought. This may be unrelated, or it may be a test run. But a large scale attack on Election Day that crippled communications would stir up unrest for a variety of reasons. Although I think that's highly unlikely to change the outcome, unrest after such a contentious election is not good.
Depends where you live. I don't ride the subway; they're impractical where I live. ATVs or snowmobiles are necessary for reaching many areas of my state not covered by the road system.
> Gödel proved that we will never get such a prover

Not one that can handle Peano arithmetic—but there are plenty of interesting systems sub-Peano arithmetic. Presburger arithmetic (https://en.wikipedia.org/wiki/Presburger_arithmetic) is the one that springs to mind; I doubt that it's directly useful as a theorem prover, but it does show that interesting mathematics can be done in complete theories.
I wasn't too affected by the previous seasons and haven't watched Season 3 yet (except episode 00 pre-netflix with Mr Mad Men), but if you're up for it and really want to feel emotionally exhausted after a motion picture, I can recommend Denis Villeneuve's Incendies (http://www.imdb.com/title/tt1255953/). If Lost in Translation leaves you disillusioned, then Incendies will be a punch to the stomach you feel for another day. It's one of those rare movies you appreciate and regret watching at the same time. A longer running movie with similar themes (I mean mini series) is the UK production The Honourable Woman, but it doesn't leave you as emotionally affected, so I wouldn't recommend it as a must watch.
It's true but that's a specification problem. The hardware should be in the model since it's in the TCB. The earliest tools used for high-assurance security, like Gypsy Verification Environment, had information-flow analysis for detecting covert channels. Today, we have information flow control, distributed version of it, and hardware versions of non-interference that go to the gates. We're actually past being able to handle that with current tooling if ultra-high-performance is a non-goal.

https://www.usenix.org/system/files/conference/usenixsecurit...

http://www-bcf.usc.edu/~wang626/pubDOC/EldibWS14_TOSEM.pdf

It's analog and RF side channels that's going to screw them. DOD et al did decades of cat and mouse games under that with their TEMPEST activities. Open research just getting started. Just waiting for The Flood. :)
That's not how this works...

> How people still think the PKI system is actually delivering security is beyond me.

It has its problems, but it's what we've got to work with right now, and it's not as bad as you make it seem.

> it's identical to a self-signed cert, since Comodo is a known bad actor now

That's not technically true. I dislike Comodo as much as the next person, but this statement is a bit disingenuous, since you're implying that you can trust anyone who generates their own certificate for google.com or yourbank.com more than a CA-signed certificate. There's a reason PKI exists; it's because self-signed certificates by themselves aren't trustworthy in the wild.
> They know how to do the marketing

This is the only necessary component of stardom.

When something is actually good, it'll retain its popularity.
Thank you, we've updated the link from https://www.quantamagazine.org/?powerpress_pinw=29937-podcas...
I wonder why governments subsidize production of commercial airliners so much. There are no network effects or lock-in, so there is nothing to milk after you've gotten big, just more need for subsidies.

And jet fighters etc. are usually made by different manufacturers altogether, except for military freighters.
Because there is no probability that we are going to end up in large scale armed conflict with our own citizens. Ask a simple question, get a simple answer.
> First, the language was not designed to do what people are trying to use it for

Against this point: Few languages are used for what they were designed for. Java was designed as a control language for "smart" TVs. PHP was designed for making personal homepages a little bit reactive. JS was designed for making client side pages dynamic.

And now all three are being used as server software.
When orders from customers are drying up then you've got to cut jobs while trying to keep the best talent, what else are you going to do?

It's irrational for a corporation, not matter how large it is, to keep all it's employees hoping that it will have such a great impact on the overall economy that it will create demand again.

Companies are always much weaker than global and national economic trends, they have to be reactive. If they are not they usually go out of business which is even worse than cutting some jobs.
i spend way more time at home than at 'communal properties' (bar/coworking space/office/etc) I got my gym, office, simple but good enough patio, smoker and grill, workshop - all under one roof. This saves tremendous amount of time to commute and deal with people, waiting for gym equipment to become available. And all of that stems from the fact - I can afford all of that to own vs rent..

I am also kind of person who in general prefer to own vs rent. I.e. i opt for dedicated server vs aws (if i could justify collocating server in datacenter nearby - i would,) owning cheap car vs paying lease for fancy new one, owning simple house vs paying rent for condo, etc.

And I bet I am not alone in wanting to "own" vs "rent".
And if a kernel 0-day is available, putting the services in a VM might help. Depending on whether an exploitable bug in the hypervisor exists.
> prover[0] is so simple that any 5-years old can prove it's correct

This seems like the perfect time to misquote Groucho Marx: "This is so simple a child of 5 could prove it. Somebody bring me a child of 5!"
Maybe you are the unlucky one. I wouldn't trade windows 10 for anything else.
Other people have legitimate concerns about others knowing what they bought on Amazon or do with their friends. In some jurisdictions, buying what seem like normal products to you and I is illegal. Some people live in areas where others knowing they are gay, transgendered, conservative, atheist, etc. will get them fired or literally killed. It's great that you don't have to worry about that. But others do, and it's getting to the point where, "Then just don't use the internet" is simply not possible. Even, "Then just don't use Google's services" is impossible when their ads and tracking are on literally half of the top 1 million sites on the internet.
The budget explains the bad taste because a expert professional designer was not involved in the process.

The budget is allocated mainly towards size. Build quality and design come second (or third).