skysight-inc/HackerNews huggingface dataset:
I'm seeing a lot of comments here beginning with something to the effect of, "assuming there's no lying involved."

Well, assuming there's no lying involved, the NSA never tracked us, Iraq had WMDs, and Bill Clinton did not have sex with that woman.

There's a broader epistemological problem afoot here: the NSA could easily design a flawed zero-knowledge proof mechanism that I would never see a flaw in. Likewise, it's always going to be easier to fake a video of magitek than it will be to invent it for real. As a result it's essentially impossible to believe these stories under any circumstances short of an actual leak of the magitek.
Emphasis on "empirically validated actual low latency keyboards." Dan Luu has tested those purportedly high performance gamer keyboards before and found them mostly lacking.
It's hard to be a hoarder living in a 500sq ft flat.
Wikileaks Sent Twitter DMs to Donald Trump Jr. Before Election
Shameless plug for the tvm project: http://tvmlang.org/2017/10/30/Bringing-AMDGPUs-to-TVM-Stack-... which is an effort towards broad (many vendors) hardware support and optimization for deep learning.
I've actually become concerned enough about Amazon's utter unwillingness to address their counterfeit product problem that we've stopped buying food, makeup, sunblock, lotion, or anything that uses electricity on Amazon.

See also just this year their recall of eclipse glasses.

After four tries to get name brand and working batteries for my car remote on Amazon, I gave up and purchased them at a local hardware store. It wasn't as convenient as Amazon, but it was a lot more convenient than Amazon allowing scum to sell repackaged no-name crap instead of the particular batteries I needed over and over again...
It makes a lot of sense because the buyer and the seller are the same person or group. Even if you lose 0.1% on that transaction, you can easily get that back if you can manipulate the price high enough. We are not talking about people that have 100 BCH but rather 100.000 or more.
I am a massive skeptic when it comes to UFOs / the supernatural, but must relate one story. A friend of mine, who is now deployed with the UN, used to work as a fighter controller with the air force of a certain country. He is a sober and reliable person, but also made mention one time that it was 'common' to see unexplained objects on radar, and that it was policy to simply ignore them. These objects had characteristics (speed, change of direction) that made it impossible for them to be any kind of 'known' aircraft.

I know, I know - it's hearsay, and - again - I am a huge sceptic. Still, it was a bit of a disturbing conversation to have with someone I know and respect, and who was highly trained and in a position of authority.
"Either seem as you are or be as you seem."(Rumi)

On the other hand works of Paul Ekman and others have shown that consciously and wilfully changing facial muscles changes the emotional state of mind.

https://en.wikipedia.org/wiki/Paul_Ekman
TrackMeNot: Resisting Surveillance in Web Search (2009) [pdf]
Alternate source: https://theintercept.com/2017/11/15/wikileaks-julian-assange...

It's an longer article, but it includes screenshots of the DMs, including this one after the election:

>Hi Don. Hope you're doing well! In relation to Mr. Assange: Obama/Clinton placed pressure on Sweden, UK and Australia (his home country) to illicitly go after Mr. Assange. It would be real easy and helpful for your dad to suggest that Australia appoint Assange ambassador to DC "That's a really smart touch guy and the most famous australian you have! " or something similar. They won't do it, but it will send the right signals to Australia, UK + Sweden to start following the law and stop bending it to ingratiate themselves with the Clintons. Background: justice4assange.com

https://theintercept.imgix.net/wp-uploads/sites/1/2017/11/Sc...

Past submission, 3 comments, only submission on this topic: https://news.ycombinator.com/item?id=15706941

Fresh submission: https://news.ycombinator.com/item?id=16003265
> the time is better spent on something that will produce demonstratable results, even if imperfectly applied.

How is formal proof not such a thing?
Is that why Tesla is building their own chip for Autopilot?
I couldn't help but think the same thing regarding this article. It doesn't seem worth it for the bots to price-paint unless they are owned by the exchanges. In that case, this could be a much bigger story, but the author asserts that they are not owned by the exchanges. I think this assertion is merely for face and the author probably thinks the exchanges are involved. This doesn't add up unless the exchanges are involved.

Even then, let's say they are involved. Occam's razor? Was it a carefully engineered price-paint by the bots owned by the big bad corporations, or was it just a bunch of people who had live bots that didn't know what the fuck to do with an empty orderbook?

It seems way too easy to write a bot that has no idea how to trade, or gets influenced by very arbitrary anchors.
It could well be propaganda aimed at securing funding for pie in the sky military spending. But consider what would be the logical course of action if you're a government who comes across evidence of extraterrestrials, especially in decades past.

First, you have to weigh whether telling the general public will cause panic. I don't know that if the US govt told people aliens were visiting in the 1960's, people would've taken it well.

Then think about how your adversaries might respond. It stands to reason that if any country were able to gain control of alien technology either by making contact, observation or recovering crashed spacecraft, it could dramatically alter the balance of power for the next century or more. Imagine alien technology that allowed a Nation to build aircraft/spacecraft that could out accelerate and out maneuver any ballistic missile. All of a sudden mutually assured destruction falls apart and nuclear weapons are rendered obsolete by anyone without alien tech.

So if you're a Nation state that knows about aliens, you'd probably want to keep it under wraps and one way you'd do that is discredit any public reports while quietly trying to figure out everything you could.
Is there some legal reason why AMD can't implement a CUDA compiler for their architecture? Seems like the obvious move right now.
Well I won't say the HSBC voice ID one was a failure, identical looking guy with similar voice can fool any human being.
I tried it once as an experiment, after a friend of mine suggested I, "just take it easy for once."

After that experiment, I hear any similar question as, "Would you consider working for less than half of what you make now, for someone who doesn't know how to manage a group of people?"

I do get a lot of executive headhunters in my inbox, and clients tender a lot of offers as well, but nothing remotely competitive nor interesting has yet come my way.
Windows 64 got me the datacenter-limiting license, Ubuntu 16.04 as well. No idea how you're getting past this:

"2.1.3 Limitations.

No Modification or Reverse Engineering. Customer may not modify (except as provided in Section 2.1.2), reverse engineer, decompile, or disassemble the SOFTWARE, nor attempt in any other manner to obtain the source code.

No Separation of Components. The SOFTWARE is licensed as a single product. Its component parts may not be separated for use on more than one computer, nor otherwise used separately from the other parts.

No Sublicensing or Distribution. Customer may not sell, rent, sublicense, distribute or transfer the SOFTWARE; or use the SOFTWARE for public performance or broadcast; or provide commercial hosting services with the SOFTWARE.

No Datacenter Deployment. The SOFTWARE is not licensed for datacenter deployment, except that blockchain processing in a datacenter is permitted.

"
If I had to guess, I'd subscribe to the "Random Voyager" theory. That is, there are tons of somewhat sophisticated civilizations in the galaxy. For the ones that don't self-destruct or entertain themselves into extinction, it's quite common to create long-lived interstellar probes. These probes would be as intelligent or more intelligent than people, be able to move much better than anything we have, and not interested in being detected or having any interaction at all with the flora and fauna of a planet aside from refueling and making recordings.

Contact like that would be intermittant, difficult to document, and perplexing to a species that wants to talk to everybody it runs into. Which kinda describes where we are with some of this odd aerial phenomenae we've been documenting for decades now.
I believe the PIN is optional.
The PlaidML benchmarks are suspect. They compare to Keras + Tensorflow, which is a really unfair comparison since 1) Tensorflow is probably the slowest of the big deep learning frameworks out there (compared to PyTorch, MXNet, etc.), and 2) Keras itself is quite slow. Keras is optimized more for ease of use, introduces lots of abstractions, and often doesn't take advantage of many TF optimizations, (for just one example until very recently Keras did not use TF's fused batch norm, which the TF docs claim provides a 10-30% speedup in overall network performance, which alone could be enough to account for many of the benchmarks showing PlaidML ahead).
SF too. Our awesome neighborhood coffee shop closed after the landlord increased the rent from $3300 to $6k. It then sat vacant for 4 years, and finally got filled with a $10/entree vietnamese restaurant. I dunno what the idiot of a landlord thought they were going to get in rent, but a less than 10 table restaurant with cheap entrees does not pay much rent money. Certainly not enough to cover the foregone $120k...

In the meantime, I lost my coffee spot and my egg breakfast sandwiches.
It seems McLaren doesn't need those old laptop anymore though.

> Today, McLaren uses a modern Windows computer running a software emulator for day-to-day computer maintenance. Hines keeps the vintage Compaq around just in case.
I must confess I realised that a couple hours after writing it. I apologise for coming across as smug and missing the point entirely.

This whole "socialism==communism" thing upsets me.
Reminds me of an old Javascript experiment called "Creatures Avoiding Planks" also based on neuroevolution:

Link: http://otoro.net/planks/
Past Discussion: https://news.ycombinator.com/item?id=10711951
More info here: https://www.reddit.com/r/The_Donald/comments/7lzi1e/julian_a...
Lol. If you want to hamstring yourself by not utilizing powerful concepts, then go ahead, but don't thrust that onto others. The concept of moving a value is powerful and useful when designing APIs. You can use it to basically encode a finite state machine into your API, with the property that once a state is used for a transition, it can't be reused.
what home button
I'd expect competition to heat up in 2018.

Re: AMD/Intel. We've been waiting for them to get their act together for years. Nervana could be great but I'm going to wait on that one. So far their "launches" have been nothing more than marketing fluff.

As for your projections about tensorflow. It won't be tensorflow. Tensorflow will be 1 of many frameworks. Look I like HOPS but you guys push tensorflow explicitly. A startup running its own hadoop distro that happens to push tensorflow isn't going to move the needle. You guys are great middleware I'm sure but I haven't seen the customers where it might be viable. I hope you guys continue to grow though! While you're doing that, most hadoop vendors are focused on moving up the stack. It will take people with actual resources to move the needle in terms of enterprise adoption.

Amazon is doing this with mxnet and EMR, MapR is pushing tensorflow in their serving. CNTK is being pushed in SQL server and HDInsights. There's some competition there.

What I'm getting at here is: it will take multiple vendors and competition. I'm going to place my bet on the bigger players already involved with the foundations first though.
Open standards (addressed below) where it commoditizes the chip will be key. The storage infra will follow from that.
It should be something that doesn't displace current infra but allows interop.

Things like nvvm from the mxnet folks, onnx (where the framework doesn't matter anymore!) being pushed by the various hardware vendors etc will move the needle. You need buy in from the actual big players who can upfront the development time in to making these things viable alternatives.

For your "seamless transition" I'm not sure that would be that hard done right. Supporting "great tensorflow" can come in multiple flavors. As a separate issue, tensorflow's production story is horrible. That's another topic I could rant about all day though. It ultimately comes from abstracting it away though. That by itself is a hard problem (Disclosure: I have my own solution for this that I won't talk about here just know I'm biased :D)

Lastly, I question whether opencl can even be a viable alternative. It's a fragmented inconsistent standard with a worse API than cuda. One reason it "won" is because it's in general cleaner and a clear leader in the space.
Could you tell some more about that? I've had some positive experience with meditation, but I'd really like to hear how it helped you.
Stormfront and Infowars didn't have a link so you went with the_donald?
> detailed rip-off of the latest iphone

Mi Mix 2 looks way nicer than iPhone X.

And iPhones are actually late comers for this bezel less trend. Sharp starts it, but it is Mi Mix 1 really advertises this idea to the market.
I am not trusting the source, though. The Pentagon has a history of nutjob projects and fishy research results (in addition to some solid stuff from DARPA).
You are probably not wrong.
Upload Text to the Blockchain for Less Than 50 Cents
Companies doing ML do not and should not base their decisions on some hypothetical considerations about long-term effects on market health, or just present/future hardware cost. They work with what's available. It is market's job to correct. And it surely will now, as current situation becomes more of a problem.
tvm was the first thing I thought of when I heard about this.

If you're involved in the tvm project - are you aware of any major deep learning libraries working on utilizing it? I'd imagine MXNet would be the first one to try it, but I haven't seen anything.
You're right, but I am talking about the rest of their phones which have actually sold in huge numbers and contributed to the "rise" of xiaomi.
Feels to me most like an attention diversion tactic. Except I'm not sure what they're trying to divert attention from. Net Neutrality?
It will take years, if not longer, for any challenges to work their way through the courts. By then, the next economic event will occur, driving out non-owners in the Bay Area.

As I mention in a sibling comment, you might see changes in a decade or two, but no sooner.

I am not opposed to efforts related to increasing the housing supply (although I do think it’s a fool’s errand in the Bay Area as demand is insatiable due to the tech industry and foreign money seeking a safe asset store), I’m just describing the uphill climb these endeavors face. It’s hard to fiddle with a core component of the economy (property law).
Why is Pentagon in the title. At what point did the pentagon confirm the above title.
The energy available in compressed gasses is very small. Even if you compress to the limit where it turns into a liquid you're not going to get enough thrust to significantly accelerate a real aircraft. Some spacecraft use cold gas thrusters for attitude control but not for really moving around.
1) You're talking about something that would be hard to achieve with rockets, let alone propellers regardless of the drive technology.

2) Now you're talking about /bottle rockets/. There's a reason we don't use those for any serious purpose: They're worse than basically anything else in terms of both power and specific thrust.
I am obviously very skeptical about these kinds of claims, especially if extraterrastiality is claimed. There is nothing in the article supporting this and there are so many extraordinary events that have had to occur for this to hold. From breaking our understanding of physical speedlimits, to motifs for hiding and appearing on very specific sites.

I always love the Mitchell and Webb sketches that show the absurdity of these kind of claims: https://m.youtube.com/watch?v=59zLZ6PpeSA
When do you suppose this will end up in the Safari in iOS 10? I suspect never. Since my clients literally have thousands (maybe 10s of thousands) invested in devices that will never get any updates past iOS 10, they are forced into a hardware upgrade because Apple won't allow 3rd party browsers on their devices, and tie their browser version to their OS version.

I obviously don't know your situation, but the newest iPad where iOS 10.x is its last operating system is the 4th gen iPad, which was introduced October 2012 and was discontinued October 2014. It shipped with iOS 6, so it's been through 4 major upgrades.

You make not like it, but that's about the general lifetime of computing devices today regarding their upgradeability. It's not like there are 5-year old Android tablets running the latest operating systems from Google either.

Apple’s modus operandi has been the same for the 10 years of iOS devices: all of the new features go into the latest version; the previous version only gets security updates and they don’t back-port those features to the previous operating system.

Mobile Safari 11 uses APIs and frameworks (like the machine learning for Intelligent Tracking Prevention) that only exist in iOS 11, which is why it won’t be ported to iOS 10.

In most mainstream work/production environments, 3-4 years is the useful lifetime for computers and the iPad is a computer. I did this for a living at MIT; I dealt with these exact issues for 14 years.

I get that it's convenient to blame Apple for not allowing 3rd-party web engines on iOS, but that's really the cover story, right?

The key issue here: iOS 10 was the last version to run on 32-bit A6 processors, which is what your iPads have. iPhones and iPads with 64-bit A7s (and newer) can run iOS 11. Unfortunately, you got caught in this hardware transition.

If these iPads are mission-critical for something, then there should have been some device lifecycle planning when the project started so you wouldn’t end up in a situation like the one you’re in.

BTW, both Google and Firefox stopped supporting 32-bit operating systems years ago, so even if iOS allowed 3rd-party browsers, you still wouldn’t have the option of running something that had today’s latest features like Service Worker anyway…
> Much the same way we study great apes or dolphins.

Unfortunately, humans are known to study other species by locking them in cages and cutting them open. :(
The Cult and Cults of Brasília (1992)
5% is sub par, way below potential. Indonesia needs a period of growth up to 15% (like Japan, South Korea or China) to get out of this hole.

Not realistic with one of the worst education systems on the planet [1], non-existing manufacturing sector, human-made environmental disasters[2] and export based mostly on resources mining which is underinvested due to hostility [3][4] to foreign capital.

[1] https://www.oecd.org/pisa/PISA-2015-Indonesia.pdf

[2] https://thediplomat.com/2017/10/making-indonesian-rivers-gre...

[3] https://www.bloomberg.com/news/articles/2017-08-14/whatever-...

[4] https://www.bloomberg.com/news/articles/2017-05-11/former-op...
The title was rewritten in a misleading way ("'UFO Existence Proven Beyond a Resonable Doubt' – Pentagon"). We've restored the original title, or rather a shortened version of it to fit the 80 char limit while preserving its meaning.
Radar operators see odd returns all the time due to temporary atmospheric conditions, interference, birds, etc. I'm not trying to dismiss your friend's claims but just because a blip appears on a radar screen doesn't necessarily mean there's a real object.
Speaking of lowRISC, does RISC-V also suffer from this? Apparently SPARC and s390 are immune, since they already have separated user and kernel address spaces, maybe somehow enforced at the ISA level.

Having the benefit of hindsight, I hope they have avoided this issue.
Wouldn’t a text renderer live outside of the xi backend? So you’d have to write one for each front end? Maybe not?
Let's do a first principles analysis.
If alien's were present here in biological form, having superior intelligence capabilities, they would have already taken control of us. Given the stupid amount of pollution we keep outputting to the planet, this is definitely not the case. There's no intelligent alien life here because it's still us in control.

Could it be an alien drone though? Yes.

If it was it means it came here either by a lightsail, or some other sub-lightspeed travel technology. Or it was dropped through blackwhole or something and it just showed up.

If it teleported here, then it probably has next level quantum tech and whatever. It could've teleported back a signal, taken over all communications and they would have already physically taken over our planet. So that's not likely the case, unless the drone is just capable of surviving faster than light travel but is still limited by the same physical problems in integrated circuits and power generations that we already know.

Okay.Now, if it traveled at sub-lightspeed it's likely to have taken at least a few thousand light years at minimum ( given by our observation of what planets are close to us ) to get here. More likely a few hundred thousand.
That means another few hundred thousand to send a signal back.
In that case that they would try to colonize us before we get too powerful, by sending a colony ship or something, which would take even more time. We're likely to go extinct on our own before that happens so there's no point worrying about aliens.
This is assuming that they've reached the same physical limits in technology that we have. Those being the speed of travel limit, and quantum computing not being Turing complete. Meaning this drone can not break cryptography, or run an overpowering AI that takes over all our communications and controls us.
Xiaomi grocery store
It's like you are walking in the woods and you find a tribe of monkeys : why would you interact with them?
Project Blue Beam imminent
Unless everyone involved with this is lying, something very strange is going on.

I mean, just let it sink in. We have high level government recognition that objects with incredibly advanced flight capabilities exist and we have no idea what they are or where they come from.

How do you dismiss this? When the encounter in the recently released video involved multiple military assets monitoring the UFO with a high level of precision that pretty much rules out explanations that rely on illusions or other misleading sensory phenomena?
There are other options, if you're talking about the latest UFO video:

3) equipment failure

4) mass delusion

5) error in judgement

6) the creator of the matrix messing / debugging

7) government or private company testing a new type of propulsion

Now look at all these options rationally, which ones are more likely?

The problem with the UFO evidence is, it's shitty every single time. With 4K cameras in cheap smartphones, 50x optical zoom cheap consumer cameras, cheap telescopes widely available, our UFO videos haven't gotten any better.
How does NVIDIA define a datacenter exactly?
Maybe so, but please don't post unsubstantive rants to HN. We're looking for thoughtful conversation, not venting.

https://news.ycombinator.com/newsguidelines.html
It seems difficult to combine formal verification, which is rooted in symbol manipulation, with deep learning, which is based on high dimensional stacked distributed representations.
It reminds me this great scene from the movie "Men In Black":

https://www.youtube.com/watch?v=3vmGcngRA24
How to Play Blu-Ray on Asus Zenbook Flip S