skysight-inc/HackerNews huggingface dataset:
As of 2016-10-21T09:20:19Z, it's doing better:
--------------------------------------------------------------------
<Commodore Pet 16 Unix>:$ dig +trace github.com

; <<>> DiG 9.8.3-P1 <<>> +trace github.com
;; global options: +cmd
.	17430	IN	NS	i.root-servers.net.
.	17430	IN	NS	a.root-servers.net.
.	17430	IN	NS	b.root-servers.net.
.	17430	IN	NS	l.root-servers.net.
.	17430	IN	NS	d.root-servers.net.
.	17430	IN	NS	g.root-servers.net.
.	17430	IN	NS	h.root-servers.net.
.	17430	IN	NS	c.root-servers.net.
.	17430	IN	NS	e.root-servers.net.
.	17430	IN	NS	j.root-servers.net.
.	17430	IN	NS	k.root-servers.net.
.	17430	IN	NS	m.root-servers.net.
.	17430	IN	NS	f.root-servers.net.
;; Received 228 bytes from 8.8.8.8#53(8.8.8.8) in 382 ms

com.	172800	IN	NS	m.gtld-servers.net.
com.	172800	IN	NS	k.gtld-servers.net.
com.	172800	IN	NS	a.gtld-servers.net.
com.	172800	IN	NS	b.gtld-servers.net.
com.	172800	IN	NS	f.gtld-servers.net.
com.	172800	IN	NS	j.gtld-servers.net.
com.	172800	IN	NS	e.gtld-servers.net.
com.	172800	IN	NS	c.gtld-servers.net.
com.	172800	IN	NS	h.gtld-servers.net.
com.	172800	IN	NS	l.gtld-servers.net.
com.	172800	IN	NS	d.gtld-servers.net.
com.	172800	IN	NS	g.gtld-servers.net.
com.	172800	IN	NS	i.gtld-servers.net.
;; Received 488 bytes from 192.228.79.201#53(192.228.79.201) in 363 ms

github.com.	172800	IN	NS	ns1.p16.dynect.net.
github.com.	172800	IN	NS	ns3.p16.dynect.net.
github.com.	172800	IN	NS	ns2.p16.dynect.net.
github.com.	172800	IN	NS	ns4.p16.dynect.net.
;; Received 178 bytes from 192.42.93.30#53(192.42.93.30) in 134 ms

github.com.	300	IN	A	192.30.253.113
github.com.	86400	IN	NS	ns4.p16.dynect.net.
github.com.	86400	IN	NS	ns3.p16.dynect.net.
github.com.	86400	IN	NS	ns1.p16.dynect.net.
github.com.	86400	IN	NS	ns2.p16.dynect.net.
;; Received 130 bytes from 2001:500:90:1::16#53(2001:500:90:1::16) in 25 ms

I ended up sending all my developers a patch to their hosts file... Hopefully they'll roll it back shortly.

--Donald
This pretty much just shows that some people in the DNC were kinda biased and played politics. It's literally their job to do what they think is best for the party and that seems to be what they are doing (whether I agree with them is a different matter but currently besides the point).
I mean... NASA has a team that works on how to warp spacetime in order to provide apparent propulsion.
This reminds me of the incident with the Norwegian newspaper posting the "Napalm Girl" photo.

Facebook is trying to automate the detection of illegal/unwanted images, and it seems extremely difficult to detect the context of the image to the extent that you can differentiate between acceptable images of human bodies, and unacceptable images (which would be, I assume, the vast, vast majority of such images posted).

I wonder how they could proceed with this- maybe with some sort of anomaly detection, where you do a first pass to detect all images containing the unwanted features (e.g. naked bodies), and then a second pass to try and detect the activity that's going on, or to detect if the image is famous (e.g. a picture of David, the famous Italian statue, would be acceptable, while a photo of a naked man in the same position would presumably not be).

[1] http://www.siliconbeat.com/2016/09/12/sheryl-sandberg-respon...
US english term, ill correct it
If you're using google drive, it automatically does OCR for you. So you just search for 'statement' and your bank statements show up.

I didn't know to be alarmed or happy when I first saw that feature.

I'm not sure it's an official feature, but it works for photos which are about a week old.
I've been thinking of adding this exact feature to my DNS framework that I've been working on (if github was resolving): https://github.com/bluejekyll/trust-dns

If you have any feedback, I'd love to hear it.
Zuckerberg requested meeting with Podesta to help understanding of "political operations"

Reflects the purpose of the meeting and who it was with. The twitter title is misleading since Zuckerberg didn't want to meet with him in his role as Clinton campaign manager. He was even willing to wait until after the election.
Like it'll work?

With Halloween coming up, expect plenty of pics and videos of people wearing Samsung Note 7 wrapped around them as a suicide vest.
"No new breakthroughs in formal proofs or deriving programs, just incremental progress. The cost of formal methods stays high. The high cost means that it does not work well with iterative programming, or changes in specs."

That's a load of crap. SPARK lets you practically throw together embedded programs with code-level proofs. CompCert was a huge leap over the non-optimizing, toy compilers that came before it. CRYPTOL specified algorithms at high level with C generation. LANGSEC is automating secure parsers. Another did protocols. The seL4 project included AutoCorres that can pull HOL specs right out of C projects. Verisoft gave us a full stack with processor (VAMP), C-like language, compiler, OS, and apps. Myreen and Davis have verified ASM, LISP, ML, extraction, provers, and hardware. Rockwell-Collins has a flow from Simulink models to specs and SPARK code for their mathematically-secure AAMP7G. Recent work verifies non-interference and other properties down to the gates.

There's been a ton of work knocking out whole categories of problems with no effort followed by other work that lets us do full verifications with a fraction of prior effort. You should read up on successes like those before claiming nothing has been going on. Heck, lets skip to one of the best where non-experts verify an ext2 filesystem in fraction of the labor it took to do seL4:

https://ts.data61.csiro.au/publications/nictaabstracts/8956....
More and more changes that do not bode well for google, first they changed it to where they can track what numbers you dial, then they tried that with your google chrome history and tabs if you synced it to your account and now this? People wondered why i stopped being a google evangelist after 2014.
I own a 2013 MacBook Air (13″), and the screen is definitely its worst feature. It's not even that it's not retina (the screen on my desk is just a 23″ 1080p monitor), but something about the vividness and viewing angles is straining on my eyes over long periods.
Its amazing how people act like money and short-term metrics are all that the matters, and the the only purpose of money is to accaccumulate it as an end in itself, and that the public shouldn't communicate to applysocila pressure and consequences to bad actors.
> Do you check the issuer every time you go to a secure site?

Your browser does (for high-value sites). That's what certificate pinning and HPKP are for.
Amazon does too:

C:\>nslookup

> set type=ns
> amazon.com

Non-authoritative answer:
amazon.com nameserver = ns3.p31.dynect.net
amazon.com nameserver = pdns1.ultradns.net
amazon.com nameserver = ns4.p31.dynect.net
amazon.com nameserver = pdns6.ultradns.co.uk
amazon.com nameserver = ns1.p31.dynect.net
amazon.com nameserver = ns2.p31.dynect.net
Worth saying that IBM has a large financial interest here as they're selling enterprise Mac integration.
Versioning and Change Tracking on Tens of Millions of XML Files
Sure thing, jayjay71, here it is (looks like they realized they could bump up the price a bit from four years ago, too):

https://www.amazon.com/gp/product/B000Q5XTE8/ref=oh_aui_sear...

It's the Hyundai of chairs: 90% of what an Aeron is design-wise, but also more comfortable.

Not sure why it has four stars, it had 5 out of 5 back in 2012 when I first discovered it on Amazon, but then I think the listing got removed and then re-added, so all of the reviews went away -- to say nothing of the later explosion of fake reviewers at around 2014 or 2015 that completely destroyed the credibility of Amazon reviews.

So trust me, and take the $150 gamble. :)
I disagree, with very large companies, you have no "local" sysadmin, and no local versions of anything. Especially if your IT department is actually its own company.
Just an aside, I wish I could get Old or Extra Old cheddar as cheap in the US as I could in Canada.
deteriorating eye health

The switching or the poorer screen of the air?
Oldest known planet-forming disk discovered
Sigh. This nonsense again.

HTTPS is meant to provide all of these things.

No. This is absolutely false. HTTPS is a transport protocol (that's the second T) and provides point to point security, only. The fact that we have grafted onto this protocol the notion of authenticity as verified by a warden is an historical accident (and frankly the cause of many problems).

With a self-signed cert, you have none of these things.

With a self-signed cert, I know I am talking to exactly one party and that no third party can surveil or monitor that communication. This is a channel over which the second party and I can then negotiate authenticity, which is a much better way to do it than the two-headed monster we've built for ourselves.

Furthermore, for the vast majority of websites I visit, an assurance from a third party that they are who they say they are is of absolutely no value to me. Take HN: I do not particularly trust ycombinator.com more than I would trust a phisher trying to convince me he is ycombinator.com, so a third party's assurance that this is in fact ycombinator.com doesn't give me any useful information.
Arbitration is a minor issue from a trade agreements point of view. The courts are not used that often, they usually side with states, and they're put in place mostly because neither country wants to give up its sovereignty to be at the mercy of the other country's courts. The natural solution is to make an a-national court to handle international disputes.

Politically, the issue has become very polarized, because even allowing an international court to settle disputes is seen as giving up sovereignty. Of course, I would love it if everyone settled in the court of my choosing, but it doesn't work that way. People also get concerned that these courts lack democratic accountability. But of course all courts lack democratic accountability...

I should add: here in the states, we worry that these courts are a backdoor for Canadian-conglomerate-friendly courts. They can't be simultaneously friendly to both the US and to Canada...
Show HN: A Hacker News demo in NX, with real-time updates and animations
https://ease.apperian.com is down over here
I agree but I would strongly hesitate to say "basically indestructible". Macs are incredibly destructible. They have a very thin glass screen, you could bend the chassis with your hands if you wanted to, and they're not even a little waterproof.

How I would describe a MacBook is "quality". It's not especially durable, it just doesn't break down over time. Other laptops break in stupid ways. The hinges snap because it's metal screwed into plastic. The cheap plastic casings wear down, discolor, and crack as you touch it. The trackpad wears down because it's plastic. The logic boards stress with the constant heat flux and end up breaking. Macs don't often suffer from that.

MacBooks aren't indestructible in any way. They're just built to a higher standard so they can withstand daily use. It's kind of sad that our bar is set so low, but many other laptops can't withstand daily use for years on end. Even Thinkpads, I've had the hinge areas crack because it's metal hinges screwed into a plastic chassis.
The nice thing about JSX is that it is an embedded DSL. When you use JSX you can take advantage of all of Javascript: variables, loops, conditionals, subroutines, closures, etc.

The bad thing about most other template DSLs is that they recreate all of these features from scratch, often in buggy ways. For example, many template DSLs have dynamically scoped variables instead of lexically scoped ones.
It's still also really uncomfortable.
The incompleteness theorem effectively states that some statements will require an infinite amount of time for this bootstrapping approach to work. The only deity involved is the finite-ness of the natural world.
I'd like to know how other CAs perform domain validation for .be and .eu TLDs.

Disclaimer: not associated with Comodo in any way.
Cached DNS response.
>>There were few major players that were even backed by companies: Dojo, Prototype, GWT, (and like 4 more that I can't remember).

Vaadin comes to mind :)

+1 on Elm, also don't think the learning curve for someone with any "functional" (even if JS) exposure is that steep.
Eve-Tech's crowdsourced computer: the laptop designed by its users
Maybe they are also using deep learning.
> I'm not sure if any woman would ever want to pump openly in the office.

If it was more widely accepted and there was less fear for making coworkers uncomfortable, I believe most women would surely prefer to pump at their desk while they work instead of having to sit in a bathroom stall.
In 2014, while in college, I did a co-op rotation at the Bombardier Transportation facility in Pittsburgh, PA. The rail division may be based in Germany, but there's a sizable rail engineering contingent in Pittsburgh. I worked with a lot of good people and engineers there--I hope they do alright. Even in 2014 there was grumbling by the engineers about upper management, and I remember attending an "all-hands" meeting where a visiting executive talked of belt-tightening. In a fairly tone-deaf delivery, he spoke of limiting his own business-class international travel.
Interesting. Lots of sites have been down for me, here in Mexico City. Twitter. Github. Loads of other random sites. When I turned on my US based VPN. It all started working again.
> The problem is not that it would require storage but that stale records can be outright wrong.

Again, the scenario is that the authoritative/upstream resolver cannot be reached in order to refresh after the authority-provided TTL expires. Are you saying that in the case of a service having been intentionally removed from the Internet (the domain is deactivated; the service is simply no more), my caching resolver will continue to resolve the domain for a time? Yes, it would. What's the downside though?

> That timeout would require configuration and DNS does not provide that.

Yes. This would be a configurable option in my caching DNS resolver, in the same vein as specifying the forwarders, roots, and so on. But to be clear, this would not be a change to the DNS protocol, merely a configuration change to control the cache expiration behavior of my resolver. I'm not wanting to sound flippant, I'm not sure I understand the point you're trying to make here.
A bit contrarian but I think the first hire should be a great technical recruiter.
New ReactJS Documentation (Preview)
Theoretically, you are 100% correct.

In practice, it is still worthwhile to have N redundant independently developed provers to prove each other, and to benchmark against each other. This will help uncover subtle bugs that result from ordinary programming mistakes.

This will, however, not protect against deeper issues that are common to all N provers. e.g. Potential biases or mistaken assumptions in the formal verification comunity.

At the end of the day, it is an engineering decision. How much of the available resources are you willing to through at the practical problem of making your implementation approach asymptotically to the theoretical limits. The fact that those limits is indeed a peg or two below perfection is an independent issue.
>The problem is not that it would require storage but that stale records can be outright wrong.

But the tradeoff here is a wrong record vs a complete failure to lookup the record. I would rather have the wrong one.
Maybe not, but you can store your records in a local place and push to both.

That's one of the reasons I setup a git -> Route53 setup at https://dns-api.com/
Er, there are huge network effects and lock-in. Maintenance and type certification mean that pilots and mechanics get locked into your type. That in turn means that airlines tend to try to buy from as few manufacturers as possible, so as they grow they're more likely to buy from the manufacturer they bought from last time.

There are of course self-sufficiency reasons too. If the West put an embargo in place against China for airliners, they'd be SOL. This is why they're trying to hard to make their own planes (and perhaps more importantly, engines).
If this is a test run, this is an amazing early warning for Twitter and the like to immediately start working on contingency plans for election day.
Ma Bell and ISPs are odd examples, because their monopoly or quasi-monopoly positions are possible because of government involvement.
> If people in a community pooled their own money together to build a new bridge then you'd have economic activity that is created due to real demand and there would be a real incentive to make sure they are not overpaying or that their money is wasted.

Isn't people in a community pooling their money together what a government is? Often the increase in property values alone is more than the cost of building the bridge, the difficulty is co-ordinating them.
People rarely regretted joining Columbia House, so I'm not sure what you're referring to here. They really did give you a billion records for a penny, and all you had to do was opt out every month (or opt in, they had a lot of really good records in that catalog in the 90s at least.) They relied on people repeatedly forgetting to opt out, not the blatant subterfuge of modern business models.

http://www.avclub.com/article/four-columbia-house-insiders-e...
> you misread the comment you were replying to,

No, I didn't misread anything, like the OP then cleared out in answering my original comment, it was him that mixed the dates.
On the other hand I have Lenovo's Yoga 3 and that is a real piece of junk. I wonder how it ever gone past qa. Touchpad is a bad joke and screen flickers like a strobe light at a 90s illegal rave party. Not to mention Core M calculator processing speed.
> My experience with Azure thus far has been not so great.

Have you tried the Google Cloud Platform?
Because you get a lot of free press.
They do censor pictures of beheadings, even in "private" messages between consenting adults. Or at least they did several years ago.
Good, neither side of the Atlantic needs another ISTS agreement.
What are you doing with that touchpad that it would make you change your whole software infrastructure?

Hell...it's just the touch pad.
I think they do it for the publicity.
You say AI is stupid, OK, but you strangely assume NI is not
Creating Android Watch in Yorùbá and Face Recognition in Android
I'd like to know what percentage of help desk calls are related to hardware vs OS vs software.

I can believe that the Mac hardware is more reliable. However, a lot of help desk calls I remember making were because some legacy software wasn't working which wasn't directly related to Windows, e.g. I can't read my lotus notes mail because there's a problem with my remote mailbox configuration. I'd like to know if those calls get marked as a PC problem.

I'm sure much less of the legacy software runs on Mac and therefore they get fewer help desk calls related to it.
Well I really think those features are useful, though. They let you get some powerful de-facto load balancing and HA and other complex 'features' without any new hardware or much complexity. They give you some easy creative freedom in designing a redundant infrastructure, give you some geo-aware DNS the likes of which I remember paying Akamai a lot of money for years go, etc. But the lock-in problem is absolutely right.

I'm also familiar with the aggressiveness of that sales team. I prefer another provider and they were trying to solicit our business by specifically calling out our provider as amenable to a DDOS attack which had occurred.

Someone with a simpler setup with standard DNS features will find it much easier to use multiple providers, of course.
Entire Debate Sequence Visualized – Interactive Summary of Las Vegas Debate
`whois $domain`.

But it should be "obvious" if your users report "Server not found" vs. "Cannot connect" or "Page not found" style errors.
Combination of things. For fiber, direct Ethernet connections, etc that have clearly separated channels symmetric is fairly common. In ADSL and cable network the spectrum is shared for up- and download channels, so they have to balance it. And since marketing mostly happens over download speeds and most people don't upload very much, offering eg. 50/10 instead of 30/30 makes more sense.

I don't know why basically all providers don't allow to adjust the ratio, I suspect to much "complexity" for to little demand. (Quite a while back a German ISP had that for their ADSL connections, was popular with web developers and other professionals that needed fast upload occasionally)
I'm unable to resolve github.com currently from France, using Google DNS resolvers.
"And now, the HBO original series Westworld, exclusively on AT&T."

(Obviously AT&T wouldn't actually do this, but there are many degrees between it and the current status quo: Timed exclusivity, bumping up pricing for non-AT&T subscribers, or even a cap-and-zero-rating scheme for AT&T's own customers.)
The problem with many of these formats is they're Turing-Complete languages with input driving what they do. The input is also malicious. So, the solution so far is to isolate and mediate such things with verification going into the mechanisms for that.

An example of one for exactly your types of programs is Microsoft's Xax:

https://www.microsoft.com/en-us/research/wp-content/uploads/...

My preferred approach is the old-school method of highly-assured microkernels that just separate everything else from one another. Here's a browser OS based on that principle:

https://www.usenix.org/legacy/event/osdi10/tech/full_papers/...
This is not congruent with their behavior during the primaries.
WebAssembly is a neater target format, but we can already compile to JavaScript today.
Attacks on web provider disrupt sites on U.S. East Coast
FP can still have types, like haskell. Typing is independent of OOP vs FP
But we hate women and their health, don't we?
All the apps I use have high dpi support. I can't imagine going back to 1080p.
Say, is someone also DDoSing the npm registry? I get a bunch of 5xx errors...
Hmm, your forgetting that Time Warner Cable was recently purchased by Charter and that the Time Warner Cable brand will be going away for good. (replaced by charter)
In the case of aerospace, the jobs are frequently high-skill, high-pay blue-collar. That type of job is quickly disappearing in N. America. So, even though the absolute numbers might be small for any given event, the sum of the losses has a noticeable impact on the economy.
Here are a couple of the videos with what I believe is the content:

https://www.youtube.com/watch?v=enK5XGETCZM

https://www.youtube.com/watch?v=fQjAM94W23Q
Well, nobody has to use cars, trains and busses, we have legs and we can walk ;-)

I think that FB is inside a fear bubble of its own making. They have to apologize too much lately and this hints to something wrong in their vetting process. Maybe too much imperfect AI or too much imperfect human judgements.
I'd be really surprised if either of the next administrations allows this kind of amalgamation to happen under antitrust rules.
Sorry what I meant is proving control of the domain by the specified legal entity.

If I apply for an ev cert for ACME Inc to use on acme.com and have "ACME Inc" as the registered owner in Whois, does that satisfy the domain control check?
The practice of formal methods has progressed by acknowledging and accepting those limitations. It now attempts to prove useful properties of your code, rather than stamping it "correct" or "incorrect."

FTA:

“We’re not claiming we’re going to prove an entire system is correct, 100 percent reliable in every bit, down to the circuit level,” Wing said. “That’s ridiculous to make those claims. We are much more clear about what we can and cannot do.”