skysight-inc/HackerNews huggingface dataset:
The GTX 1080 is currently your best bet. It has the best price:performance ratio. The 1070 might also work, although it has slower cores and memory clock. I use a GTX 1080 for TensorFlow, it's ~100X faster than the CPU for training. I started with a 1060, which was way cheaper, but upgraded to the 1080 for more RAM and faster/more CUDA cores.

If you can increase your budget and your motherboard supports it, you can get two 1080s, many things will parallelize across multiple cards. I know people who put 8 cards in a single machine and barely use the CPUs.
SWIFT confirms new cyber thefts, hacking tactics
I certainly agree that it's ethical.

As far as practicality goes, demanding payment will invariably amount to refusing the review assignment. I don't have any problem with that, but I don't believe that any publishers will be willing to meet such a demand.
Great point about Firebug. I can definitely remember using Chrome for pleasure and Firefox for work for a time.
A cute song about the inventor [0], apparently from a British comedic radio program(me), "John Finnemore's Souvenir Program" [1]:

[0] https://soundcloud.com/otterintheflightdeck/carmela-vitale

[1] https://en.wikipedia.org/wiki/John_Finnemore's_Souvenir_Prog...
We used to say: BeOS combined the UI of Macintosh, the stability of Unix, and the Minesweeper of Windows.
I believe increasing telomere length may slow ageing, but wouldn't reverse it.
Turbo Git v1.0.0 released
I agree with you, but only in some circles of Christian thought. Like I said before Christianity is not a monolithic community, it is multi-faceted. There are many Christian believers that are able to rationally dialogue about reason and faith. If you reach a dead end, find another circle. You will likely be surprised as I was how many questions have well reasoned answers.
We are also hurting for front-end javascript engineers and have found the exact same thing. People put javascript on their resume because they recognize the loops and other syntax from their cs classes but in reality know almost nothing about it.
Toyota Wreckers Melbourne
Imagine how many intelligence agencies have penetrated this and how amazed they must be at their good fortune.
I was going to say, this is an ancient and well-known optimization. I have no idea how old it is, but I would venture it's been a regular practice for at least two decades.
That's a totally tangential point. This discussion is about the likelihood of guests being stolen from, not of guests stealing from the establishment.
What about Apple's cables makes them noncompliant?
When should I use Node  for back end?
If it's via government program it can be done for everybody. Via business, the challenges are as mentioned above.
It's much more difficult to track. You can convert your bitcoin to cold hard cash at an ATM anonymously.
Message-based communication for libuv
Just took a look at your company's website. Looks interesting but I am a bit confused.

Can you explain what is your product? Not 100% sure I understand.
> Staying at a "nicer" more expensive hotel in not-the-ghetto doesn't make it safe or secure or have any less problems than the cheap ghetto ones.

I've stayed in many hotels over the years at all different price points and in general there has been an almost perfect correlation between price and the quality of cleaning/rooms/service.
If I'm reading this correctly, it's just wrong. Whatever the distinction between data analysis and ML might be, it is more than just whether your data and predicted quantities are discrete or continuous.

> Categorical Independent vs. Categorical Dependent, for example, is fairly restrictive, as makes logical sense. You may cross-tabulate, you may score likelihood based on previous observation, but obviously, because all of the data involved are non-numeric, there's no chance for regression, ANOVA, etc

If you are implying that categorical -> categorical predictions are not ML: as a counter example, natural language is a categorical (words) input that could be used to predict any number of categorical variables (parse trees, semantic categories, etc). I think it's safe to say that the field of NLP is doing machine learning.
> They can now tell people that a cable is "only compatible with model X" - when in reality the 15" pro cable is compatible with all 3.

Did you read the linked page? That's what it does say. Not the part you "quoted".
So as long as there are some seats going to other parties, you don't care if there's an uninterrupted streak of two dominant major parties such that one of them always forms and leads the government?

Because that is the case in many countries, even countries which don't do FPTP, even countries which do things that people argue are good electorally, and that does not seem like a categorical improvement over what happens in, say, the US.
Haha I learned through longtime use of public laundries that you have to empty the lint screen every time. It's my impression that only those who have only used their own private dryers make this mistake often enough to require an IM from their IoT lint device. Still that might be a big enough market?

...just kidding! Rather than convincing anyone to spend three figures on an IoT lint device, any marketing campaign would just convince them to just check the damn screen!
Universities are generally non-profit. For profit ones exist but are generally regarded as scammy.

Of course, one could argue that universities exist to grant generous salaries to highly ranked administrators, who are mostly politicians.
It's telling that HN pulled this from the index. Did Tim call up ycombinator?
Perhaps because a keyboard is a personal preference? Most of the reviews have mentioned the new keyboard as a love it or hate it thing. My wife has the new 13" model, and she loves the keyboard. I'm typing this on a spiffy mechanical keyboard. I don't think I could get used to one of the new Macbook Pro keyboards.
Just because it's trivial doesn't mean someone can't screw it up and destroy your computer: http://arstechnica.com/gadgets/2016/02/google-engineer-finds...
Two things come to mind. 1.4 Billion Dollars raised. Secondly headquarters in Florida, where most shady companies are based, wonder a coincidence
IT burden.
How does this compare vs LSTM'S for sentence embedding?
How I've set up SSH keys on my Yubikey 4 (so far)
The explicitly said "Apple discontinued OS support." That's just false, unless the machine in question is over 8 years old, which is not new.
Indus OS: India's multi-lingual operating system
That's true but it was just an example. There are many other technologies where some people liked it the old way but most people are fine with the new way.

My main point, possibly distracted by the auto/manual thing, was that testing time is doubled for every feature you add, and "nojs" is a feature like any other.
Analogous to the top ranked thread in this post about glorifying Rockefeller; Ed Catmull was implicated in artificial wage suppression practices and non-poaching agreements across his industry.

So, every silver lining has a cloud, it seems.
Tree Well Rescue, Inverted Entrapment in BC's South Chilcotin Mountains
Yeah but it's for comical reasons nowadays, like a signature. It's not laziness
I may be reading into this too much, but I'm picking up a little bit of mild dislike for Johnson. I voted for him, and while that was easy when I looked at the other choices of Trump and Clinton (I don't dislike Stein, and I would have voted for Bernie had Clinton's team had not rigged the DNC and allowed him through), I also do strongly support him.

I realize I'm a bit biased because I like the libertarian principles: prioritizing individual civil liberties, stopping human rights abuses and unnecessary wars, and streamlining government.

I'm curious though because outside of disagreement with those, there's only one thing that I understand people disagree with: TPP (Johnson claims it isn't a crony capitalist deal and it does foster free trade).

I guess I don't really understand why people have a mild dislike for him, especially when I see how some people adore Clinton or Trump -- it doesn't make sense to me.

He doesn't come with the plutocratic baggage of Trump and Clinton (https://theintercept.com/2016/12/09/trump-makes-america-gold...), which in itself is a great thing to like about him.
But you need to grow as rapidly as possible and own the market because everything in the world works exactly like a social networking web startup.
I mean, compared to MobileMe, Maps, G4 Cube, history of wifi problems, separating rubber charging cables... This hardly seems like one of their worst "It's amazing, just works... except it isn't and it doesn't" moments.

Have you tried dealing with all their various programs to get dev certs, or keys for distributing profiles to devices as an IT team? "Fill out this form, and wait."

Maybe that's changed, but to get a refund for a mistaken business account purchase of a bundle pack of iLife licenses (before it was included with machines) was filling out and snail mailing a paper form. Then waiting.

The "just works" has, IMO, only ever applied to their high-profile products.
As someone who's also followed the space closely I feel like we're watching two different shows? Where are you seeing these improvements?
> With an armband you lose a hand for interaction.

I think the comparison being made was between armbands and smart watches, not armband phones vs. regular phones. I don't know about you, but I _certainly_ can't use both hands to interact with a watch on my wrist.
If you're looking for statistical significance, Microsoft's "We have numbers but we're not telling you what they are" isn't helpful either.

As another counterpoint, of the 4 people I know who had a Surface Pro, 2 still have it, and 2 eventually sold it to switch back to either a MacBook or iPad Pro. A 5th person got a SP1 from a family member and put Linux on it.

We're not looking at a strictly 1-way Mac to Surface user flow here.
Please don't take this personally, but I think the "obstruction" comment illustrates why political topics tend to degrade into something bad.

It's a subcase of "blue team criticizes red team for action X, but conveniently ignores blue team performing action X". Problem is this accusation gets thrown constantly by both red and blue teams. And it's probably true most of the time: teams are partisan. It's also hard to objectively evaluate.

Political discussion on the net is mostly just replaying these well-worn tropes.

Again, nothing personal - I have been thinking since the politics ban how we can have good political discussions.
There actually is a large tech nexus in the Lauderdale area.

Motorola used to have a large R&D & factory down there working on pagers. Mobility was there until recently. A lot of talent sprung from there. XM Radio was developed down there, for example.
Is there any evidence it's making any progress into traditional finance? There were a number of projects announced over the past few years but they all seem to have sizzled out or been outright cancelled. Where are you seeing it "eating finance"?
True, and some fashion watches have got truly silly.

I think it's the combination of diameter and thickness. When I looked at an Android it was just that bit too imposing. If either dimension shrinks I'll look again.
The movie is all about subtext.

There's a really blatant subtext: about guys blowing shit up, exploiting women, and in general driving the world into total destruction. On its face, it's an exercise in radical feminism.

Except, it isn't. Below that, there is the layer showing that women are equally capable of destruction, and that they in fact need to rely on that destruction to reach "the green place".

And that's flipped on its head again, because that war machine runs on a mixture of fuel and mother's milk. Max is pretty much annointed with it when he uses mother's milk to wash the blood of his face, after a selfless act. There's a huge "war turned into a nurturing thing" there. It's echoed by the fact that part of Furiosa's body is partially mechanized. (Her replacement arm)

Which leads up to what I think is the final message, where the realization strikes that there is no separate, women-only feminist utopia. There is no "women peaceful, men violent" dichotomy. Instead, the world is finally improved by the women reintegrating themselves into the world they left, but on their own terms.

It's pretty much a post-modernist deconstruction of war movies and feminism at the same time. It's incredibly heavy-handed about it - all those things have about the subtlety of a hand grenade as a can opener - but it tackled a topic that was important and little talked about.

That is why it was a good movie. If that message doesn't speak to you, I'm not surprised you didn't like it. You were not the target audience. (Neither were people who like chase-and-blow-stuff-up movies, and they were vocal about the fact they didn't like it)

That doesn't necessarily make it a good movie, but if one liked both the subtext and blowing things up, they had a great time watching it.
Which policy proposals did Republicans block that you think they would have been ideologically predisposed to embracing?
You're right. The Bible starts with the first five books, but then begins to unfold an incredibly compelling narrative rooted in culture and history right up until approximately 2016 years ago give or take a few years.

Have a look at thebibleproject.com, and the "Read Scripture" app on iPhone/Android. The Bible has a record that is truly worth a read: first printed book ever to be published (Gutenberg), the most translated book on the planet, the most printed book in all human history, more archaeological artifacts and manuscript evidence than any other book.

With a pedigree like that, doesn't it warrant an honest investigation into its central message?
How to install android apk and check its log
I have been on a MBP since they were introduced. This was the first time I wanted to upgrade my laptop and switched away from Apple. The lack of ports coupled with consumer complaints and lack of anything innovative drove me away. I would have never guessed I would have ever left Mac after so many years of a good user experience.
You'd probably enjoy The Unwinding by George Packer[0].

I consider it "The Great American Non-fiction Novel".

[0] https://www.amazon.com/Unwinding-Inner-History-New-America/d...
just wondering, what is the difference if I use two kind of [producer, consumer] message queues (say rabbitmq) instead of this? Does genstage being a erlang system makes a difference?
> Meanwhile all of the smartwatch companies are desperately looking to move from a commodity hardware model to services with recurring revenue, i.e. software.

Which is funny, because turning my watch into a subscription service that won't work without an always-on internet connection is precisely what I don't want.

This industry-wide trend from products to everything-as-a-subscription-service may be nice for developers craving job security but it's awful for end users.
(facepalm)

Did you even bother to search their websites?

http://www.ptsem.edu/

http://hds.harvard.edu/

http://divinity.yale.edu/

http://www.theology.ox.ac.uk/home
Opendoor, a startup worth emulating
Do those sorts of differences in early publishing predict later success—say, in attracting grants or top grad students, when you adjust for the benefits of being at a top school? If not, maybe it doesn't matter which is hired, as with the undergraduates so often told that a whole admitted class could be set aside, the next N taken, and the world would go on.
What I remember in the past is, using the same Windows hardware, my friend played several multi media (video) files without performance degradation
arXiv only supports a handful of related disciplines, whereas Elsevier has literally thousands of journals in scores of disciplines. You're comparing apples to oranges. EasyChair is also something to run a conference with, not a blinded review system per se. Someone still has to drive the blinded reviews

If you (royal 'you') think that navigating academic politics is so easy and Elsevier can be so massively undercut, then go for it. You'll make a ton of money with your <$1M infra and your low-budget review system - even if you charge only 10% of what Elsevier does. Don't forget either that you have to keep a legal team on-hand to deal with how you handle all this free information - after all, all the big open-source companies have legal teams, despite their info being 'free'.

If you want to bring a giant like Elsevier down, the technical part is not the difficult part, though it is in itself a difficult project to do right.
Blockchain is probably in need of a round soon so it's possible they are looking to stack the board to increase the likelihood of them actually raising one. I doubt DCG has much more in the tank to keep leading every bitcoin round.
A quote from that piece:

Snowden believes that he has done nothing wrong. I agree wholeheartedly. More than 40 years after my unauthorized disclosure of the Pentagon Papers, such leaks remain the lifeblood of a free press and our republic. One lesson of the Pentagon Papers and Snowden’s leaks is simple: secrecy corrupts, just as power corrupts.
When I was doing my thesis work I was reading papers which argued that quite a few, and perhaps all, of the "fundamental" constants were free to take on values during a brief period in the early history of the universe and took on their observed values due to contingency or chance of conditions which obtained in the early universe. This seemed relatively uncontroversial and was often repeated by reputable sources. Certainly nobody seemed to be arguing that the particular values we observe are logically-necessary consequences of physics, and in fact people typically observed that physics as we understand it works just fine with different values; it just gives rise to different behavior.

But at any rate you seem not to be a particularly pleasant interlocutor, and like you I'm tired of repeating myself.
wonderful, hope it gives the used pebble ecosystem a new lease of life!
I experimented with gensim's implementation of doc2vec this year; despite not being able to achieve similar results in sentiment analysis (because unshuffled datasets in the original paper) it's still really impressive. I analysed some document relations in wikipedia, and it finds some really unusual / neat relationships, e.g. Autism - Cat + Dog ~= ADHD.
Not all websites are like that, though yes you're right more often than not.
Sadly pretty much none of the Android Wear or Samsung watches are small enough for anyone except large men to wear. The Gear S3 looks okay, but I simply cannot physically wear it. Huawei Watch is the same.
In 2017 (or from this week :)), I am looking to hire 5 Sr. Dev/Cloud Ops Engineers, with competency in AWS (CloudFormation, IAM, etc), Azure, Chef, Terraform, general Ops. PM for more info.
The DAW itself is usually highly optimized. What eats the CPU: synths and effects (because your CPU is not a dedicated DSP). What eats the RAM: Samplers (by GiBs).
> create a "refinement" mapping which isn't sound (and therefore isn't a refinement).

Could you please illustrate what do you mean by unsound refinement ? Refinement mapping along with the notion of correctness forms the part of "trust computing base". More precisely, the statement "A implements B under a refinement map r" assumes two things (1) what it means to implements; is it trace inclusion or simulation or stuttering simulation .... (2) what is the refinement map r. What am i missing here ?.

Also can you please illustrate (with an example possibly) on the syntactic rules that Lamport is working on ?

Addition of auxiliary variables to the specification introduces an extra proof obligation, namely, that it does not change its observable behavior. Often this is not very difficult as one can syntactically differentiate between auxiliary variables and the state variables.

>I also think that TLA allows reasoning about structural properties of the state machine without any use of temporal logic at all.

Definitely. Like you mention the refinement based on (bi)simulation or trace inclusion is different from the use of temporal logic to formalize properties of systems. Though two are related in the sense of adequacy of temporal logic: simulation preserves ACTL* properties while trace inclusion preserves LTL properties.

> I think that you can therefore show (bi)simulation directly, structurally, rather than behaviorally; there is no use of behaviors (traces) or computation trees here at all.

I do not quite understand what you mean here. Behaviors are succinctly represented using state machines -- set of states and there successors-- and then we look at a state machine as a generator of (possibly infinite) behaviors -- either as traces or computation trees.

The scenarios where trace inclusion requires addition of prophecy and history variables to recover local reasoning (in other words structural reasoning using state and its successors) is more related to the completeness argument you mentioned earlier.
https://www.google.ch/patents/US7157290

It looks like these people have patented a classical/macroscopic version of a similar idea. They talk about using a completely separate solenoid to deflect incoming ions. Unfortunately they don't do any calculations (none that I could find) to see if it would even work?

What I'm suggesting is a bit different - a change to the transistor and microscopic wire structure so that components would be protected from external charges via self produced magnetic fields.

So, it would look like a bunch of little spins on a grid, some activated, some not activated, like 2D-Ising pretty much, but not random -- the directions are defined by the logic running on the board.

I think you are right, though. These B fields act over too short a distance in order to allow a relativistic particle to radiate an appreciable amount of energy before doing damage.
Glad to see Shoe Dog on this list, that was one of the most memorable books I listened to this year (the audiobook narration was awesome). It's always interesting hearing the origin story and struggles of a company that was the underdog in the industry for so long, and ended up on top. I thought Phil Knight's account of his journey with Nike was really honest and thoughtful, I had no idea how long it took them to get momentum, or how many times they were on the brink of bankruptcy. Can't recommend this enough, I'm looking forward to reading it a second time next year.
HN thread from earlier this year: https://news.ycombinator.com/item?id=11209228
And so it goes, with each passing day, that everyday life begins to resemble a Philip K. Dick novel, ever more and more.
My most amusing observation of how much this can matter is the obvious obvious pitch/tone change in rail road alerts (at-grade rail crossing signals) on the Metra rail lines around Chicago in the winter. There is a noticeable difference even between 30F and 10F. IIRC correctly (it's been a year since I've been riding the train in the winter), the "beat" of the signal rapidly increases at lower temperatures and the pitch also seems to increase.

Edited for clarity.
Also a NASA thing, https://en.wikipedia.org/wiki/Balls_8.

I think balls is a military term for "00"
> Do those sorts of differences in early publishing predict later success?

Absolutely yes. They are perhaps the most reliable yardstick for past success that we have available, and past success is the best predictor of future success.
ISTM the many screen-on-wrist testimonials on this page confirm a longstanding prediction of mine: the "smartphone" is not the ultimate device form that our children will be using as adults. Instead, every personal item will become part of a personal constellation of devices. Phones will gradually disappear as better (i.e. ubiquitous, low-power, and basically free) wireless networks emerge, and our eyeglasses will talk to our hats which will talk to our shoes which will talk to our wrist devices...